CS0901 HW9
Problem 1 假设有 $ m $ 个俱乐部和 $ n $ 个人,满足以下条件: (i) 每个俱乐部的人数为偶数; (ii) 任意两个俱乐部之间共同拥有的人数为奇数。 证明:$ m \le n $。 证: 我们在有限域 $ \mathbb{F}_{2} $ 上考虑。设 $ v_{1},\dots,v_{m}\in \mathbb{F}_{2}^{n} $ 为每个俱乐部对应向量。根据条件,我们知道 人数为偶数:$ v_{i}\cdot v_{i}=0 $ 交集为奇数:$ v_{i}\cdot v_{j}=1(i\neq j) $ 考察这 $ m $ 个向量的线性相关性。假设存在系数 $ c_{1},\dots c_{m}\in \mathbb{F}_{2} $ 使得 $$ \sum_{i=1}^{m} c_{i}v_{i}=\mathbf{0} $$ 那么对于任意 $ j\in [m] $,我们将上式与 $ v_{j} $ 做内积 $$ \left( \sum_{i=1}^{m} c_{i}v_{i} \right)\cdot v_{j} = c_{j}(v_{j}\cdot v_{j}) + \sum_{i\neq j}c_{i}(v_{i}\cdot v_{j}) = 0 $$ 带入得到 $$ \sum_{i\neq j}c_{i}=0 $$ 由于对于每个 $ j $ 这个条件都要成立,从而 $ c_{j}=\sum_{i\in[m]}c_{i} $,这意味着所有的 $ c_{i} $ 都相等,因此要么全为 $ 0 $,要么全为 $ 1 $。若全为 $ 0 $,则线性无关;若全为 $ 1 $,显然与 $ \sum_{i\neq j}c_{i}=0 $ 矛盾。 ...