Solution -「POJ 3710」Christmas Game

\(\mathcal{Decription}\)

  Link.

  定义一棵圣诞树：

• 是仙人掌。

• 不存在两个同一环上的点，度数均 \(\ge 3\)。

  给出 \(n\) 棵互不相关的圣诞树，双人博弈，每轮切断一棵圣诞树的一条边，并且与该树根不向连的部分全部消失，不能操作者负。求先手是否有必胜策略。

  多测，\(T,n\le 100\)，\(m\le 500\)。

\(\mathcal{Solution}\)

  没有什么不说人话的定理和结论，这里只应用 SG 函数和 Nim 游戏的基础知识。

  本题解中，定义树上“长度”为两点间边的数量。

  首先，考虑从根连出多条链的图，显然是 Nim 游戏，每堆石子就是链的长度，根的 SG 函数为这些长度的异或和。

---

  接下来考虑任意一棵树，发现上述结论可以归纳地推广。根据定义，全局 SG 函数为各部分独立 SG 函数异或和，得到：

\[ \operatorname{sg} (u)=\bigoplus_{v\in son_u} (\operatorname{sg} (v)+1) \]

  注意这里 \(\operatorname{sg} (u)\) 实际上表示 \(u\) 子树的 SG 函数值。其中 \(+1\) 意为每堆石子（链）的长度都 \(+1\)。

---

  回忆一下 SG 函数的定义：

\[ \operatorname{sg} (S)=\operatorname{mex}_{T\in\operatorname{next}(S) }\{\operatorname{sg} (T)\}\tag{*} \]

  此后，考虑从 \((*)\) 式的角度求环的 SG 函数。环的后继状态为删除环上任意一条边得到两条链，而链是 Nim 游戏，SG 函数为链长异或和，可以解决。形式地，设环 \(C\) 的大小为 \(n\)，有：

\[ \operatorname{sg} (C)=\operatorname{mex}_{a+b=n-1\land(a,b\in\mathbb N)}\{a\oplus b\} \]

  分 \(n\) 的奇偶性讨论：

1. \(2|n \Rightarrow 2\not|(n-1)\)，而 \(a+b=n-1\)，所以 \(a,b\) 奇偶性不同，则它们二进制最低位不同。那么两数异或值不可能为 \(0\)，即集合中不存在 \(0\)，那么此时 \(\operatorname{sg} (C)=0\)。

2. \(2\not|n \Rightarrow 2|(n-1)\)，而 \(a+b=n-1\)，同理地，两数异或值必然为偶数，而且显然存在 \(0\)。得到 \(\operatorname{sg} (C)=1\)。

  综上，\(\operatorname{sg} (C)=[2\not|n]\)。

---

  回到本题，“圣诞树”的定义保证了环在缩点后的图中是叶子，所以对于环，用环的 SG 函数算，否则用树的 SG 函数算，最后求每棵圣诞树的 SG 异或就能判断先手胜负啦。

  单棵树复杂度 \(\mathcal O(n)\)。

\(\mathcal{Code}\)

/* Clearink */

#include <cstdio>

const int MAXN = 100, MAXM = 500;
int n, m, ecnt, head[MAXN + 5], dep[MAXN + 5], sg[MAXN + 5];
bool vis[MAXN + 5];

struct Edge { int to, nxt; } graph[MAXM * 2 + 5];

inline void link ( const int s, const int t ) {
	graph[++ ecnt] = { t, head[s] };
	head[s] = ecnt;
}

inline int calcSG ( const int u, const int fe ) {
/*
	返回值表示当前找到的环的顶点（唯一可能度数 >= 3 的点），若不在环上，返回 0。
*/
	vis[u] = true;
	for ( int i = head[u], v, cir; i; i = graph[i].nxt ) {
		if ( ( i ^ 1 ) == fe || !( v = graph[i].to ) ) continue;
		if ( vis[v] ) {
			sg[v] ^= ( dep[u] - dep[v] + 1 ) & 1;
			graph[i ^ 1].to = 0;
			return v;
		}
		dep[v] = dep[u] + 1, cir = calcSG ( v, i );
		if ( !cir ) sg[u] ^= sg[v] + 1;
		else if ( cir ^ u ) return cir;
	}
	return 0;
}

inline void clear () {
	ecnt = 1;
	for ( int i = 1; i <= n; ++ i ) head[i] = sg[i] = dep[i] = vis[i] = 0;
}

int main () {
	for ( int T; ~scanf ( "%d", &T ); ) {
		int ans = 0;
		while ( T -- ) {
			clear ();
			scanf ( "%d %d", &n, &m );
			for ( int i = 1, u, v; i <= m; ++ i ) {
				scanf ( "%d %d", &u, &v );
				link ( u, v ), link ( v, u );
			}
			calcSG ( 1, 0 ), ans ^= sg[1];
		}
		puts ( ans ? "Sally" : "Harry" );
	}
	return 0;
}