結果

問題 No.2948 move move rotti
ユーザー rlangevin
提出日時 2024-10-25 21:59:26
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 1,261 ms / 4,000 ms
コード長 1,177 bytes
コンパイル時間 300 ms
コンパイル使用メモリ 82,380 KB
実行使用メモリ 170,484 KB
最終ジャッジ日時 2024-10-25 21:59:45
合計ジャッジ時間 12,855 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 i in range(N)]
for i in range(M):
    u, v = map(int, input().split())
    u, v = u - 1, v - 1
    G[u].append(v)
    G[v].append(u)

N2 = 1 << N
inf = 10 ** 18
ans = [[set() for _ in range(N)] for _ in range(K)] 
for xx, start in enumerate(X):
    start -= 1
    dp = [[inf] * N for _ in range(N2)]
    dp[1 << start][start] = 0
    ans[xx][start].add(0)
    for s in range(N2):
        for i in range(N):
            if (s >> i) & 1 == 0:
                continue
            if dp[s][i] == inf:
                continue
            cnt = 0
            for j in range(N):
                if (s >> j) & 1:
                    cnt += 1

            for j in G[i]:
                if (s >> j) & 1:
                    continue
                ns = s | 1 << j
                dp[ns][j] = min(dp[ns][j], dp[s][i] + 1)
                ans[xx][j].add(cnt)

for v in range(N):
    for j in range(N):
        flag = 1
        for i in range(K):
            if v not in ans[i][j]:
                flag = 0
                break
        if flag:
            print("Yes")
            exit()

print("No")
0