@codeforces - 668E@ Little Artem and 2-SAT

目录

• @description@
• @solution@
• @accepted code@
• @details@

---

@description@

给定两个 2-sat 问题，询问两个问题的解集是否相同。

如果不相同，构造一组解 {xi}，使得这个解是其中一个问题的解同时不是另一个问题的解。

原题链接。

@solution@

如果两者解集都为空，那么解集相同。

如果两者只有一个解集为空，则取另一个问题的任意解即可。

如果都有解，先跑个 bitset 优化的传递闭包，方便接下来的处理。

此时有一些变量的值是确定的（即可以从该变量的 0/1 状态到达该变量的 1/0 状态）。

如果有一个变量在问题 A 中确定而在问题 B 中不确定，则强制令 B 中该变量的值为 A 中值取反，暴力求此时 B 中的任意解。

如果有一个变量在两个问题中都确定但是确定的值不同，直接取问题 A 的任意解即可。

现在确定的变量都长一样了。但是不确定的变量可能相互制约，所以还是不能断定两个问题解集相同。

如果两个不确定的变量对应的结点 u, v，在问题 A 中有边相连 u -> v，在问题 B 中没有边相连，我们就可以构造出一组解。

在问题 B 中强制令 u 为真，v 为假，构造出 B 的任意解，该解在 A 中一定不成立。

@accepted code@

#include <cstdio>
#include <bitset>
#include <algorithm>
using namespace std;

const int MAXN = 2000;

bitset<MAXN>G[2][MAXN]; int n;

int abs(int x) {return x >= 0 ? x : -x;}

bool f[2]; int a[2][MAXN + 5];
void get(int o) {
	for(int i=0;i<n;i++) {
		if( a[o][i] == -1 ) {
			for(int j=0;j<n;j++)
				if( (a[o][j] == 0 && G[o][i<<1|1][j<<1|1]) || (a[o][j] == 1 && G[o][i<<1|1][j<<1]) ) {
					a[o][i] = 0;
					break;
				}
			if( a[o][i] == -1 ) a[o][i] = 1;
		}
		printf("%d ", a[o][i]);
	}
	exit(0);
}

int main() {
	int m[2]; scanf("%d%d%d", &n, &m[0], &m[1]);
	for(int o=0;o<2;o++) {
		for(int i=1;i<=m[o];i++) {
			int a, b; scanf("%d%d", &a, &b);
			int p = (a < 0), q = (b < 0); a = abs(a) - 1, b = abs(b) - 1;
			G[o][a<<1|p][b<<1|(!q)] = true, G[o][b<<1|q][a<<1|(!p)] = true;
		}
		for(int i=0;i<(n<<1);i++) G[o][i][i] = true;
		for(int k=0;k<(n<<1);k++)
			for(int i=0;i<(n<<1);i++)
				if( G[o][i][k] ) G[o][i] |= G[o][k];
		for(int i=0;i<n;i++) {
			if( G[o][i<<1][i<<1|1] && G[o][i<<1|1][i<<1] ) {
				f[o] = true;
				break;
			}
			else if( G[o][i<<1][i<<1|1] ) a[o][i] = 1;
			else if( G[o][i<<1|1][i<<1] ) a[o][i] = 0;
			else a[o][i] = -1;
		}
	}
	if( f[0] && f[1] ) puts("SIMILAR");
	else if( f[0] ) get(1);
	else if( f[1] ) get(0);
	else {
		for(int i=0;i<n;i++)
			if( a[0][i] != a[1][i] ) {
				if( a[0][i] == -1 ) a[0][i] = (!a[1][i]), get(0);
				else if( a[1][i] == -1 ) a[1][i] = (!a[0][i]), get(1);
				else get(0);
				return 0;
			}
		for(int i=0;i<n;i++)
			for(int j=0;j<n;j++) {
				if( a[0][i] == -1 && a[0][j] == -1 ) {
					if( G[0][i<<1|1][j<<1|1] != G[1][i<<1|1][j<<1|1] ) {
						if( G[0][i<<1|1][j<<1|1] == 0 )
							a[0][i] = 1, a[0][j] = 0, get(0);
						else a[1][i] = 1, a[1][j] = 0, get(1);
						return 0;
					}
					else if( G[0][i<<1|1][j<<1] != G[1][i<<1|1][j<<1] ) {
						if( G[0][i<<1|1][j<<1] == 0 )
							a[0][i] = 1, a[0][j] = 1, get(0);
						else a[1][i] = 1, a[1][j] = 1, get(1);
						return 0;
					}
					else if( G[0][i<<1][j<<1|1] != G[1][i<<1][j<<1|1] ) {
						if( G[0][i<<1][j<<1|1] == 0 )
							a[0][i] = 0, a[0][j] = 0, get(0);
						else a[1][i] = 0, a[1][j] = 0, get(1);
						return 0;
					}
					else if( G[0][i<<1][j<<1] != G[1][i<<1][j<<1] ) {
						if( G[0][i<<1][j<<1] == 0 )
							a[0][i] = 0, a[0][j] = 1, get(0);
						else a[1][i] = 0, a[1][j] = 1, get(1);
						return 0;
					}
				}
			}
		puts("SIMILAR");
	}
}

@details@

注意有一些边界情况，预先给每个结点连个自环。