ABC278 F - Shiritori

不懂博弈和状压DP，今晚加训状压DP！

博弈太难了，东西太多了，等蓝桥杯打完再说QwQ

F - Shiritori (atcoder.jp)

题意：

思路：

注意到数据范围是到16，因此可以考虑状压DP

状态设计：（考虑影响决策的因素+转移的特殊性质+记录答案）

因为要字符串头和另一个字符串的尾相同才转移，因此需要记录最后一个选的是第几个

设dp[i][j]表示选的情况为i，最后一次选的是第j个

然后去考虑SG函数

遍历后面的状态，如果有一个为必败态，那么该状态就是必胜态

如果后面的状态全是必胜态，那么该状态就是必败态

因此我们需要倒着考虑状态

然后在枚举状态和决策的时候注意把不符合条件的状态筛去

Code：

#include <bits/stdc++.h>
using namespace std;
//#define int long long
const int mxn=3e2+10;
const int mxe=2e5+10;

string s[mxn];
int n,dp[1<<16][30];
void solve(){
    cin>>n;
    for(int i=0;i<n;i++) cin>>s[i];
    for(int i=(1<<16)-1;i>=1;i--){
        for(int j=0;j<n;j++){
            if((i>>j)&1){
                for(int k=0;k<n;k++){
                    if((i>>k)&1) continue;
                    int p=i|(1<<k);
                    if(s[j].back()==s[k][0]&&dp[p][k]==0) dp[i][j]=1;
                }
            }
        }
    }
    int ok=0;
    for(int i=0;i<n;i++){
        if(dp[(1<<i)][i]==0) ok=1;
    }
    if(ok) cout<<"First"<<'\n';
    else cout<<"Second"<<'\n';
}
signed main(){
    ios::sync_with_stdio(0),cin.tie(0),cout.tie(0);
    int __=1;//cin>>__;
    while(__--)solve();return 0;
}