結果

問題 No.2536 同値性と充足可能性
ユーザー ゼットゼット
提出日時 2023-11-11 07:57:24
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 476 ms / 2,000 ms
コード長 1,286 bytes
コンパイル時間 243 ms
コンパイル使用メモリ 82,048 KB
実行使用メモリ 95,988 KB
最終ジャッジ日時 2024-09-26 02:37:27
合計ジャッジ時間 5,930 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 42 ms
52,352 KB
testcase_01 AC 42 ms
52,096 KB
testcase_02 AC 42 ms
51,968 KB
testcase_03 AC 43 ms
52,224 KB
testcase_04 AC 42 ms
51,840 KB
testcase_05 AC 43 ms
52,480 KB
testcase_06 AC 42 ms
52,480 KB
testcase_07 AC 42 ms
52,736 KB
testcase_08 AC 42 ms
52,480 KB
testcase_09 AC 42 ms
52,096 KB
testcase_10 AC 42 ms
52,352 KB
testcase_11 AC 42 ms
51,840 KB
testcase_12 AC 41 ms
52,352 KB
testcase_13 AC 41 ms
52,736 KB
testcase_14 AC 41 ms
52,224 KB
testcase_15 AC 43 ms
52,480 KB
testcase_16 AC 42 ms
52,096 KB
testcase_17 AC 96 ms
76,848 KB
testcase_18 AC 96 ms
76,824 KB
testcase_19 AC 44 ms
52,480 KB
testcase_20 AC 43 ms
52,608 KB
testcase_21 AC 50 ms
59,392 KB
testcase_22 AC 54 ms
60,416 KB
testcase_23 AC 133 ms
77,856 KB
testcase_24 AC 132 ms
77,952 KB
testcase_25 AC 476 ms
92,164 KB
testcase_26 AC 474 ms
92,316 KB
testcase_27 AC 362 ms
92,748 KB
testcase_28 AC 463 ms
93,080 KB
testcase_29 AC 454 ms
95,988 KB
testcase_30 AC 335 ms
92,832 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

class unif:
  def __init__(self,n):
    self.pare=[-1]*n
    self.size=[1]*n
    self.count=[0]*n
    for i in range(n):
      if i%2==0:
        self.count[i]=1
  def root(self,x):
    while self.pare[x]!=-1:
      x=self.pare[x]
    return x
  def unite(self,u,v):
    rootu=self.root(u)
    rootv=self.root(v)
    if rootu!=rootv:
      if self.size[rootu]>=self.size[rootv]:
        self.pare[rootv]=rootu
        self.size[rootu]+=self.size[rootv]
        self.count[rootu]+=self.count[rootv]
      else:
        self.pare[rootu]=rootv
        self.size[rootv]+=self.size[rootu]
        self.count[rootv]+=self.count[rootu]
  def same(self,s,t):
    return self.root(s)==self.root(t)
N,M=map(int,input().split())
Z=unif(2*N)
for i in range(M):
  a,s,b=input().split()
  a=int(a)
  b=int(b)
  a-=1
  b-=1
  if s=='<==>':
    if Z.same(2*a,2*b+1)==True:
      print('No')
      exit()
    Z.unite(2*a,2*b)
    Z.unite(2*a+1,2*b+1)
  else:
    if Z.same(2*a,2*b)==True:
      print('No')
      exit()
    Z.unite(2*a,2*b+1)
    Z.unite(2*b,2*a+1)
A=set()
print('Yes')
result=[]
NG=set()
for i in range(N):
  if Z.count[Z.root(2*i)]>=(Z.size[Z.root(2*i)]+1)//2:
    if Z.root(2*i) in NG:
      continue
    result.append(i+1)
    NG.add(Z.root(2*i+1))
print(len(result))
print(*result)
0