摘要：
1 #include 2 #include 3 #include 4 using namespace std; 5 6 const int maxn = _____; 7 8 struct TwoSAT 9 {10 int n;11 vector G[maxn*2];12 ... 阅读全文
摘要：
一道2-SAT问题，每对钥匙需要加一条边，每扇门上的对应的要用的钥匙加一条边。其实求解2-SAT问题，关键在于找到不能同时成立的条件，例如在本题中，每对钥匙不能同时使用，每扇门上的钥匙不能同时不使用。 1 #include 2 #include 3 #include 4 using name... 阅读全文