codeforces_400_D 题目大意:给出n扇门,m把钥匙,和没把钥匙可以改变状态(关->开,开->关>)的门的数量及对应编号(保证每个门被两把钥匙控制),现给出n扇门的初始状态(1表示开,0表示关),问是否可以通过这m把钥匙(可用可不用,不一定用完)使得所有的门都开启. 题解:终于看到了2-sat的能想出来的题了,2-sat本质是满族解的判断,这题显然可以用2-sat来求解,求解的一般套路是将每个点拆为两个点,分别表示取或者不取(即一件事的正反两面),最后通过2-sat算法,判断…