博弈问题

无偏博弈

没有平局，没有局势的好坏

例：取球博弈

今盒里有n个小球，A、B两人轮流从盒中取球。
每个人都可以看到另一个人取了多少个，也可以看到盒中还剩下多少个。
两人都很聪明，不会做出错误的判断。

每个人从盒子中取出的球的数目必须是：1，3，7或者8个。
轮到某一方取球时不能弃权！
A先取球，然后双方交替取球，直到取完。

被迫拿到最后一个球的一方为负方（输方）

编程确定出在双方都不判断失误的情况下，对于特定的初始球数，A是否能赢？

解：

public class Main {

	static boolean fun(int n) {// true为a能赢
		if (n == 0)// 当n为0时，就证明最后一个球被对方取走了
			return true;

		// 下面这几句的意思是如果我拿走了i个后，对方判断他输了，就证明我现在能赢
		if (n >= 1 && fun(n - 1) == false)
			return true;
		if (n >= 3 && fun(n - 3) == false)
			return true;
		if (n >= 7 && fun(n - 7) == false)
			return true;
		if (n >= 8 && fun(n - 8) == false)
			return true;

		// 如果上面这四种拿法对手都认为他会赢，那就证明我输了
		return false;
	}

	public static void main(String[] args) {
		for (int i = 1; i <= 50; i++) {
			// 测试初始球数为1-50个
			System.out.println(i + ": " + fun(i));
		}
	}
}

有平局的

例：填字母游戏

K大师在纸上画了一行n个格子，要小明和他交替往其中填入字母。
1. 轮到某人填的时候，只能在某个空格中填入L或O
2. 谁先让字母组成了“LOL”的字样，谁获胜。
3. 如果所有格子都填满了，仍无法组成LOL，则平局。

小明试验了几次都输了，他很惭愧，希望你能用计算机帮他解开这个谜。

本题的输入格式为：
第一行，数字n（n<10），表示下面有n个初始局面。
接下来，n行，每行一个串，表示开始的局面。
比如：“******”, 表示有6个空格。“L****”, 表示左边是一个字母L，它的右边是4个空格。

要求输出n个数字，表示对每个局面，如果小明先填，当K大师总是用最强着法的时候，小明的最好结果。
1 表示能赢
-1 表示必输
0 表示可以逼平

例如，
输入：
4
***
L**L
L**L***L
L*****L

则程序应该输出：
0
-1
1
1

解：

public class Main {
	// -1: 必输，0: 平局, 1: 必赢
	static int fun(char[] x) {
		String s = new String(x);
		if (s.contains("LOL"))
			return -1;
		if (s.contains("*") == false)
			return 0;

		boolean ping = false; // 假设无法平局

		for (int i = 0; i < x.length; i++) {
			if (x[i] == '*') {
				try {
					x[i] = 'L'; // 试着填L
					switch (fun(x)) {
					case -1:
						return 1;
					case 0:
						ping = true;
					}
					x[i] = 'O'; // 试着填O
					switch (fun(x)) {
					case -1:
						return 1;
					case 0:
						ping = true;
					}
				} finally {
					x[i] = '*';// 无论之前怎么样，都要进行回溯
				}
			}
		}

		if (ping)
			return 0;

		return -1;
	}

	static int game(String s) {
		return fun(s.toCharArray());
	}

	public static void main(String[] args) {
		Scanner in = new Scanner(System.in);
		int n = in.nextInt();
		String[] ss = new String[n];
		for (int i = 0; i < n; i++) {
			ss[i] = in.next();
		}
		for (int i = 0; i < n; i++) {
			System.out.println(game(ss[i]));
		}
	}
}

任何无偏博弈都可以等价到尼姆堆