HDU_3062_A_Party ( 2sat问题 | 强连通分量 )

题意

n 对夫妻一块出席活动, 某些人可能有矛盾( 夫妻之间不会有矛盾 ), 每对夫妻只能出席一人, 问所有出席的能否和睦相处 …

题解

首先, 先来看下 2set 问题是什么,

传送_1
传送_2

了解了 2set 是什么, 就会发现这的确是一个 2set 的模板题了,加边建图, 搜索, 判断

可怜我一直以为是二分图, 一直往二分图里上板子, 一直哇 …

总结一下, 向能把图全部连通的方向考虑

每一个夫妻必须出一个, 那么这个就可以看成两种选择, 妻子为2a, 丈夫为2a+1. 由题目条件可以推出, 第a对夫妻的妻子与第b对夫妻的丈夫有矛盾的话, 应加边 a2->b2 和 b2+1->a*2+1.

有新想法, 待更新 …

代码

#include <bits/stdc++.h> 
using namespace std; 
#define rg register 
#define sc scanf 
#define pf printf 
typedef long long ll; 

class TwoSet {
   
public:
	static const int MAXNODE = 2e3+10;
	int n;
    TwoSet ( ) {
    };
    TwoSet ( int _n ) : n(_n) {
    };
	vector<int> g[MAXNODE * 2];
	bool book[MAXNODE * 2];
	int stk[MAXNODE * 2], sn;
	void init