結果

問題 No.2948 move move rotti
ユーザー 沙耶花沙耶花
提出日時 2024-10-25 21:30:59
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 290 ms / 4,000 ms
コード長 1,084 bytes
コンパイル時間 4,796 ms
コンパイル使用メモリ 266,488 KB
実行使用メモリ 40,320 KB
最終ジャッジ日時 2024-10-25 21:31:09
合計ジャッジ時間 9,317 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,812 KB
testcase_01 AC 2 ms
6,820 KB
testcase_02 AC 2 ms
6,820 KB
testcase_03 AC 177 ms
40,192 KB
testcase_04 AC 166 ms
40,192 KB
testcase_05 AC 2 ms
6,816 KB
testcase_06 AC 2 ms
6,820 KB
testcase_07 AC 151 ms
40,320 KB
testcase_08 AC 271 ms
40,320 KB
testcase_09 AC 182 ms
40,192 KB
testcase_10 AC 2 ms
6,820 KB
testcase_11 AC 2 ms
6,820 KB
testcase_12 AC 17 ms
7,040 KB
testcase_13 AC 107 ms
40,320 KB
testcase_14 AC 105 ms
40,320 KB
testcase_15 AC 196 ms
40,192 KB
testcase_16 AC 193 ms
40,192 KB
testcase_17 AC 195 ms
40,320 KB
testcase_18 AC 209 ms
40,192 KB
testcase_19 AC 131 ms
40,320 KB
testcase_20 AC 217 ms
40,192 KB
testcase_21 AC 258 ms
40,192 KB
testcase_22 AC 166 ms
40,192 KB
testcase_23 AC 290 ms
40,320 KB
testcase_24 AC 161 ms
40,192 KB
testcase_25 AC 177 ms
40,192 KB
testcase_26 AC 3 ms
6,816 KB
testcase_27 AC 2 ms
6,816 KB
testcase_28 AC 9 ms
6,824 KB
testcase_29 AC 2 ms
6,820 KB
testcase_30 AC 4 ms
6,820 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <stdio.h>
#include <atcoder/all>
#include <bits/stdc++.h>
using namespace std;
using namespace atcoder;
using mint = modint998244353;
#define rep(i,n) for (int i = 0; i < (n); ++i)
#define Inf32 1000000001
#define Inf64 1000000000000000000LL

int main(){
	
	int N,M,K;
	cin>>N>>M>>K;
	
	vector<int> x(K);
	rep(i,K){
		cin>>x[i];
		x[i]--;
	}
	vector f(N,vector<bool>(N,false));
	rep(i,M){
		int u,v;
		cin>>u>>v;
		u--,v--;
		f[u][v] = true;
		f[v][u] = true;
	}
	vector dp(N,vector(1<<N,vector<bool>(N,false)));
	rep(i,N){
		dp[i][1<<i][i] = true;
	}
	rep(i,N){
		rep(j,1<<N){
			rep(k,N){
				if(dp[i][j][k]==false)continue;
				rep(l,N){
					if((j>>l)&1)continue;
					if(!f[k][l])continue;
					dp[i][j|(1<<l)][l] = true;
				}
			}
		}
	}
	rep(i,N+1){
		{
			int ok = 1<<N;
			ok--;
			rep(j,K){
				int Or = 0;
				rep(k,1<<N){
					if(__builtin_popcount(k)!=i)continue;
					rep(l,N){
						if(dp[x[j]][k][l]){
							Or |= 1<<l;
						}
					}
				}
				ok &= Or;
			}
			if(ok){
				cout<<"Yes"<<endl;
				return 0;
			}
		}
		
	}
	cout<<"No"<<endl;
	
	return 0;
}
0