【luogu2622】【状压DP】关灯问题II

传送门

题目描述

现有n盏灯，以及m个按钮。每个按钮可以同时控制这n盏灯——按下了第i个按钮，对于所有的灯都有一个效果。按下i按钮对于第j盏灯，是下面3中效果之一：如果a[i][j]为1，那么当这盏灯开了的时候，把它关上，否则不管；如果为-1的话，如果这盏灯是关的，那么把它打开，否则也不管；如果是0，无论这灯是否开，都不管。

现在这些灯都是开的，给出所有开关对所有灯的控制效果，求问最少要按几下按钮才能全部关掉。

输入格式

前两行两个数，n m

接下来m行，每行n个数,a[i][j]表示第i个开关对第j个灯的效果。

输出格式

一个整数，表示最少按按钮次数。如果没有任何办法使其全部关闭，输出-1

输入输出样例

输入 #1

3
2
1 0 1
-1 1 0

输出 #1

2

说明/提示

对于20%数据，输出无解可以得分。

对于20%数据，n<=5

对于20%数据，m<=20

上面的数据点可能会重叠。

对于100%数据 n<=10,m<=100

---

解题思路

设$f[]$为最少按动开关数
$f[s]$为所有灯的状态为$s$，‘0’表示关，‘1’表示开

以虾请配合程序食用
维护状态时为什么用的是异或（^）呢？
异或（^）：两个不同则为1

dep ^= (1 << (j - 1));

第$j$盏是1，其它位都是0
^计算时
如果其它位原本就开的，那么1^0得出1，还是开着的
如果其它位原本是关的，那么0^0得出0，还是关着的
当前位是开着的，1^1得出0，变成关着的

---

Code

#include <iostream>
#include <cstring>
#include <cstdio>
using namespace std;
int n, m, dep, f[1<<11],a[110][15];
int main()
{
	scanf ("%d%d", &n, &m);
	for (int i = 1; i <= m; i++)
	    for (int j = 1; j <= n; j++)
	        scanf ("%d", &a[i][j]);
	memset (f, 0x3f, sizeof (f));  //初始化
	f[(1 << n) - 1]=0;  //一开始所有灯都是开着的
	for (int s = (1 << n) - 1; s >= 0; s--)  //因为保证无后效性，所以是从全开状态向全关状态做
		for (int i = 1; i <= m; i++)  //枚举按钮
		{
			dep = s;  //计算按下i按钮后的灯状态
			for (int j = 1; j <= n; j++)  //枚举灯
			{
				if (! a[i][j]) continue;  //不是i控制的灯
				if ((a[i][j] == 1) && (s & (1 << (j - 1))))  //当前灯是开着的，而且当前枚举的状态中这盏灯是开着的
				   dep ^= (1 << (j - 1));
				if((a[i][j] == -1) && !(s & (1 << (j - 1))))
				   dep ^= (1 << (j - 1));
			}
			f[dep] = min(f[dep], f[s] + 1);  //动态转移
		}
	if(f[0]!=1061109567)  //如果转移到了全关
	  printf ("%d", f[0]);
	 else
	  printf ("-1");
}

---