P13689 【MX-X16-T7】「DLESS-3」XOR and Generalized Linear Independence
题目描述
给定 $k$,定义集合 $U$ 广义线性无关当且仅当:
- $\forall 2\le x\le k$,不存在 $U$ 的大小为 $x$ 的子集 $V$ 使得 $V$ 的异或和为 $0$。
给定 $n,m$ 和 $k$,你需要构造一个 $\{0,1,2,\dots,2^n-1\}$ 的大小为 $m$ 的子集 $U$ 使得 $U$ 是广义线性无关的。
保证答案一定存在,请参考【**数据范围**】中的表格。
本题使用自定义校验器,任意合法的答案都会被判定为正确。
输入格式
仅一行,三个整数 $n,m,k$。
输出格式
一行 $m$ 个整数,表示一组方案。你可以以任意顺序输出这些数,你需要保证它们在 $[0, 2^n - 1]$ 之间且互不相同。
本题使用自定义校验器,若有多组方案,任意输出一组即可。
说明/提示
**【样例解释 #1】**
对于该样例,一组解为 $\{0, 1, 2, 4\}$。根据题意,$k=4$,需要检验大小为 $2,3,4$ 的子集的异或和。
- 大小为 $2$ 的子集:异或和有 $0\oplus 1=1, 0\oplus 2=2, 1\oplus 2=3, \dots$ 均不为 $0$。
- 大小为 $3$ 的子集:异或和有 $0\oplus 1\oplus 2=3, 0\oplus 1\oplus 4=5, \dots$ 均不为 $0$。
- 大小为 $4$ 的子集:异或和为 $0\oplus 1\oplus 2\oplus 4=7$,不为 $0$。
所有子集的异或和均不为 $0$,因此该构造是合法的。
**【数据范围】**
**本题各测试点不等分,详见“分值”一栏。**
对于所有数据,保证 $1\le n\le 24$,$1\le m\le 2^{20}$,$2\le k\le 8$,保证答案一定存在,更具体地,$(n, m, k)$ 一定满足下表中某个测试点的限制。
各测试点特殊限制如下:
| 测试点编号 | $n=$ | $m=$ | $k=$ | 分值 |
| :----------: | :----------: | :----------: | :----------: | :----------: |
| $1$ | $20$ | $2^{20}$ | $2$ | $1$ |
| $2$ | $18$ | $500$ | $3$ | $4$ |
| $3$ | $18$ | $500$ | $4$ | $4$ |
| $4$ | $24$ | $4000$ | $4$ | $22$ |
| $5$ | $24$ | $10$ | $6$ | $8$ |
| $6$ | $24$ | $250$ | $6$ | $24$ |
| $7$ | $24$ | $10$ | $8$ | $10$ |
| $8$ | $24$ | $64$ | $8$ | $27$ |