結果

問題 No.2841 Leaf Eater
ユーザー kotatsugamekotatsugame
提出日時 2024-08-09 23:38:18
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 25 ms / 2,000 ms
コード長 2,462 bytes
コンパイル時間 1,840 ms
コンパイル使用メモリ 126,768 KB
実行使用メモリ 11,700 KB
最終ジャッジ日時 2024-08-09 23:38:22
合計ジャッジ時間 3,293 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 4 ms
9,616 KB
testcase_01 AC 16 ms
9,668 KB
testcase_02 AC 16 ms
9,708 KB
testcase_03 AC 16 ms
9,644 KB
testcase_04 AC 17 ms
9,572 KB
testcase_05 AC 16 ms
9,500 KB
testcase_06 AC 24 ms
9,536 KB
testcase_07 AC 21 ms
9,584 KB
testcase_08 AC 23 ms
9,824 KB
testcase_09 AC 22 ms
11,624 KB
testcase_10 AC 22 ms
11,700 KB
testcase_11 AC 23 ms
11,608 KB
testcase_12 AC 25 ms
11,664 KB
testcase_13 AC 22 ms
9,824 KB
testcase_14 AC 21 ms
9,728 KB
testcase_15 AC 20 ms
9,788 KB
testcase_16 AC 21 ms
9,972 KB
testcase_17 AC 18 ms
9,828 KB
testcase_18 AC 18 ms
9,872 KB
testcase_19 AC 17 ms
9,648 KB
testcase_20 AC 17 ms
9,644 KB
testcase_21 AC 17 ms
9,748 KB
testcase_22 AC 16 ms
9,552 KB
testcase_23 AC 17 ms
9,556 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include<iostream>
#include<algorithm>
#include<cassert>
#include<random>
#include<set>
#include<map>
#include<cstdlib>
using namespace std;
map<vector<int>,bool>memo;
bool naive(vector<int>P)
{
	for(int i=0;i<P.size();i++)assert(0<=P[i]&&P[i]<=i);
	if(P.empty())return false;
	if(memo.find(P)!=memo.end())return memo[P];
	const int n=P.size()+1;
	bool win=false;
	vector<bool>leaff(n,true);
	for(int p:P)leaff[p]=false;
	vector<int>leaf;
	for(int i=0;i<n;i++)if(leaff[i])leaf.push_back(i);
	for(int j=1;j<1<<leaf.size();j++)
	{
		vector<int>idx(n,0);
		for(int k=0;k<leaf.size();k++)if(j>>k&1)idx[leaf[k]]=-1;
		int sz=0;
		for(int k=0;k<n;k++)if(idx[k]==0)idx[k]=sz++;
		vector<int>nP;
		for(int k=0;k<P.size();k++)if(idx[k+1]!=-1)nP.push_back(idx[P[k]]);
		if(!naive(nP))win=true;
	}
	return memo[P]=win;
}
vector<int>G[2<<17];
int dfs(int u,int d)
{
	if(G[u].empty())return d%2==0;
	if(G[u].size()==1)return dfs(G[u][0],d+1);
	for(int v:G[u])
	{
		int t=dfs(v,1);
		if(t==2)return 2;
		if(t==0)return 0;
	}
	return 2;
}
bool solve(vector<int>P)
{
	for(int i=0;i<P.size();i++)assert(0<=P[i]&&P[i]<=i);
	if(P.empty())return false;
	const int n=P.size()+1;
	vector<int>deg(n,0);
	deg[0]=2;
	for(int p:P)deg[p]++;
	for(int i=0;i<n;i++)if(deg[i]==0)
	{
		int u=i,c=0;
		while(deg[u]<2)u=P[u-1],c++;
		if(c%2)return true;
	}
	return false;
	for(int i=0;i<n;i++)G[i].clear();
	for(int i=0;i<P.size();i++)G[P[i]].push_back(i+1);
	if(dfs(0,0)>=1)return false;
	else return true;
}
string dfs_hash(int u)
{
	if(G[u].empty())return "()";
	vector<string>t;
	for(int v:G[u])t.push_back(dfs_hash(v));
	sort(t.begin(),t.end());
	string s="(";
	for(string v:t)s+=v;
	s+=")";
	return s;
}
set<string>vis;
void gen(int id,vector<int>P)
{
	if(id==P.size())
	{
		const int n=P.size()+1;
		for(int i=0;i<n;i++)G[i].clear();
		for(int i=0;i<P.size();i++)G[P[i]].push_back(i+1);
		string S=dfs_hash(0);
		if(vis.find(S)!=vis.end())return;
		vis.insert(S);
		cout<<S<<endl;
		bool ans=naive(P);
		bool slv=solve(P);
		if(ans!=slv)
		//if(!ans)
		{
			for(int p:P)cout<<p<<" ";
			cout<<endl;
			cout<<ans<<" but "<<slv<<endl;
			//exit(0);
		}
		return;
	}
	for(int p=0;p<=id;p++)
	{
		P[id]=p;
		gen(id+1,P);
	}
}
int main()
{
	ios::sync_with_stdio(false);
	cin.tie(nullptr);
	/*
	for(int N=2;;N++)
	{
		vector<int>P(N-1);
		gen(0,P);
	}
	*/
	int T;cin>>T;
	for(;T--;)
	{
		int N;cin>>N;
		vector<int>P(N-1);
		for(int&p:P)cin>>p,p--;
		cout<<(solve(P)?"First\n":"Second\n");
	}
}
0