結果

問題 No.2202 贅沢てりたまチキン
ユーザー meruuu61779999
提出日時 2023-02-03 21:40:13
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 549 ms / 2,000 ms
コード長 3,125 bytes
コンパイル時間 148 ms
コンパイル使用メモリ 82,272 KB
実行使用メモリ 84,148 KB
最終ジャッジ日時 2024-07-02 19:29:50
合計ジャッジ時間 4,060 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 28
権限があれば一括ダウンロードができます

ソースコード

diff # 

import sys
from collections import deque

inputs = sys.stdin.readline


class dsu():
    """Union-Find

    syakayamiさん作、PythonバージョンのACLよりコピペしたものです。
    使わせていただきありがとうございます！
    https://github.com/shakayami/ACL-for-python/blob/master/dsu.py

    ・使い方(個人的まとめ):
        uf=dsu(N): 初期化(Nは頂点の数)
        uf.merge(a,b): 頂点aがある連結成分と頂点bがある連結成分を合体します。
        uf.same(a,b): 頂点a,bが同じ連結成分ならTrue, そうでないならFalseを返します。
        uf.leader(a): 頂点aの連結成分の代表元を返します。
        uf.size(a): 頂点aの連結成分にある超点数を返します(頂点a自身を含みます)。
        uf.groups(): グラフの連結成分の情報を答えます。

    ・使い方URL
        https://github.com/shakayami/ACL-for-python/wiki/dsu
    """
    n = 1
    parent_or_size = [-1 for i in range(n)]

    def __init__(self, N):
        self.n = N
        self.parent_or_size = [-1 for i in range(N)]

    def merge(self, a, b):
        assert 0 <= a < self.n, "0<=a<n,a={0},n={1}".format(a, self.n)
        assert 0 <= b < self.n, "0<=b<n,b={0},n={1}".format(b, self.n)
        x = self.leader(a)
        y = self.leader(b)
        if x == y:
            return x
        if (-self.parent_or_size[x] < -self.parent_or_size[y]):
            x, y = y, x
        self.parent_or_size[x] += self.parent_or_size[y]
        self.parent_or_size[y] = x
        return x

    def same(self, a, b):
        assert 0 <= a < self.n, "0<=a<n,a={0},n={1}".format(a, self.n)
        assert 0 <= b < self.n, "0<=b<n,b={0},n={1}".format(b, self.n)
        return self.leader(a) == self.leader(b)

    def leader(self, a):
        assert 0 <= a < self.n, "0<=a<n,a={0},n={1}".format(a, self.n)
        if (self.parent_or_size[a] < 0):
            return a
        self.parent_or_size[a] = self.leader(self.parent_or_size[a])
        return self.parent_or_size[a]

    def size(self, a):
        assert 0 <= a < self.n, "0<=a<n,a={0},n={1}".format(a, self.n)
        return -self.parent_or_size[self.leader(a)]

    def groups(self):
        leader_buf = [0 for i in range(self.n)]
        group_size = [0 for i in range(self.n)]
        for i in range(self.n):
            leader_buf[i] = self.leader(i)
            group_size[leader_buf[i]] += 1
        result = [[] for i in range(self.n)]
        for i in range(self.n):
            result[leader_buf[i]].append(i)
        result2 = []
        for i in range(self.n):
            if len(result[i]) > 0:
                result2.append(result[i])
        return result2


def main():
    N, M = map(int, inputs().split())
    uf = dsu(N * 2)
    for _ in range(M):
        a, b = map(int, inputs().split())
        a, b = a - 1, b - 1
        a2, b2 = a + N, b + N
        uf.merge(a, b2)
        uf.merge(b, a2)

    for i in range(N):
        if not uf.same(i, i + N):
            print('No')
            return
    print('Yes')


if __name__ == "__main__":
    main()
0