尼姆堆问题

有4堆硬币，分别是2,5，12,14。

二人轮流取硬币。

每人每次只能从某一堆上取任意数量。

不能弃权。

取到最后一枚硬币的为赢家。

求先取硬币一方有无必胜的招法。

尼姆堆问题，将所有堆的硬币个数用二进制表示，再异或，若最后结果为零，则必有方法使对手失败。

先手方，只需制造出这种情况即可。

        0010

    x  0101

        1100

        1110

-------------

sum  0101

如上，先手方想办法改变某一堆的硬币个数即可。

对于异或，有重要结论：a^b^b=a 和 a^a=0。

在本题中，可用sum与原先某一个数x异或，其值设为m，用m再与剩下的数异或，结果必然为0。

但m还不是要求的解决方案，m必须保证比x小，因为某一堆的硬币只能减少不能增加。

#include<iostream>
using namespace std;

void fun(int a[]) {
	int sum = 0;
	for (int i = 0; i < 4; i++) {
		sum = sum ^ a[i];
	}
	if (sum == 0) {
		cout << "lose!" << endl;
		return;
	}
	for (int i = 0; i < 4; i++) {
		int x = sum ^ a[i];
		if (x < a[i]) {
			cout << a[i] << "--->" << x << endl;
		}
	}
}

int main() {
	int a[4] = { 2,5,12,14 };
	fun(a);
	return 0;
}