#P14478. [2025年广东省队集训]异或症测试3

    ID: 13695 传统题 1000ms 512MiB 尝试: 1 已通过: 1 难度: 10 上传者: 标签>CF2900线性基动态规划组合数学字符串

[2025年广东省队集训]异或症测试3

题目描述

给你一个集合 BB 和一个整数 XX,你要求出有多少个非空集合 S{1,2,3,,X}S\subseteq \{1,2,3,\dots,X\},使得 BBSS 的线性基。答案对 998244353998244353 取模。

称一个集合 BB 是另一个集合 SS 的线性基,当且仅当 SS 中任意元素都能被表示为 BB 中若干元素的异或和,且 BB 是所有这样的集合中大小最小的(可能有多个最小的)。

输入格式

第一行两个整数 n,mn,mnn 为集合 BB 的大小,BB 中所有元素以及 XX 均不超过 2m12^m-1。不保证 BB 中没有重复元素。

接下来 nn 行,每行一个长为 mm 的 01 字符串,第 ii 行为 BiB_i 的二进制表示,行末为最低位。

最后一行一个长为 mm 的 01 字符串,为 XX 的二进制表示。

输出格式

输出一行一个整数,表示答案对 998244353998244353 取模的结果。

输入样例1

2 2
01
10
11

输出样例1

4

样例 11 解释:

B1=1B_1=1B2=2B_2=2X=3X=3,集合 {1,2},{1,3},{2,3},{1,2,3}\{1,2\},\{1,3\},\{2,3\},\{1,2,3\} 是合法的。

输出样例2

3 3
001
010
101
110

输出样例2

38

数据范围

对于所有数据,1n,m20001\le n,m\le 2000

子任务编号 n,mn,m\le 特殊性质 分数
11 44 1010
22 1010
33 3030
44 100100 A
55 500500 2020
66 20002000 A
77

特殊性质 A:保证 n=mn=mX=2m1X=2^m-1