結果

問題 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
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

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")
0