gitbook-way-to-algorithm
  • Introduction
  • Preface 前言
  • Content 目录
  • MathSymbolTable 数学符号表
  • Chapter-1 BasicKnowledge 第1章 基础知识
    • TimeComplexity 时间复杂度
    • Recursion 递归式
  • Chapter-2 Sort 第2章 排序
    • InsertSort 插入排序
    • BubbleSort 冒泡排序
    • QuickSort 快速排序
    • MergeSort 归并排序
  • Chapter-3 Search 第3章 搜索
    • BinarySearch 二分查找法(折半查找法)
    • AdditionMultiplicationPrinciple 加法乘法原理
    • BruteForce 暴力枚举
    • Recursion 递归
    • BreadthFirstSearch 广度优先搜索
    • BidirectionalBreadthSearch 双向广度搜索
    • AStarSearch A*搜索
    • DancingLink 舞蹈链
  • Chapter-4 DataStructure 第4章 数据结构
    • DisjointSet 并查集
    • PrefixTree(TrieTree) 前缀树
    • LeftistTree(LeftistHeap) 左偏树(左偏堆)
    • SegmentTree 线段树
    • FenwickTree(BinaryIndexedTree) 树状数组
    • BinarySearchTree 二叉查找树
    • AVLTree AVL平衡树
    • RedBlackTree 红黑树
    • SkipList 跳跃表
    • BPlusTree B+树
    • BMinusTree B-树
  • Chapter-5 DynamicProgramming 第5章 动态规划
    • Section-1 LinearDP 第1节 线性动规
      • LongestCommonSubsequence 最长公共子序列
      • LongestIncreasingSubsequence 最长递增子序列
      • BidirectionalSubsequence 双向子序列
      • MaximumContinuousSubsequenceSum 最大连续子序列和
      • LongestPalindromicSubsequence 最长回文子序列
    • Section-2 BagDP 第2节 背包问题
      • 01-Bag 01背包
      • CompleteBag 完全背包
      • TwoDimensionBag 二维背包
    • Section-3 RegionalDP 第3节 区域动规
      • MinimumMergeCost - 最小合并代价
      • UniquePath 唯一路径
      • TrianglePath 三角形路径
    • Section-4 TreeDP 第4节 树形动规
      • MaximumBinaryTree 最大二叉树
      • MaxMultipleTree 最大多叉树
      • MaximumBinaryTreeRadiusSum 最大二叉树和
  • Chapter-6 GraphTheory 第6章 图论
    • Section-1 Traverse 第1节 遍历
      • DepthFirstSearch 深度优先搜索
      • BreadthFirstSearch 广度优先搜索
      • TopologicalSort 拓扑排序
      • EulerCycle 欧拉回路
    • Section-2 MinSpanningTree 第2节 最小生成树
      • Kruskal Kruskal算法
      • Prim Prim算法
    • Section-3 ShortestPath 第3节 最短路径
      • BellmanFord BellmanFord算法
      • Dijkstra Dijkstra算法
      • FloydWarshall FloydWarshall算法
      • DifferentConstraints 差分约束
    • Section-4 StronglyConnectedComponents 第4节 强连通分支
      • Kosaraju Kosaraju算法
      • Tarjan Tarjan算法
      • 2-SAT 2-SAT问题
    • Section-5 NetworkFlow 第5节 网络流
      • EdmondsKarp EdmondsKarp算法(最短路径增广算法)
      • PushRelabel 压入与重标记算法
      • Dinic - Dinic算法
      • MinimumCostFlow - 最小费用流
      • MultipleSourceMultipleSinkMaxflow - 多源点多汇点最大流
    • Section-6 BinaryMatch 第6节 二分匹配
      • Hungarian 匈牙利算法
      • HopcroftKarp Hopcroft-Karp算法
      • MatchToMaxflow 二分匹配转化为最大流
      • KuhnMunkres Kuhn-Munkres算法
      • Introduction-Domination,Independent,Covering,Clique 介绍支配集、独立集、覆盖集和团
      • WeightedCoveringAndIndependentSet 最小点权覆盖和最大点权独立集
      • MinimumDisjointPathCovering 最小不相交路径覆盖
      • MinimumJointPathCovering 最小可相交路径覆盖
      • Coloring 染色问题
  • Chapter-7 CombinatorialMathematics 第7章 组合数学
    • FullPermutation 全排列
    • Combination 组合
    • Permutation 排列
    • PermutationGroup 置换群
  • Chapter-8 NumberTheory 第8章 数论
    • PrimeSieve 素数筛法
    • GreatestCommonDivisor 最大公约数
    • Euclid 欧几里得算法
    • ExtendedEuclid 扩展欧几里得算法
    • ChineseRemainerTheorem 中国剩余定理
    • ModularExponentiation 模幂运算
  • Chapter-9 LinearAlgebra 第9章 线性代数
    • Section-1 Matrix 第1节 矩阵
      • Strassen Strassen算法
      • GaussElimination 高斯消元法
      • LUP LUP分解
      • InverseMatrix 矩阵求逆
    • Section-2 LinearProgramming 第2节 线性规划
      • Simplex 单纯形算法
      • Dinkelback Dinkelback算法
  • Chapter-10 AnalyticGeometry 第10章 解析几何
    • Section-1 Polygon 第1节 多边形
      • Cross 向量叉积
      • SegmentIntersection 线段相交
      • Sweeping 扫除算法
      • ConvexPolygonArea 凸多边形面积
      • ConvexPolygonGravityCenter 凸多边形重心
      • NearestNeighbor 最近点对
    • Section-2 ConvexHull 第2节 凸包
      • GrahamScan Graham扫描算法
      • QuickHull 快速凸包算法
      • RotatingCalipers 旋转卡壳
  • Chapter-11 PatternMatch 第11章 文本匹配
    • SimpleMatch 简单匹配
    • AhoCorasickAutomata AC自动机
    • KnuthMorrisPratt KMP匹配算法
    • RabinKarp RabinKarp算法
    • BoyerMoore BoyerMoore算法
  • Chapter-12 GameTheory 第12章 博弈论
    • BashGame 巴什博弈
    • WythoffGame 威佐夫博弈
    • NimGame 尼姆博弈
