#P13689. 【MX-X16-T7】「DLESS-3」XOR and Generalized Linear Independence

    ID: 14644 远端评测题 2000ms 512MiB 尝试: 0 已通过: 0 难度: 7 上传者: 标签>Special JudgeO2优化群论线性代数构造梦熊比赛

【MX-X16-T7】「DLESS-3」XOR and Generalized Linear Independence

题目描述

给定 kk,定义集合 UU 广义线性无关当且仅当:

  • 2xk\forall 2\le x\le k,不存在 UU 的大小为 xx 的子集 VV 使得 VV 的异或和为 00

给定 n,mn,mkk,你需要构造一个 {0,1,2,,2n1}\{0,1,2,\dots,2^n-1\} 的大小为 mm 的子集 UU 使得 UU 是广义线性无关的。

保证答案一定存在,请参考【数据范围】中的表格。

本题使用自定义校验器,任意合法的答案都会被判定为正确。

输入格式

仅一行,三个整数 n,m,kn,m,k

输出格式

一行 mm 个整数,表示一组方案。你可以以任意顺序输出这些数,你需要保证它们在 [0,2n1][0, 2^n - 1] 之间且互不相同。

本题使用自定义校验器,若有多组方案,任意输出一组即可。

4 4 4
0 1 2 4
9 8 5
0 73 474 163 236 309 382 407

提示

【样例解释 #1】

对于该样例,一组解为 {0,1,2,4}\{0, 1, 2, 4\}。根据题意,k=4k=4,需要检验大小为 2,3,42,3,4 的子集的异或和。

  • 大小为 22 的子集:异或和有 01=1,02=2,12=3,0\oplus 1=1, 0\oplus 2=2, 1\oplus 2=3, \dots 均不为 00
  • 大小为 33 的子集:异或和有 012=3,014=5,0\oplus 1\oplus 2=3, 0\oplus 1\oplus 4=5, \dots 均不为 00
  • 大小为 44 的子集:异或和为 0124=70\oplus 1\oplus 2\oplus 4=7,不为 00

所有子集的异或和均不为 00,因此该构造是合法的。

【数据范围】

本题各测试点不等分,详见“分值”一栏。

对于所有数据,保证 1n241\le n\le 241m2201\le m\le 2^{20}2k82\le k\le 8,保证答案一定存在,更具体地,(n,m,k)(n, m, k) 一定满足下表中某个测试点的限制。

各测试点特殊限制如下:

测试点编号 n=n= m=m= k=k= 分值
11 2020 2202^{20} 22 11
22 1818 500500 33 44
33 44
44 2424 40004000 2222
55 1010 66 88
66 250250 2424
77 1010 88 1010
88 6464 2727