結果

問題 No.2948 move move rotti
ユーザー shimonohnishishimonohnishi
提出日時 2024-11-03 19:43:14
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 1,507 ms / 4,000 ms
コード長 1,327 bytes
コンパイル時間 493 ms
コンパイル使用メモリ 82,440 KB
実行使用メモリ 204,548 KB
最終ジャッジ日時 2024-11-03 19:43:30
合計ジャッジ時間 14,294 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 35 ms
53,944 KB
testcase_01 AC 35 ms
52,256 KB
testcase_02 AC 35 ms
52,484 KB
testcase_03 AC 529 ms
118,680 KB
testcase_04 AC 241 ms
125,904 KB
testcase_05 AC 38 ms
53,212 KB
testcase_06 AC 44 ms
61,956 KB
testcase_07 AC 238 ms
126,072 KB
testcase_08 AC 1,489 ms
204,548 KB
testcase_09 AC 793 ms
144,848 KB
testcase_10 AC 37 ms
52,320 KB
testcase_11 AC 42 ms
58,596 KB
testcase_12 AC 114 ms
77,992 KB
testcase_13 AC 175 ms
100,728 KB
testcase_14 AC 134 ms
93,656 KB
testcase_15 AC 247 ms
92,768 KB
testcase_16 AC 982 ms
161,216 KB
testcase_17 AC 503 ms
119,536 KB
testcase_18 AC 837 ms
157,004 KB
testcase_19 AC 479 ms
149,944 KB
testcase_20 AC 816 ms
181,900 KB
testcase_21 AC 1,507 ms
203,592 KB
testcase_22 AC 395 ms
155,804 KB
testcase_23 AC 1,248 ms
197,240 KB
testcase_24 AC 285 ms
133,268 KB
testcase_25 AC 480 ms
172,912 KB
testcase_26 AC 80 ms
76,536 KB
testcase_27 AC 35 ms
54,500 KB
testcase_28 AC 97 ms
76,920 KB
testcase_29 AC 35 ms
53,420 KB
testcase_30 AC 83 ms
76,780 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

# 各頂点について、その頂点に行くまでに通過した頂点の集合を記録する(bitDP)
# これによって、各頂点について何ターン目にその頂点に到達できるかを求めることができる

N, M, K = map(int, input().split())
X = set(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 turns_to_reach_vertices(x):
    """
    頂点xから各頂点に何ターン目に到達できるかを求める
    """
    dp = [[False] * N for _ in range(1 << N)]
    dp[1 << x][x] = True
    dist = [[] for _ in range(N)]
    for S in range(1 << N):
        for v in range(N):
            if not dp[S][v]:
                continue
            for u in G[v]:
                if S >> u & 1:
                    continue
                dp[S | 1 << u][u] = True
    for S in range(1 << N):
        for v in range(N):
            if dp[S][v]:
                dist[v].append(bin(S).count("1") - 1)
    dist = [set(d) for d in dist]
    return dist


# 各頂点で出会えるか？
ok = [set(range(N)) for _ in range(N)]
for x in X:
    k = turns_to_reach_vertices(x - 1)
    for v in range(N):
        ok[v] &= k[v]

print("Yes" if any(len(o) >= 1 for o in ok) else "No")
0