結果

問題 No.2293 無向辺 2-SAT
ユーザー chineristACchineristAC
提出日時 2023-05-05 22:04:42
言語 PyPy3
(7.3.15)
結果
WA  
実行時間 -
コード長 3,071 bytes
コンパイル時間 227 ms
コンパイル使用メモリ 82,048 KB
実行使用メモリ 194,216 KB
最終ジャッジ日時 2024-11-23 07:51:50
合計ジャッジ時間 45,949 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 53 ms
56,064 KB
testcase_01 AC 62 ms
69,248 KB
testcase_02 AC 53 ms
56,064 KB
testcase_03 WA -
testcase_04 AC 519 ms
88,172 KB
testcase_05 AC 480 ms
83,472 KB
testcase_06 AC 463 ms
83,232 KB
testcase_07 AC 259 ms
85,888 KB
testcase_08 AC 462 ms
87,128 KB
testcase_09 AC 443 ms
86,916 KB
testcase_10 WA -
testcase_11 AC 528 ms
88,140 KB
testcase_12 AC 474 ms
86,700 KB
testcase_13 WA -
testcase_14 WA -
testcase_15 WA -
testcase_16 AC 508 ms
88,176 KB
testcase_17 AC 637 ms
109,108 KB
testcase_18 AC 480 ms
87,008 KB
testcase_19 AC 306 ms
82,228 KB
testcase_20 WA -
testcase_21 WA -
testcase_22 WA -
testcase_23 WA -
testcase_24 WA -
testcase_25 WA -
testcase_26 WA -
testcase_27 WA -
testcase_28 WA -
testcase_29 WA -
testcase_30 WA -
testcase_31 WA -
testcase_32 WA -
testcase_33 WA -
testcase_34 WA -
testcase_35 WA -
testcase_36 WA -
testcase_37 WA -
testcase_38 WA -
testcase_39 WA -
testcase_40 WA -
testcase_41 WA -
testcase_42 WA -
testcase_43 WA -
testcase_44 WA -
testcase_45 WA -
testcase_46 WA -
testcase_47 WA -
testcase_48 WA -
testcase_49 WA -
testcase_50 WA -
testcase_51 WA -
testcase_52 WA -
testcase_53 WA -
testcase_54 WA -
testcase_55 WA -
権限があれば一括ダウンロードができます

ソースコード

diff # 

import sys,random,bisect
from collections import deque,defaultdict
from heapq import heapify,heappop,heappush
from itertools import permutations
from math import gcd,log

input = lambda :sys.stdin.readline().rstrip()
mi = lambda :map(int,input().split())
li = lambda :list(mi())

class UnionFindVerSize():
    def __init__(self, N):
        self._parent = [n for n in range(0, N)]
        self._size = [1] * N
        self.group = N

    def find_root(self, x):
        if self._parent[x] == x: return x
        self._parent[x] = self.find_root(self._parent[x])
        return self._parent[x]

    def unite(self, x, y):
        gx = self.find_root(x)
        gy = self.find_root(y)
        if gx == gy: return

        self.group -= 1

        if self._size[gx] < self._size[gy]:
            self._parent[gx] = gy
            self._size[gy] += self._size[gx]
        else:
            self._parent[gy] = gx
            self._size[gx] += self._size[gy]

    def get_size(self, x):
        return self._size[self.find_root(x)]

    def is_same_group(self, x, y):
        return self.find_root(x) == self.find_root(y)


N,Q = mi()

parent = [(i,-1) for i in range(N)]
sz = [1] * N
contradict = False
free = N

parent_change = []
sz_change = []
contradict_change = []
free_change = []

def calc_val(v):
    res = 0
    while parent[v][1]!=-1:
        res ^= parent[v][1]
        v = parent[v][0]
    return res

def find_root(v):
    while parent[v][1]!=-1:
        v = parent[v][0]
    return v

def add_query(t,u,v,p):
    global contradict,free
    pu,pv = find_root(u),find_root(v)
    cu,cv = calc_val(u),calc_val(v)
    if pu == pv:
        if cu!=cv^p:
            contradict_change.append((t,contradict,True))
            contradict = True
        return 

    u,v = pu,pv
    p = cu^cv^p

    if sz[u] > sz[v]:
        u,v = v,u

    parent_change.append((t,u,parent[u],(v,p)))
    parent[u] = (v,p)
    sz_change.append((t,v,sz[v],sz[v]+sz[u]))
    sz[v] += sz[u]
    free_change.append((t,free,free-1))
    free -= 1

def undo_query(t):
    global contradict,free
    while parent_change and parent_change[-1][0] == t:
        _,v,pre,now = parent_change.pop()
        parent[v] = pre
    while sz_change and sz_change[-1][0] == t:
        _,v,pre,now = sz_change.pop()
        sz[v] = pre
    while contradict_change and contradict_change[-1][0] == t:
        _,pre,now = contradict_change.pop()
        contradict = pre
    while free_change and free_change[-1][0] == t:
        _,pre,now = free_change.pop()
        free = pre

time_stack = []
for tim in range(Q):
    t,*query = mi()
    if t == 1:
        u,v = query
        u,v = u-1,v-1
        if u!=v:
            add_query(tim,u,v,1)
            time_stack.append(tim)
    elif t == 2:
        u,v = query
        u,v = u-1,v-1
        if u!=v:
            add_query(tim,u,v,0)
            time_stack.append(tim)
    else:
        while time_stack:
            undo_query(time_stack.pop())
    #print(parent)
    
    if contradict:
        print(0)
    else:
        print(pow(2,free,998244353))
0