結果

問題 No.2948 move move rotti
ユーザー detteiuu
提出日時 2024-10-25 21:52:39
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 808 ms / 4,000 ms
コード長 726 bytes
コンパイル時間 344 ms
コンパイル使用メモリ 82,220 KB
実行使用メモリ 163,384 KB
最終ジャッジ日時 2024-10-25 21:52:49
合計ジャッジ時間 8,960 ms
ジャッジサーバーID
(参考情報)
judge1 / judge3
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
sample AC * 3
other AC * 28
権限があれば一括ダウンロードができます

ソースコード

diff #

N, M, K = map(int, input().split())
X = list(map(int, input().split()))
G = [[] for _ in range(N)]
for _ in range(M):
    u, v = map(int, input().split())
    G[u-1].append(v-1)
    G[v-1].append(u-1)

def DP(start):
    dp = [[False]*N for _ in range(1<<N)]
    dp[1<<start][start] = True
    move = [0]*N
    for i in range(1<<N):
        for j in range(N):
            if not dp[i][j]:
                continue
            move[i.bit_count()-1] |= 1<<j
            for v in G[j]:
                if 1<<j & i and not 1<<v & i:
                    dp[i|1<<v][v] = True
    return move

ans = [(1<<N)-1]*N
for x in X:
    move = DP(x-1)
    for i in range(N):
        ans[i] &= move[i]

print("Yes" if max(ans) >= 1 else "No")
0