3 篇文档带有标签「discrete-mathematics」

区分有限博弈中策略的存在性证明、具体构造与现实执行，并说明策略窃取和游戏树剪枝的适用边界。

计算机科学中逻辑、证明、计数、离散结构与概率的基础知识图谱。

从明确计数对象出发，用双射、双重计数、容斥和鸽巢原理求解有限问题，并判断搜索与输出的成本。