本书围绕组合计数问题,将数学原理与实际应用相结合,介绍集合与多集上的排列与组合、二(多)项式定理、二项分布与信息熵、鸽巢原理、拉姆齐理论、生成函数、递归关系(包括斐波那契数、斯特林数、卡特兰数、调和数的递归关系)、容斥原理、伯恩赛德计数定理和波利亚计数定理。本书共分八章,每一章都配有一个计算机、电子信息、人工智能等领域的应用案例,以展示数学原理或方法在这些专业问题上的应用。此外,每章末附有习题,供读者练习和进一步思考,以巩固和深化理解。本书围绕组合计数问题,将数学原理与实际应用相结合,介绍集合与多集上的排列与组合、二(多)项式定理、二项分布与信息熵、鸽巢原理、拉姆齐理论、生成函数、递归关系(包括斐波那契数、斯特林数、卡特兰数、调和数的递归关系)、容斥原理、伯恩赛德计数定理和波利亚计数定理。本书共分八章,每一章都配有一个计算机、电子信息、人工智能等领域的应用案例,以展示数学原理或方法在这些专业问题上的应用。此外,每章末附有习题,供读者练习和进一步思考,以巩固和深化理解。
更多科学出版社服务,请扫码获取。
1997.9-2001.6,曲阜师范大学,数学计算机科学系,计算机应用技术专业,理学学士
2003.9-2006.6,山东科技大学,计算机科学系,计算机软件理论专业,工学硕士,导师:蒋昌俊教授
2008.9-2011.7,同济大学,计算机科学系,计算机软件理论专业,工学博士,导师:蒋昌俊教授2001.8-2008.8,山东科技大学,计算机科学系,教师
2011.12-2013.3,新加坡科技设计大学,信息与计算机系,博士后
2013.9-2014.10,柏林洪堡大学,博士后(德国洪堡基金会资助),其中:2013.9-2013.10于歌德学院学习德语(洪堡基金会资助)
2013.11-2018.12,同济大学,计算机科学系,副教授
2019.1-今,同济大学,计算机科学系,教授1.GJ Liu, CJ Jiang, MC Zhou, Time-soundness of Time Petri Nets Modeling Time-critical Systems, ACM Transactions on Cyber-Physical Systems, 2018, IF: 2.2, Q-2
2.GJ Liu, MC Zhou, CJ Jiang, Petri net modelling and Collaborativeness for Parallel Processes with Resource Sharing and Message Passing, ACM Transactions on Embedded Computing Systems, 2017, IF: 2.3, Q-3.
3.GJ Liu, CJ Jiang, Observable Liveness of Petri Nets with Controllable and Observable Transitions, S中国计算机学会高级会员,形式化方法专委会常委
中国自动化学会会员,网络计算专委会委员
中国人工智能学会会员
上海市人工智能学会会员,可信智能系统专委会副主任委员
IEEE Senior Member
IEEE Transactions on Computational Social Systems, Associate Editor
目录
第1章 排列与组合
1.1 加法原则与乘法原则 1
1.2 集合上的排列 2
1.3 集合上的组合 4
1.4 多集上的排列 6
1.5 多集上的组合 9
1.6 应用:进程互斥建模与死锁分析 10
习题 15
第2章 二项式定理与信息熵
2.1 二项式定理与多项式定理 19
2.2 二项式恒等式 23
2.3 二项分布及其熵 30
2.4 应用:决策树学习 33
习题 38
第3章 鸽巢原理
3.1 鸽巢原理的简单形式 41
3.2 鸽巢原理的一般形式 44
3.3 应用:多索引哈希 46
习题 52
第4章 拉姆齐理论
4.1 双色拉姆齐数 55
4.2 多色拉姆齐数 64
4.3 广义拉姆齐数 67
4.4 应用:香农容量 70
习题 73
第5章 生成函数
5.1 生成函数的定义与运算 75
5.2 一些简单的生成函数 80
5.3 应用:概率分布的期望与方差 83
习题 87
第6章 递归关系
6.1 常系数线性齐次递归关系 89
6.2 基于生成函数求解递归关系 95
6.3 斐波那契数及其递归关系 98
6.4 卡特兰数及其递归关系 100
6.5 斯特林数及其递归关系 103
6.6 调和数及其递归关系 109
6.7 应用:快速排序 110
习题 112
第7章 容斥原理
7.1 容斥原理的简单形式 115
7.2 容斥原理的一般形式 119
7.3 棋子多项式 122
7.4 莫比乌斯反演 132
7.5 应用:非对称旅行商问题 138
习题 143
第8章 伯恩赛德计数定理和波利亚计数定理
8.1 置换群 145
8.2 伯恩赛德计数定理 148
8.3 波利亚计数定理 152
8.4 应用:门电路等价类问题 154
习题 156
参考文献 159
附录符号表 165
索引 167