16 2017-07 UVALive 7425 Cleaning Pipes (2-sat) 紫杉 2-SAT 2017-07-16 4,339 题意:~ 思路: #include <bits/stdc++.h> using namespace std; typedef long long LL; typedef pair<int, int> PI; const int MAXN = 10020; const int MAXM = 5000010; stru... 2-SAT2-SAT 07月16日 4,339