Powered by GitBook
On this page
  • Chapter-7 Combination Mathematics
  • 第7章 组合数学
  • 集合划分
  • 加法原理
  • 乘法原理
  • 减法原理
  • 除法原理
  • 组合
  • 排列
  • 阶乘
  • 数学符号表

Chapter-7 CombinatorialMathematics 第7章 组合数学

PreviousColoring 染色问题NextFullPermutation 全排列

Last updated 6 years ago

Chapter-7 Combination Mathematics

第7章 组合数学

集合划分

集合XXX的划分是XXX的非空子集的集合,使得XXX的所有元素都包含且只包含在这些子集中的一个。等价的说,集合PPP是XXX的划分,如果

(1)(1)(1) PPP的所有成员都是XXX的子集,且不是空集;

(2)(2)(2) PPP的所有成员的并集即为XXX;

(3)(3)(3) PPP的任意两个成员的交集为空集;

集合PPP中的成员也称为XXX的一个部分。

例如集合

X=[1,2,3,4,5,6]X = [ 1,2,3,4,5,6 ]X=[1,2,3,4,5,6]

存在一个划分

P=[[1],[2,6],[3,4],[5]]P = [ [1],[2,6],[3,4],[5] ]P=[[1],[2,6],[3,4],[5]]

P的所有成员[1],[2,6],[3,4],[5][1], [2,6], [3,4], [5][1],[2,6],[3,4],[5]都是XXX的一个部分。

加法原理

集合XXX的元素数量等于XXX的所有部分的元素数量之和,即∥X∥=∥X1∥+∥X2∥+⋯+∥Xn∥\| X \| = \| X_1 \| + \| X_2 \| + \dots + \| X_n \|∥X∥=∥X1​∥+∥X2​∥+⋯+∥Xn​∥。

乘法原理

若集合XXX中的所有元素都是由两个数字组成的序列,即序偶(a,b)(a,b)(a,b)。其中第一个元素aaa来自拥有ppp个元素的集合AAA,第二个元素bbb来自拥有qqq个元素的集合BBB。则集合XXX的元素数量为∥X∥=p×q\| X \| = p \times q∥X∥=p×q。

减法原理

