数学系离散数学的几大核心领域

　　数学系里一般不叫离散数学，一般都称为组合数学（Combinatorics）。这里注意一下，组合数学研究的对象不一定是离散的（比如graph limit theory中会研究一类连续函数的拓扑性质），我更愿意把组合数学称为具体数学（Concrete Math）。

　　我个人觉得，组合数学家里几乎没有专门为算法做理论设计的。算法的理论，一般属于理论计算机科学（Theoretical Computer Science），隶属于计算机系。

　　那组合数学家在做什么呢？美国数学会给组合数学分了五类：计数组合，编码与设计理论，图论，极值组合，代数组合。我个人认为这个分类已经过时了二十年了。我这里说一下我认为组合数学里最常见最核心的几个领域。因为水平所限，肯定会有不全或者错漏。

　　结构图论（Structural graph theory）与图的染色（Graph coloring）

　　我没有把图论分作一类，因为目前图论领域里明显有两类风格迥异的数学家。结构图论顾名思义，主要研究目标是图的结构，包括graph minor; graph immersion; topological graph theory; perfect graph等等很多分支。图的染色就是考虑确定图的染色数，或者用染色数为图分类。我把这两个方向放到一起，因为我觉得大部分做其中一个方向的数学家也做另外一个方向。

　　极值组合（Extremal combinatorics）与极值图论（Extremal graph theory）

　　极值组合研究的是满足某种条件下的一种结构的极限情况，极值图论研究的就是图了。这个方向也是组合目前最主流也是竞争最激烈的方向之一，包括Turan问题，Ramsey问题等等臭名昭著的难题。

　　代数组合（Algebraic combinatorics）

　　这个方向我了解的不多，因为和我个人taste不是很相符。有的组合学家不承认代数组合是组合的分支，因为有些代数组合的问题来源自抽象数学（Abstract Math），并不是具体数学。这里分支也有很多，比如组合交换代数，组合表示论等等。

　　算数组合（Arithmetic combinatorics）

　　这个领域比较广，一般认为包括加性组合（Additive Combinatorics）和乘性组合（Multiplicative Combinatorics）。很多我们耳熟能详的数学家比如陶哲轩，Bourgain等，都在这个领域做了很多贡献。狭义的说加性组合研究阿贝尔群上的组合结构，乘性组合研究一般群的结构。加性组合研究的问题比如Freiman type theorem；Pseudorandomness等；乘性组合的问题比如Approximate group；growth rate of group等。这个领域的用到的其他分支的数学比较多，包括图论，极值组合，概率，代数，调和分析，代数几何，离散几何，逻辑等。

　　计数组合（Enumeration combinatorics）与解析组合（Analytic combinatorics）

　　这里顾名思义就是使用代数/复分析等工具来计数了。注意并不是所有的计数问题都在这里，比如数平面图有多少个就属于计数组合问题，但是数没有三角形的最大的图的个数就属于极值组合。一般其他的数学分支，比如代数拓扑，常会用到的组合大多是这个分支。

　　离散几何（Discrete geometry）

　　这个领域和算数组合有点像，使用其他分支的工具也很多。比较著名的问题比如sphere packing；kissing number；equiangular lines等等。其中四维和24维sphere packing问题就是用代数几何解决的。这里还包含一个子分支重合几何（incidence geometry），主要研究点线面的关系的几何，这里面调和分析与极值组合用的会多一些，也是一个很新很热门的分支。有的人也会把重合几何叫代数组合几何（Algebraic combinatorial geometry），因为重合几何的一个主要研究对象也是多项式或者代数/半代数曲线。

　　编码理论（Coding theory）与设计（Design）

　　我对这个几乎不了解。但是确实也是组合的一大主流分支。20世纪著名的科克曼女生问题就是这个领域的问题。

　　————

　　编辑∑Pluto

　　来源：算数学苑