标签：兰道 定理 入度 Landau 子集 Theorem 引理 任意

兰道定理的内容：

一个竞赛图强连通的充要条件是：把它的所有顶点按照入度d从小到大排序，对于任意\(k\in [0,n-1]\)都不满足\(\sum_{i=0}^k d_i=\binom{k+1}{2}\)。

兰道定理的证明：

引理：

一个竞赛图强连通的充要条件是对于任意\(S \subsetneq 点集V\)，都存在一个点\(u \notin S\)，满足u到S有边。

证明：

1.必要性：比较显然

2.充分性：假设我们现在已经得到了\(V\)中的一个强连通子集\(S\)，想办法不断扩展\(S\)直到\(S=V\)。新建一个集合\(T\)，初始令\(T=S\)。我们选择集合T，根据引理中的条件，\(T\complement(T在V中的补集)\)中一定有至少一个点u到T有边。任意选择一个这样的点u，把他加入T，并且"标记"出u连到T的任意一条边。不断重复这样的过程，直到\(T=V\)。那么现在这张图会长成这样：

现在选择\(S\complement\)这个集合，根据引理条件S到它肯定有边，那么就会形成一条从S中出发，经过一些不属于S的点，再回到S的路径。路径上的点可以被加进S，这样就可以不断扩展S(类似耳分解)。

证明完这个引理之后就好办了，我们只需要判断\(V\)有没有"入度"为0的真子集即可。一个子集入度为零当且仅当子集内所有点的入度之和等于这个子集内部的边数，也就是\(\binom n2\)。到这里兰道定理就证完了。

标签：兰道,定理,入度,Landau,子集,Theorem,引理,任意
来源： https://www.cnblogs.com/legendstane/p/16642408.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。