[竞赛图判定定理]兰道定理(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$$
当 $k=n$时显然要取等号。
显然初始时 $T_n$是满足这个条件的。
令 $\alpha$为第一个满足 $s_\alpha>u_\alpha$的位置，这个位置显然存在不然就代表我们构造成功了。令 $\beta$表示最后一个满足 $u_\alpha=u_\beta$的位置。
再考虑 $\gamma$是第一个满足 $s_\gamma<u_\gamma$的位置，这个位置肯定要严格大于 $\beta$，而且这个位置为什么一定存在呢？因为 $\sum_{i=1}^ns_i=\sum_{i=1}^ku_i$但是 $\beta$及其以前的位置 $s$都是要大于等于$u$的。
我们画一下这些位置大概是这样排列的
$$\begin{matrix} u_1 & u_2 & ... & u_\alpha &=& u_{\alpha+1} &=& ... &=& u_\beta&< & u_{\beta+1} & ... & u_{\gamma-1} &<& u_\gamma& ... &u_n\\ || & ||& ...& \land &&\land& & ... &&\land &&\land 或者|| &... &\land 或者|| &&\lor &...& ?\\ s_1 & s_2 & ... & s_\alpha & &s_{\alpha+1} && ...& & s_\beta && s_{\beta+1} & ... &s_{\gamma-1} && s_\gamma &... & s_n \end{matrix}$$
然后显然我们可以得到 $u_\gamma>s_\gamma\ge s_\beta>u_\beta$，即 $u_\gamma\ge u_\beta+2$这个意味着什么呢？
考虑点 $\gamma$和点 $\beta$， $\gamma$的出度比 $\beta$大 $2$，说明肯定至少有一个点$\lambda$满足 $\gamma$向其连边而 $\beta$没有向其连边（那么 $\lambda$一定会向 $\beta$连边），为什么要至少大 $2$才满足呢？因为如果恰好大$1$的话多出来的这条边有可能是 $\gamma$连向 $\beta$，这么 $\lambda$这个点的存在性就不好说。
于是我们说明了至少存在一个 $\lambda(\lambda\neq\beta,\lambda\neq\gamma)$满足存在有向边 $(\gamma,\lambda)$和 $(\lambda,\beta)$。
考虑翻转这两条边，然后得到一个新的竞赛图，简单推导就可以发现它的比分序列 $u'$一定仍然满足
$$\forall 1\le k\le n,\sum_{i=1}^ks_i\ge\sum_{i=1}^ku'_i$$
且依然在 $n=k$时一定取等号。
这样我们可以构造出一个新的竞赛图，可是为什么一直这样做就可以得到一个比分序列是 $s$的竞赛图呢？
考虑定义两个竞赛图的曼哈顿距离
$$dist(u.s)=\sum_{i=1}^n|s_i-u_i|$$
显然，经过我的边翻转操作之后一定有 $dist(u',s)=dist(u,s)-2$。并且任意时候由于 $\sum_{i=1}^ns_i=\sum_{i=1}^nu_i$，一定有 $dist(u,s)\equiv0\pmod2$（模 $2$意义下可以拆开绝对值符号）。也就是说$\frac{dist(u,s)}2$步我就可以构造出 s <script type="math/tex" id="MathJax-Element-62">s</script>序列所对应的竞赛图！
至此，定理证明完毕。

---

参考资料

维基百科：竞赛图
本文所参考的论文：JR Griggs,KB Reid, Landau’s Theorem Revisited,《Australas.j.combin》, 2004, 20:19-24