T1
Proof:
对
由Stirling公式,
因此考虑
T2

Task 1
若满足
那么满足
Task 2
下证:这当且仅当
必要性
若
充分性
下面对
为
| x | 1 | 2 | 3 | 4 |
|---|---|---|---|---|
| y | 3 | 1 | 4 | 2 |
下面,考虑一个已满足自补性,阶数为
这只需要考虑连接
于是通过数学归纳法,我们可以得到所有
T3
反证设存在两条均为
由连通性,存在
满足
不失一般性(其对称性是平凡的),设
,则路径
的长度为
矛盾!
Proof:
对
由Stirling公式,
因此考虑

若满足
那么满足
下证:这当且仅当
若
下面对
为
| x | 1 | 2 | 3 | 4 |
|---|---|---|---|---|
| y | 3 | 1 | 4 | 2 |
下面,考虑一个已满足自补性,阶数为
这只需要考虑连接
于是通过数学归纳法,我们可以得到所有
反证设存在两条均为
由连通性,存在
满足
不失一般性(其对称性是平凡的),设
,则路径
的长度为
矛盾!