結果

問題 No.2910 単体ホモロジー入門
ユーザー miya145592miya145592
提出日時 2024-10-04 22:25:58
言語 PyPy3
(7.3.15)
結果
WA  
実行時間 -
コード長 1,893 bytes
コンパイル時間 139 ms
コンパイル使用メモリ 81,988 KB
実行使用メモリ 54,612 KB
最終ジャッジ日時 2024-10-04 22:26:01
合計ジャッジ時間 2,809 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 35 ms
52,876 KB
testcase_01 AC 32 ms
52,648 KB
testcase_02 AC 32 ms
52,884 KB
testcase_03 AC 34 ms
53,072 KB
testcase_04 AC 32 ms
53,000 KB
testcase_05 AC 32 ms
53,932 KB
testcase_06 AC 32 ms
53,140 KB
testcase_07 AC 34 ms
54,328 KB
testcase_08 AC 33 ms
54,376 KB
testcase_09 AC 33 ms
53,660 KB
testcase_10 AC 32 ms
52,964 KB
testcase_11 AC 34 ms
53,116 KB
testcase_12 AC 32 ms
53,276 KB
testcase_13 AC 35 ms
52,852 KB
testcase_14 AC 33 ms
53,600 KB
testcase_15 AC 34 ms
54,456 KB
testcase_16 AC 32 ms
53,324 KB
testcase_17 AC 32 ms
53,908 KB
testcase_18 AC 33 ms
53,376 KB
testcase_19 AC 34 ms
54,440 KB
testcase_20 AC 34 ms
53,804 KB
testcase_21 AC 38 ms
53,520 KB
testcase_22 AC 33 ms
52,860 KB
testcase_23 AC 32 ms
52,600 KB
testcase_24 AC 33 ms
52,828 KB
testcase_25 AC 32 ms
53,416 KB
testcase_26 AC 32 ms
53,800 KB
testcase_27 AC 32 ms
52,684 KB
testcase_28 AC 32 ms
53,908 KB
testcase_29 AC 32 ms
54,120 KB
testcase_30 AC 33 ms
53,668 KB
testcase_31 AC 32 ms
52,340 KB
testcase_32 AC 32 ms
53,760 KB
testcase_33 AC 33 ms
53,732 KB
testcase_34 WA -
testcase_35 AC 34 ms
53,444 KB
testcase_36 AC 33 ms
53,688 KB
testcase_37 AC 33 ms
54,076 KB
testcase_38 AC 33 ms
54,612 KB
testcase_39 AC 34 ms
53,380 KB
testcase_40 AC 34 ms
53,196 KB
testcase_41 AC 35 ms
53,064 KB
testcase_42 AC 33 ms
52,624 KB
testcase_43 AC 33 ms
53,076 KB
testcase_44 AC 33 ms
53,092 KB
testcase_45 AC 35 ms
54,228 KB
testcase_46 AC 32 ms
53,140 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

class UnionFind:
    def __init__(self, n, w=None):
        self.par = [-1]*n
        self.rank = [0]*n
        self.siz = [1]*n
        self.cnt = n
        self.min_node = [i for i in range(n)]
        self.weight = w if w else [1]*n

    def root(self, x):
        if self.par[x] == -1:
            return x
        self.par[x] = self.root(self.par[x])
        return self.par[x]

    def issame(self, x, y):
        return self.root(x) == self.root(y)
            
    def unite(self, x, y):
        px = self.root(x)
        py = self.root(y)
        if px == py:
            return False
        if self.rank[px] < self.rank[py]:
            px, py = py, px
        self.par[py] = px
        if self.rank[px] == self.rank[py]:
            self.rank[px] += 1
        self.siz[px] += self.siz[py]
        self.cnt -= 1
        self.min_node[px] = min(self.min_node[px], self.min_node[py])
        self.weight[px] += self.weight[py]
        return False

    def count(self):
        return self.cnt

    def min(self, x):
        return self.min_node[self.root(x)]

    def getweight(self, x):
        return self.weight[self.root(x)]
    
    def size(self, x):
        return self.siz[self.root(x)]

import itertools    
import sys
input = sys.stdin.readline
N, M = map(int, input().split())
IJ = [list(map(int, input().split())) for _ in range(M)]
V = list(map(int, input().split()))
V = set(V)
if N<=2:
    print("No")
    exit()
for k in range(3, N+1):
    for l in itertools.combinations(range(N), k):
        s = set(l)
        if s==V:
            continue
        UF = UnionFind(N)
        for i, j in IJ:
            if i in s and j in s:
                if UF.issame(i, j):
                    if UF.size(i)==k:
                        print("Yes")
                        exit()
                    else:
                        break
                UF.unite(i, j)
print("No")
0