设集合YYY包含集合XXX,集合XXX在YYY中的补集为X′X'X′,则∥X∥=∥Y∥−∥X′∥\| X \| = \| Y \| - \| X' \|∥X∥=∥Y∥−∥X′∥。

除法原理

集合XXX被划分为ppp个部分,每个部分的元素数量都为qqq,则∥X∥=p×q\| X \| = p \times q∥X∥=p×q。

组合

在包含nnn个互不相同元素的集合AAA中选出任意mmm个元素(m≤nm \leq nm≤n)组成集合BBB。

集合没有顺序的概念,若对于∀x∈A\forall x \in A∀x∈A,都有∃x∈B\exists x \in B∃x∈B;同时对于∀y∈B\forall y \in B∀y∈B,都有∃y∈A\exists y \in A∃y∈A,则称A=BA = BA=B。

从nnn个元素的集合中任意取出mmm个元素能够组成的不同集合的数量为:

Cmn=(nm)=(Pmn)m!=n!m!⋅(n−m)!C_m^n = \bigl( \begin{smallmatrix} n \\ m \end{smallmatrix} \bigr) = \frac{(P_m^n)}{m!} = \frac{n!}{m! \cdot (n-m)!}Cmn​=(nm​)=m!(Pmn​)​=m!⋅(n−m)!n!​

例如对于(x+1)2=1x0+2x1+x2(x+1)^2 = 1x^0 + 2x^1 + x^2(x+1)2=1x0+2x1+x2,从222个元素中选取111个的组合数量为222;选取222个的组合数量为111。

对于(x+1)3=1x0+3x1+3x2+x3(x+1)^3 = 1x^0 + 3x^1 + 3x^2 + x^3(x+1)3=1x0+3x1+3x2+x3,从333个元素中选取111个的组合数量为333;选取222个的组合数量为333;选取333个的组合数量为111。

排列

在包含nnn个互不相同元素的集合AAA中选出任意mmm个元素(m≤nm \leq nm≤n)组成排列BBB。排列有顺序的概念,元素数量相等且所有位置上元素也相同的排列才相同。例如s1=[1,2,3],s2=[3,2,1],s3=[2,3]s_1 = [1,2,3], s_2 = [3,2,1], s_3 = [2,3]s1​=[1,2,3],s2​=[3,2,1],s3​=[2,3]是各不相同的排列。

从nnn个元素中任意取出mmm个元素组成的所有排列的数量为:

Pmn=n!(n−m)!P_m^n = \frac{n!}{(n-m)!}Pmn​=(n−m)!n!​

也写作

Amn=n!(n−m)!A_m^n = \frac{n!}{(n-m)!}Amn​=(n−m)!n!​

维基百科中特别提到中国大陆教材中写做AnmA_n^mAnm​。

特别的当m=nm = nm=n时,称PnnP_n^nPnn​为全排列,Pnn=n!P_n^n = n!Pnn​=n!。

阶乘

阶乘的定义为:

n!={1n=01×2×3×⋯×n=∏k=1nk∀n>0n! = \begin{cases} 1 & n = 0 \\ 1 \times 2 \times 3 \times \dots \times n = \prod_{k = 1}^n k & \forall n \gt 0 \end{cases}n!={11×2×3×⋯×n=∏k=1n​k​n=0∀n>0​

阶乘的递归定义为:

n!={1n=0(n−1)!×n∀n>0n! = \begin{cases} 1 & n = 0 \\ (n-1)! \times n & \forall n \gt 0 \end{cases}n!={1(n−1)!×n​n=0∀n>0​

数学符号表

在二项式定理( (1+x)^n 的多项式展开中的多项式展开中的多项式展开中 x^k (其中(其中(其中 k \in [0, n] )的系数即为)的系数即为)的系数即为 \bigl( \begin{smallmatrix} n \ k \end{smallmatrix}\bigr) ,等同于组合学中从,等同于组合学中从,等同于组合学中从 n 个元素中选出个元素中选出个元素中选出 k $$个元素组成集合的所有组合数量。

FullPermutation 全排列
Combination 组合
Permutation 排列
PermutationGroup 置换群
https://en.wikipedia.org/wiki/Binomial_coefficient)中,二项式幂$$
https://en.wikipedia.org/wiki/List_of_mathematical_symbols
CombinationMathematics.png