数学预备知识

1. 集合、元包与序列区别

集合（set）：无重复、无顺序

元包（bag）：有重复、无顺序

序列（sequence）：有重复、有顺序

 

2. 幂集

S的幂集指由S所有可能的子集组合的集合

3. 集合S上的二元关系R（Relation）

自反（reflexive）

对称（symmetric）

反对称（antisymmetric）

传递（transitive）

如果R是自反的、对称的和传递的，那么称R为等价关系（equivalence relation）；

如果R是反对称的和传递的，那么称R为偏序（Partial order）；如果R为偏序，同时S中每对不同元素是可比的，那么称R为全序（total order ）或者线性序（linear order）。

 

4. 阶乘函数（Factorial Function）的Stirling近似公式

5. 排列（permutation）、取模（modulus）、取上/下整（ceiling/floor）、布尔变量（Boolean variable）

6. 对数（logarithm）

log(nm)=logn+logm;

log(n/m)=logn-logm;

log(n^r)=rlogn;

logan=logbn/logba;