Peaceful Commission(2-sat-字典序最小解)

Peaceful Commission

题目大意：

经典$2-sat$问题，多个大小为$2$的集合，必选其一，$m$个限制，求字典序最小解。

思路：

通过缩点和拓扑逆序可以取得任意解，无法取到字典序最小解。
$2-sat$暴力解法，当一个集合两个数都未确定时尝试字典序小的那个，否则回退再尝试另一个解，若都不行则无解。
在尝试答案时暴力递归即可，当一个点已有相反颜色则解不成立。

vector<int> ve[N];
int vis[N];
int _stack[N],idx=0;  // 模拟栈
bool dfs(int now){
	if(vis[now^1]) return 0;
	if(vis[now]) return 1;
	vis[now]=1,_stack[++idx]=now;
	for(auto it:ve[now]){
		if(!dfs(it)) return 0;
	}
	return 1;
}

bool ok(){
	for(int i=0;i<n*2;i++){
		if(vis[i]==0&&vis[i^1]==0){
			idx=0;
			if(!dfs(i)){
				for(int i=1;i<=idx;i++){  // 回退
					vis[_stack[i]]=0;
				}
				if(!dfs(i^1)) return 0;
			}
		}
	}
	return 1;
}

但细想可能会有一个问题：当一个集合的两个答案都不可行时，直接叛无解。
为什么不回退前面的集合？
答:$2-sat$建边，在选择一个点后，所有后驱都要选。
每次枚举状态的点无颜色，说明前面的点在图中都不是他们的前驱，无法影响到这个点。
时间复杂度$O(n\ast m)$，多数情况下跑不满。

Code:

#include <iostream>
#include <map>
#include <set>
#include <queue>
#include <stack>
#include <algorithm>
#include <vector>
#include <string>
#include <iomanip>
#include <cmath>
#include <ctime>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <climits>
//#include <unordered_map>
#define guo312 std::ios::sync_with_stdio(false), cin.tie(0), cout.tie(0)
#define ll long long
#define Inf LONG_LONG_MAX
#define inf INT_MAX
#define endl "\n"
#define PI 3.1415926535898
using namespace std;
const int N=2e4+10;
int n,m;

vector<int> ve[N];
int vis[N];
int _stack[N],idx=0;
bool dfs(int now){
	if(vis[now^1]) return 0;
	if(vis[now]) return 1;
	vis[now]=1,_stack[++idx]=now;
	for(auto it:ve[now]){
		if(!dfs(it)) return 0;
	}
	return 1;
}

bool ok(){
	for(int i=0;i<n*2;i++){
		if(vis[i]==0&&vis[i^1]==0){
			idx=0;
			if(!dfs(i)){
				for(int i=1;i<=idx;i++){
					vis[_stack[i]]=0;
				}
				if(!dfs(i^1)) return 0;
			}
		}
	}
	return 1;
}

int main(){
guo312;
	while(cin>>n>>m){
		for(int i=0;i<n*2;i++){
			ve[i].clear();
			vis[i]=0;
		}
		for(int i=1;i<=m;i++){
			int u,v; cin>>u>>v; u--,v--;
			ve[u].push_back(v^1);
			ve[v].push_back(u^1);
		}
		if(ok()){
			for(int i=0;i<n*2;i++){
				if(vis[i]){
					cout<<i+1<<endl;
				}
			}
		}
		else{
			cout<<"NIE"<<endl;
		}
	}
	return 0;
}