[竞赛图判定定理]兰道定理(Landau's Theorem)介绍及其一种证明

前言

竞赛图(tournament)是一个定义在有向图上的概念，顾名思义，它可以想象成$n$个人两两对决，赢得向输的连边，其实就是给一副完全图的无向边定了方向。
竞赛图有很多十分优美的性质，比如说在之前的[JZOJ5061]最长路径中我就介绍了其关于曼哈顿路径的一些性质。
在这里，我们要介绍一个判定竞赛图的优美定理——兰道定理(Landau’s Theorem)，这个定理在1953年被Landau, H.G.证明。目前，这个定理在国内竞赛圈还不算普及，虽然在部分oj上有少数用到这个定理的题目（如：HDU5873），但是在国内网站上还没有找到任何证明。

---

定理

定义

定义一个竞赛图的比分序列(score sequence)，是把竞赛图的每一个点的出度从小到大排列得到的序列。

定理内容

一个长度为$n$的序列$s=(s_1\le s_2,\le...\le s_n)$，$n\ge1$，是合法的比分序列当且仅当：

$$\forall 1\le k\le n,\sum_{i=1}^ks_i\ge{k\choose2}$$
且 $k=n$时这个式子必须取等号。

定理证明

首先这个定理的必要性是显然的：即任一$n$阶竞赛图都满足这个条件。
现在我们只需要证明这个定理的充分性。
在这里，我们的证明是一个构造算法。思路是从一个一般竞赛图开始，每次改变两条边的方向，构造出一个比分序列是给定序列的竞赛图。
假设有一个一个满足定理条件的序列$s$。现在我们构造一个及其平凡的$n$阶竞赛图$T_n$，这个竞赛图的第$i$个节点向所有$j<i$的$j$节点都连有向边，因此其比分序列是$(0,1,...,n-1)$，我们要从这个平凡竞赛图开始构造。
考虑当前构造到了一个竞赛图$U$，它的比分序列$u$满足

$$\forall 1\le k\le n,\sum_{i=1}^ks_i\ge\sum_{i=1}^ku_i$$
当