結果
| 問題 | No.2948 move move rotti | 
| コンテスト | |
| ユーザー |  Michirakara | 
| 提出日時 | 2024-07-03 06:43:38 | 
| 言語 | PyPy3 (7.3.15) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 3,503 ms / 4,000 ms | 
| コード長 | 686 bytes | 
| コンパイル時間 | 473 ms | 
| コンパイル使用メモリ | 82,032 KB | 
| 実行使用メモリ | 305,428 KB | 
| 最終ジャッジ日時 | 2024-07-03 06:44:40 | 
| 合計ジャッジ時間 | 45,032 ms | 
| ジャッジサーバーID (参考情報) | judge1 / judge3 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 28 | 
ソースコード
n,m,k=map(int,input().split())
x=[*map(lambda a:int(a)-1,input().split())]
g=[[] for _ in range(n)]
for i in range(m):
	u,v=map(int,input().split())
	g[u-1].append(v-1)
	g[v-1].append(u-1)
f=[[1]*n for _ in range(n)]
for e in x:
	dp=[[0]*n for _ in range(1<<n)]
	dp[1<<e][e]=1
	for i in range(n):
		f2=[0]*n
		for S in range(1<<n):
			for p in range(n):
				if dp[S][p]:f2[p]=1
		for p in range(n):f[i][p]&=f2[p]
		ndp=[[0]*n for _ in range(1<<n)]
		for S in range(1<<n):
			for p in range(n):
				if not dp[S][p]:continue
				for nx in g[p]:
					if (S>>nx)&1:continue
					ndp[S|(1<<nx)][nx]=1
		dp=ndp
for vec in f:
	for flg in vec:
		if flg:
			print("Yes")
			exit()
print("No")
            
            
            
        