[THUPC 2023 决赛] Freshman Dream
题目描述
小 J 正在学习矩阵乘法。
一旁的小 L 告诉他:只要将两个矩阵对应的位置乘起来,那就能得到两个矩阵的乘法了。
这当然是不对的,但是小 L 要继续骗小 J。为此,她需要在自己的 OJ 上放一道矩阵乘法题,使得这样的矩阵乘法也能得到正确的答案。
因为小 L 的 OJ 跑的很慢并且空间限制也很小,所以这道矩阵乘法题的答案都是 $\bmod 2$ 意义下的。
现在小 L 开始造数据。她先随机生成了一个 $n\times n$ 的矩阵 $A$,具体地,每一个元素以 $\frac 12$ 的概率为 $1$,剩下的概率为 $0$,且这些事件相互独立。现在,她还要设计另一个 $n\times n$ 的 $01$ 矩阵 $B$,使得 $AB_{ij}\equiv A_{ij}B_{ij}\pmod 2$。
小 L 试图随机生成矩阵,但是找不出什么满足要求的矩阵;她试图构造几个矩阵,发现只会构造全 $0$ 矩阵,这太明显了。现在,她将生成数据的重任交给了你,你需要给出一个满足要求的 $B$,同时为了不让大家看出数据有猫腻,她还额外要求了 $B$ 里面恰好有 $k$ 个 $1$。
输入输出格式
输入格式
从标准输入读入数据。
输入的第一行包含两个正整数 $n,k$,表示矩阵的大小和题目中的 $k$。
接下来 $n$ 行,每一行 $n$ 个整数 $a_{ij}$ 表示 $A$ 的元素。
输出格式
输出到标准输出。
如果没有任何 $B$ 满足要求,输出一行一个整数 $-1$。
否则,先输出一行一个整数 $1$,然后输出 $n$ 行,每行 $n$ 个 $\{0,1\}$ 中的整数来表示 $B$ 矩阵的元素。如果有多个可能的 $B$,输出其中一个即可。
输入输出样例
输入样例 #1
3 3
1 0 0
0 1 0
0 0 1
输出样例 #1
1
1 0 0
0 1 0
0 0 1
说明
**【样例说明 #1】**
这里的 $A$ 是单位矩阵,构造的 $B$ 也是单位矩阵,乘积也为单位矩阵。同时,将对应位置相乘也为单位矩阵,并且 $B$ 中恰有 $k=3$ 个 $1$,故满足要求。
本样例中 $n$ 不为 $100$,但保证所有测试数据中 $n$ 均为 $100$。
**【数据范围】**
对于所有测试数据,$n=100$,$0 \le k \le n^2$,$a_{ij}\in \{0,1\}$,所有 $a_{ij}$ 均为独立均匀随机。
**【题目来源】**
来自 2023 清华大学学生程序设计竞赛暨高校邀请赛(THUPC2023)决赛。
题解等资源可在 <https://github.com/THUSAAC/THUPC2023> 查看。