Timus Online Judge 1045 Funny Game

题目链接：http://acm.timus.ru/problem.aspx?space=1&num=1045
离去上海的日子是越来越近了，这些天都不断地在刷图论，可是今天碰见一道题，明明是个博弈，为什么还要放在Graph Theory Problems。我在想明白这道题目的时候突然感觉timus好坑！

题目大意：一个国家有N个机场，从1~N给个N个机场编号。然后给出N - 1 条边，是这些机场之间航线。现在有两个恐怖分子，他们轮流炸机场，而且这个炸机场的恐怖分子还要想好下一站去哪里。当他们来到一个孤点的时候，就不能再走了，这时本应该炸这个机场的恐怖分子就输掉Funny Game。需要注意的是，每一个恐怖分子在选择的时候都是选择的利于自己的最优的下一站。

所以，从题目描述的最后一段结尾的括号中的语句(each chooses the best move)就能看出这是个博弈。刚开始的时候没有怎么理解题意，直接用广搜、深搜WA了两次，后来才看见那句话，原来是个博弈。

那么博弈的大概思路是怎样的？我们先把两个恐怖分子设为具体的A和B两个人，而此时该A选择，那么我们需要讨论的情况就是以下三种：
1. 接下来无论怎么选择A都赢，那就没法选择了。
2. 接下来无论怎么选择B都赢，也是没法选择了。
3. 接下来的选择中有A必赢的情况，也有B必赢的情况，那么A肯定选择自己必赢的情况啊。
但是，我们必须得注意，我们选择的时候已经确定好接下来的选择的情况，我们可以把它看成递归树，意思是，我们需要在回溯的时候才能确定这个节点的值。自己在草稿纸上画一下吧。其实，把问题这样子处理，就有点像分治的思想。但是用动态规划来解决这样的问题却是更佳的选择，不过这中间状态的定义，状态的转移，却不是想我这种弱弱能够揣摩的。关于这道题目中具体的一些细节我会在代码中加上注释的。

奉上代码，请多指教！

#include <iostream>
#include <vector>
using namespace std;
vector<int> vec[1001];
vector<bool> used(10001, false);
const int INF = 1e9 + 7;
bool dfs(int s, int step) {
    vector<bool> ans;//用ans先把子状态的结果保存起来，最后再判断是上述三种情况中的哪一种
    for (int i = 0; i < vec[s].size(); ++i) {
        if (used[vec[s][i]]) continue;
        used[vec[s][i]] = true;
        ans.push_back(dfs(vec[s][i], step + 1));
    }
    if (ans.size() == 0) return step & 1 ? true : false;//走到最后的一个节点不能再走了，若step为奇数，这时不该First player选择，返回true，First player在这状态下是必赢的，否则另一个人是必赢的
    bool TRUE = true, FALSE = false;
    for (int i = 0; i < ans.size(); ++i) {
        if (ans[i] == true) FALSE = true;
        else TRUE = false;
    }
    if (TRUE) return TRUE;//不论怎么选择全是First player必赢的状态
    if (!FALSE) return FALSE;//全是First player必输的状态
    return step & 1 ? false : true;//有First player必赢和必输的状态，若step为偶数，那么就该First player选择，那他肯定会选择自己必赢的状态，否则就是First player必输的状态
}
int main() {
    int N, K;
    cin >> N >> K;
    for (int i = 0; i < N - 1; ++i) {
        int u, v;
        cin >> u >> v;
        vec[u].push_back(v);
        vec[v].push_back(u);
    }
    int t = INF;
    used[K] = true;
    for (int i = 0; i < vec[K].size(); ++i) {//若First player能赢，则输出他们从K出发选择到达的第一个节点，若有多个，选择最小的
        used[vec[K][i]] = true;
        if (dfs(vec[K][i], 1)) t = min(t, vec[K][i]);
    }
    if (t != INF) cout << "First player wins flying to airport " << t << endl;
    else cout << "First player loses" << endl;
    return 0;
}