結果

問題 No.715 集合と二人ゲーム
ユーザー kimiyuki
提出日時 2018-08-06 21:46:15
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 202 ms / 2,000 ms
コード長 1,440 bytes
コンパイル時間 2,047 ms
コンパイル使用メモリ 202,712 KB
最終ジャッジ日時 2025-01-06 12:17:56
ジャッジサーバーID
（参考情報） 		judge5 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 60
権限があれば一括ダウンロードができます

ソースコード

diff #
プレゼンテーションモードにする

#include <bits/stdc++.h>
#define REP(i, n) for (int i = 0; (i) < int(n); ++ (i))
#define REP3(i, m, n) for (int i = (m); (i) < int(n); ++ (i))
#define ALL(x) begin(x), end(x)
using namespace std;
/**
 * @sa https://oeis.org/A002187
 * @note > Has period 34 with the only exceptions at n=0, 14, 16, 17, 31, 34 and 51.
 */
vector<int> make_grundy(int k) {
    vector<int> grundy(k);
    grundy[0] = 0;
    REP3 (len, 1, k) {
        vector<int> used;
        used.push_back(grundy[max(0, len - 2)]);
        REP3 (l, 3, len + 1) {
            used.push_back(grundy[l - 3] ^ grundy[len - l]);
        }
        sort(ALL(used));
        used.erase(unique(ALL(used)), used.end());
        int g = 0;
        while (g < used.size() and g == used[g]) {
            ++ g;
        }
        grundy[len] = g;
    }
    return grundy;
}
bool solve(int n, vector<int> a) {
    vector<int> table = make_grundy(34 * 3);
    auto grundy = [&](int k) { return table[k < 34 * 3 ? k : k % 34 + 34 * 2]; };
    sort(ALL(a));
    a.erase(unique(ALL(a)), a.end());
    int sum_g = 0;
    for (int l = 0; l < a.size(); ) {
        int r = l + 1;
        while (r < a.size() and a[r] - a[l] == r - l) ++ r;
        sum_g ^= grundy(r - l);
        l = r;
    }
    return sum_g;
}
int main() {
    int n; cin >> n;
    vector<int> a(n);
    REP (i, n) cin >> a[i];
    bool ans = solve(n, a);
    cout << (ans ? "First" : "Second") << endl;
    return 0;
}
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0