CF 741C - Arpa’s overnight party and Mehrdad’s silent entering 构造 二分图

题意：

给你n对情侣中男孩和女孩的位置，问是否能构造出一种01染色方法使得每对男女颜色不同，并且每三个相邻的人当中两个颜色不同，1和2 * n是相邻的。

题解：

问题的关键在于想到每两个连一条边，情侣之间也连边。

然后会发现这样一定可行。

为什么呢？每个人会连出两条边，一条是相邻两个连边，一条连情侣。对于所有人都会有这两种边，那么假设构成奇环，环中只有奇数条边，不可能存在这种情况，因为两种边是对应的，数量相同。

所以一定可以构成二分图，染色成功。

代码：

#include <bits/stdc++.h>
#ifdef LOCAL
#define debug(x) cout<<#x<<" = "<<(x)<<endl;
#else
#define debug(x) 1;
#endif

#define chmax(x,y) x=max(x,y)
#define chmin(x,y) x=min(x,y)
#define lson id<<1,l,mid
#define rson id<<1|1,mid+1,r
#define lowbit(x) x&-x
#define mp make_pair
#define pb push_back
#define fir first
#define sec second
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
typedef pair<int, int> pii;

const int MOD = 1e9 + 7;
const double PI = acos (-1.);
const double eps = 1e-10;
const int INF = 0x3f3f3f3f;
const ll INFLL = 0x3f3f3f3f3f3f3f3f;
const int MAXN = 5e5 + 5;

vector<int> G[MAXN];
int col[MAXN], vis[MAXN];
void dfs (int now, int c) {
    vis[now] = 1;
    col[now] = c;
    for (int i : G[now]) if (!vis[i]) dfs (i, 3 - c);

}

int a[MAXN], b[MAXN];

int main() {
#ifdef LOCAL
    freopen ("input.txt", "r", stdin);
#endif
    int n;
    scanf ("%d", &n);
    for (int i = 1; i <= n; i++) {

        scanf ("%d %d", &a[i], &b[i]);
        G[a[i]].pb (b[i]);
        G[b[i]].pb (a[i]);
    }
    for (int i = 1; i <= n; i++) {
        G[2 * i - 1].pb (2 * i);
        G[2 * i].pb (2 * i - 1);
    }
    for (int i = 1; i <= 2 * n; i++) if (!vis[i]) dfs (i, 1);
    for (int i = 1; i <= n; i++) printf ("%d %d\n", col[a[i]], col[b[i]]);
    return 0;
}