結果

問題 No.2948 move move rotti
コンテスト
ユーザー tassei903
提出日時 2024-10-25 22:44:02
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 756 ms / 4,000 ms
コード長 1,245 bytes
コンパイル時間 313 ms
コンパイル使用メモリ 82,688 KB
実行使用メモリ 169,912 KB
最終ジャッジ日時 2024-10-25 22:44:13
合計ジャッジ時間 11,746 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 28
権限があれば一括ダウンロードができます

ソースコード

diff # 

import sys
input = lambda :sys.stdin.readline()[:-1]
ni = lambda :int(input())
na = lambda :list(map(int,input().split()))
yes = lambda :print("yes");Yes = lambda :print("Yes");YES = lambda : print("YES")
no = lambda :print("no");No = lambda :print("No");NO = lambda : print("NO")
#######################################################################

n,m,k = na()
x = [x-1 for x in na()]
G = [[] for i in range(n)]
for _ in range(m):
    u,v = na()
    u -= 1
    v -= 1
    G[u].append(v)
    G[v].append(u)
g = [[0 for j in range(n)] for i in range(n)]

for i in range(n):
    dp = [[0] * n for _ in range(1<<n)]
    dp[1<<i][i] = 1
    for bit in range(1<<n):
        for fr in range(n):
            if dp[bit][fr] == 0:
                continue
            for to in G[fr]:
                if bit >> to & 1:continue
                nbit = bit | (1 << to)
                dp[nbit][to] |= dp[bit][fr] << 1
    # print(dp)
    for bit in range(1 << n):
        for j in range(n):
            g[i][j] |= dp[bit][j]

# for i in range(n):
#     for j in range(n):
#         print(i, j, bin(g[i][j]))
for v in range(n):
    y = (1 << n) - 1
    for i in range(k):
        y &= g[x[i]][v]
    
    if y:
        Yes()
        break
else:
    No()
0