第一行输入三个整数
代表草地的长、草地的宽、计划数量。
此后
行,每行输入
个字符,代表草地初始状态。
此后
行,每行输入
个字符,用于描述计划。
全部字符仅为数字
或
。
如果不存在满足要求的燃放方案,直接输出
。
否则,请按如下格式输出:
第一行上输出一个整数
代表使用到的计划数量。
第二行输出
个整数代表你所选择的计划编号。编号即输入顺序,从
开始计数。
如果存在多个解决方案,您可以输出任意一个,系统会自动判定是否正确。注意,自测运行功能可能因此返回错误结果,请自行检查答案正确性。
2 2 1 00 01 11 10
1 1
7 7 5 1110111 1111111 1100001 0101000 1100001 1111111 1110111 0001000 0000000 0000000 1000001 0000000 0000000 0001000 0000000 0000000 0011100 0000000 0011100 0000000 0000000 0000000 0000000 0000010 0000111 0000010 0000000 0000000 0000000 0000000 0010000 0010000 0010000 0000000 0000000 0000000 0000000 0010000 0010111 0010000 0000000 0000000
4 1 2 3 4
草地初始状态如下图所示。在这个样例中,选择
也是一个合法的答案。
n,m,q = list(map(int,input().split()))
A = [list(map(int,input())) for _ in range(n)]
all_ones = True
for row in A:
if any(bit == 0 for bit in row):
all_ones = False
break
if all_ones:
print(0)
exit()
target_bits = []
for row in A:
bits = 0
for bit in row:
bits = (bits<<1) | (1-bit) #取反:0->1,1->0
target_bits.append(bits)
valid_meth = []
meth_bits = []
for i in range(q):
meth_q = [list(map(int,input())) for _ in range(n)]
is_valid = True
for row in range(n):
for col in range(m):
if A[row][col] == 1 and meth_q[row][col] == 1:
is_valid = False
break
if not is_valid:
break
if is_valid:
valid_meth.append(i)
mbits = []
for row in meth_q:
bits = 0
for bit in row:
bits = (bits << 1) | bit #保存满足要求的矩阵
mbits.append(bits)
meth_bits.append(mbits) #多个矩阵列表
if not valid_meth:
print(-1)
else:
from itertools import combinations
min_count = float('inf')
best_comb = []
best_combs = []
for r in range(1,len(valid_meth) + 1):
for comb in combinations(range(len(valid_meth)),r):
union = [0] * n #每个元素表示一行的覆盖情况
for idx in comb:
mbits = meth_bits[idx] #获取子矩阵的二进制表示
for j in range(n):
union[j] |= mbits[j]
cover_all = True
for j in range(n):
if (union[j] & target_bits[j]) != target_bits[j]:
cover_all = False
break
if cover_all:
if r < min_count:
min_count = r
best_combs = [[valid_meth[i] for i in comb]]
elif r == min_count:
best_combs.append([valid_meth[i] for i in comb]) # 添加新组合
break
if min_count != float('inf'):
break
if min_count == float('inf'):
print(-1)
else:
print(min_count)
print(' '.join(map(lambda x: str(x + 1), sorted(best_combs[0]))))