组合数学

排列组合
计数问题分类
计数对象 | 有序 | 无序 | |
---|---|---|---|
都不重复 | 排列 | 组合 | 集合 |
允许重复 | 重集 |
集合的排列
圆排列
集合
线性排列
又称为元排列。集合X的有序k元组(
-
-
排列可以表示为元组的形式,例如:
全排列
全排列是线性排列在
置换
置换(双射):
置换是排列的另一种视角:
全排列可以视为置换(双射),例如:排列
循环分解
长为
置换
Cauchy公式
无符号第一类Stirling数
规定:
满足递推关系
推论:
Pf .
集合的组合
组合定义:集合
二项式系数
Pf. 从m+n个人(男生m名,女生n名)中选择r人。
Specially, when
二项式定理
重集的排列
集合的可重复排列
集合X的有序k元组
e.g.
def. let
th. let
多项式系数
e.g.
重集的组合
集合的可重复组合
def. 集合X的无序k元组
重数:
th.
p.s.
cor. 方程
def. 称
th.
e.g.
二项式系数
esp:
三角形数:
四面体数:
性质
对称
递推 (与杨辉三角有关)
行和
行交错和
行平方和
格路
二项式系数的一种表示,可以为二项式系数提供一种组合解释。
从(0,0)到(k,n-k),只走(1,0)或(0,1)方向的所有可能路径数目为 。因为到每一个点的前序点有2个二项式定理
代数证明:数学归纳
cor.
可由此推出前面的部分性质: , .二项式系数的正交性
单峰性
def.
,使得 ,则称数列具有单峰性。二项式系数的单峰性
峰值在
取得
分奇偶项讨论,证明奇偶项各自的单峰性。 为奇数时,相邻两项相等且均为峰值。
cor. 对固定的 ,数列 的峰值为对数凹性
def. 实数数列
,若 ,则称数列是凹的,若 ,则称数列是对数凹的。
th. 对于正数列,凹 对数凹 单峰
- Title: 组合数学
- Author: Aroma
- Created at : 2025-02-28 00:00:00
- Updated at : 2025-02-28 00:00:00
- Link: https://recynie.github.io/2025-02-28/combinatorics/
- License: This work is licensed under CC BY-NC-SA 4.0.