题目 30152

线性方程组(模 2)

查看题解 ↗GitHub ↗如何评测
题号
30152
时间限制
10000 ms
内存限制
1024 MB
标签
数学
来源
Library Checker (yosupo06) - system_of_linear_equations_mod_2

【题目描述】

给定一个 N×MN \times M 的矩阵 AA,以及一个大小为 NN 的向量 bb。请计算一个大小为 MM 的向量 xx,使得 Ax=bAx=b。所有运算均在 F2\mathbb{F}_{2} 中进行。

对于矩阵和向量的输入与输出,请将每一行视为由其分量(00 或 11)拼接而成的字符串。

【输入】

第一行包含两个整数 NN 和 MM。

接下来 NN 行,每行包含一个字符串

文本
$A_{i,0}A_{i,1}\cdots A_{i,M-1}$

表示矩阵 AA 的第 ii 行。

最后一行包含一个字符串

文本
$b_0b_1\cdots b_{N-1}$

表示向量 bb。

【输出】

如果无解,输出

文本
-1

否则按以下格式输出:

文本
$R$
$c_0c_1\cdots c_{M-1}$
$d_{0,0}d_{0,1}\cdots d_{0,M-1}$
$\vdots$
$d_{R-1,0}d_{R-1,1}\cdots d_{R-1,M-1}$

其中,RR 是解空间的秩。cic_i 是一个解。对于每个 jj,dj,0⋯dj,M−1d_{j,0}\cdots d_{j,M-1} 是解空间的一个基。

【输入样例】

文本
3 3
101
011
110
011

【输出样例】

文本
1
010
111

【输入样例2】

文本
3 3
101
011
110
111

【输出样例2】

文本
-1

【输入样例3】

文本
1 3
111
1

【输出样例3】

文本
2
100
110
101

【数据范围】

  • 1≤N≤40961 \leq N \leq 4096
  • 1≤M≤40961 \leq M \leq 4096
  • Aij∈{0,1}A_{ij} \in \lbrace 0,1\rbrace
  • bi∈{0,1}b_i \in \lbrace 0,1\rbrace

【来源】

Library Checker(yosupo06) system_of_linear_equations_mod_2

本题为 special judge(输出任意合法解),暂不可本地评测。

数据下载

题目 30152 的公开数据

正在读取文件列表…

常用命令

题目 30152 的 ROJ 命令

以下命令默认使用全局安装的 ROJ Skill,请在终端中直接执行;如果修改过 AGENT_HOME,请将命令中的 ~/.agents 替换为对应目录。