51nod1070(博弈，有趣的结论）

http://www.51nod.com/onlineJudge/questionCode.html#!problemId=1070
题意：
有一堆石子共有N个。A B两个人轮流拿，A先拿。每次拿的数量最少1个，最多不超过对手上一次拿的数量的2倍（A第1次拿时要求不能全拿走）。拿到最后1颗石子的人获胜。假设A B都非常聪明，拿石子的过程中不会出现失误。给出N，问最后谁能赢得比赛。
例如N = 3。A只能拿1颗或2颗，所以B可以拿到最后1颗石子。

INPUT：
第1行：一个数T，表示后面用作输入测试的数的数量。（1 <= T <= 1000)
第2 - T + 1行：每行1个数N。(1 <= N <= 10^9)

解法：
一开始探索的时候并没有什么好的思路，于是就开始写前几个数的情况，然后发现好像和斐波那契数有些关系，斐波那契数是必败状态。思索了一会儿给了个证明。
核心是用数学归纳法，1，2，3显然都是必败态，然后归纳假设小于等于第n个斐波那契数的数成立，要证小于等于第n ＋ 1个斐波那契数的数成立。
分两步：一步是证明位于第n个和第n＋1个斐波那契数之间的数是必胜态，另一个是第n ＋ 1个斐波那契数是必败态。
首先说一个引理，就是第一步无限制的必败态的数，第一步有限制的话也是必败，证明显然。
首先我们先证第一步，先考虑转移到必败状态，而且步子小，不让后手直接取完，那自然的想法是转移到第n个斐波那契数。这其中就要分两种情况了，第一种，数a － Fn是斐波那契数，那么我们直接转移到Fn，步长最长是F(n-2)，不足以取完，根据引理是必胜的。第二种，数a － Fn不是斐波那契数，那么根据归纳假设我们是有办法正好取到剩Fn个的，只要证明步长不够就可以了，这里可以放缩一下，很容易判断是不够的（中间有一个4F(n +1)与7Fn的大小关系，显然）,所以根据引理是必胜的。
再证明第二步，因为根据归纳假设，后手都有让先手转移到Fn的能力，并且同前，步子不可能让下一步之间取完，而如果先手第一步迈很大，直接取剩Fn或更少，那后手可以直接取完。
证毕！

代码：

//
//  main.cpp
//  1070
//
//  Created by 黄宇凡 on 8/1/16.
//  Copyright © 2016 黄宇凡. All rights reserved.
//

#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>

using namespace std;

int T;

long long a = 1e10;

long long f[100];
int cnt = 0;

int main(int argc, const char * argv[]) {
    f[0] = f[1] = 1;
    cnt = 1;
    for(int i = 2;;i++){
        f[i] = f[i - 2] + f[i - 1];
        if(f[i] > a) {cnt = i;break;}
    }
    cin >> T;
    while(T--){
        int n;
        cin >> n;
        bool flag = true;
        for(int i = 1;i <= cnt;i++){
            if(n == f[i]){
                flag  = false;
                break;
            }
        }
        if(flag) printf("A\n");
        else printf("B\n");
    }
    return 0;
}