令$A=\{a_{1},a_{2},...,a_{s}\}$,若$k\not\in A$,那么恰存在一个$A'\subseteq A$使得$c_{k}=\bigoplus_{x\in A'}c_{x}$ 存在性:若不存在,将$k$加入$A$中仍然为合法的集合,与$|A|$最大矛盾 唯一性:若存在多个,将其中两个集合异或(即保留在这两个集合中出现奇数次的元素),显然这个异或的结果非空且所有元素异或和为0,与$A$为合法的集合矛盾 (为了方便,称$A'$为$k$的表示集合) 此时,限制即$\fora…
