POJ - 2438 Children's Dining

题意：

有 2n 个小朋友围着圆桌坐成一圈，其中有 m 对小朋友互相之间有矛盾，不能坐在相邻位置。已知每个小朋友最多与 n - 1 个小朋友有矛盾关系，求一个合法的入座顺序。(n <= 200, m <= n * (n - 1) )

链接：

https://vjudge.net/problem/POJ-2438

解题思路：

即为求哈密顿回路， 且在此特殊图中哈密顿回路一定存在（Dirac定理）。所以我们尽管搜就是了。

#include<cstdio>
#include<algorithm>
#include<vector>

using namespace std;
typedef long long ll;
typedef pair<int, int> pii;
#define pb push_back
#define sz(a) ((int)a.size())
#define mem(a, b) memset(a, b, sizeof a)
#define lson (rt << 1)
#define rson (rt << 1 | 1)
#define gmid (l + r >> 1)
const int maxn = 1e3 + 5;
const int maxm = 1e6 + 5;
const int mod = 1e9 + 7;
const int inf = 0x3f3f3f3f;

vector<int> G[maxn];
int mp[maxn][maxn];
int vis[maxn], ans[maxn];
int n, m;

int dfs(int u, int d){

	vis[u] = 1, ans[d] = u;
	if(d == n){

		if(mp[u][ans[1]]) return 1;
		vis[u] = 0;
		return 0;
	}
	for(int i = 0; i < sz(G[u]); ++i){

		int v = G[u][i];
		if(vis[v]) continue;
		if(dfs(v, d + 1)) return 1;
	}
	vis[u] = 0;
	return 0;
}

int main() {

    while(scanf("%d%d", &n, &m) && n){

		n <<= 1;
		for(int i = 1; i <= n; ++i)
			for(int j = 1; j <= n; ++j) mp[i][j] = 1;
		for(int i = 1; i <= n; ++i) G[i].clear(), vis[i] = mp[i][i] = 0;
		while(m--){

			int u, v; scanf("%d%d", &u, &v);
			mp[u][v] = mp[v][u] = 0;
		}
		for(int i = 1; i <= n; ++i)
			for(int j = 1; j <= n; ++j) if(mp[i][j]) G[i].pb(j);
		for(int i = 1; i <= n; ++i) random_shuffle(G[i].begin(), G[i].end());
		dfs(1, 1);
		for(int i = 1; i <= n; ++i) printf("%d%c", ans[i], i == n ? '\n' : ' ');
    }
    return 0;
}

 
以上代码 O（看脸过）。实际上，我们有$O(n^2)$ 的构造方法， 构造过程大致如下：
① 任选两个相邻结点 s，t，两头分别扩展相邻结点，得到一条 s -> t 的路径。
② 此时若 s 与 t 相邻，则该路径构成一条回路。
③ 否则，记路径 s -> t 共有 k + 2 个结点，则中间的 k 个结点必然存在两点 $v_i,v_{i+1}$ 满足 $v_i$ 与 t 相邻，且 $v_{i+1}$ 与 s 相邻（d(s) + d(t) >= n 且 k <= n - 2），则路径可变为 s -> $v_{i+1}$ -> t -> $v_i$ -> s，此时该路径也为一条回路。
④ 当路径上结点小于 n 时，找到一个相邻点 i，沿 i 将回路断开，得到一条长度 + 1 的路径，重复步骤①。

参考代码：

#include<cstdio>
#include<algorithm>
#include<vector>

using namespace std;
typedef long long ll;
typedef pair<int, int> pii;
#define pb push_back
#define sz(a) ((int)a.size())
#define mem(a, b) memset(a, b, sizeof a)
#define lson (rt << 1)
#define rson (rt << 1 | 1)
#define gmid (l + r >> 1)
const int maxn = 1e3 + 5;
const int maxm = 1e6 + 5;
const int mod = 1e9 + 7;
const int inf = 0x3f3f3f3f;

int mp[maxn][maxn];
int vis[maxn], ans[maxn];
int n, m, tot;

void expand(int &t){

	while(1){

		int f = 0;
		for(int i = 1; i <= n; ++i){

			if(!vis[i] && mp[t][i]){

				t = i;
				ans[++tot] = t;
				vis[t] = f = 1;
				break;
			}
		}
		if(!f) break;
	}
}

void solve(){

	int s = 1, t; tot = 0;
	for(int i = 1; i <= n; ++i) vis[i] = 0;
	for(int i = 1; i <= n; ++i) if(mp[s][i]) { t = i; break; }
	vis[s] = vis[t] = 1, ans[++tot] = s, ans[++tot] = t;
	while(1){

		expand(t);
		reverse(ans + 1, ans + 1 + tot);
		swap(s, t);
		expand(t);
		int mid;
		if(!mp[s][t]){

			for(int i = 2; i < tot - 1; ++i){

				if(mp[ans[i]][t] && mp[ans[i + 1]][s]) { mid = i + 1; break; }
			}
			reverse(ans + mid, ans + 1 + tot);
			t = ans[tot];
		}
		if(tot == n) break;
		mid = 0;
		for(int i = 1; i <= n; ++i){

			if(vis[i]) continue;
			for(int j = 2; j < tot; ++j){

				if(mp[ans[j]][i]) { mid = j; break; }
			}
			if(mid) { t = i; break; }
		}
		s = ans[mid - 1];
		reverse(ans + 1, ans + mid);
		reverse(ans + mid, ans + 1 + tot);
		ans[++tot] = t, vis[t] = 1;
	}
}

int main() {

    while(scanf("%d%d", &n, &m) && n){

		n <<= 1;
		for(int i = 1; i <= n; ++i)
			for(int j = 1; j <= n; ++j) mp[i][j] = i != j;
		while(m--){

			int u, v; scanf("%d%d", &u, &v);
			mp[u][v] = mp[v][u] = 0;
		}
		solve();
		for(int i = 1; i <= n; ++i) printf("%d%c", ans[i], i == n ? '\n' : ' ');
    }
    return 0;
}