結果
問題 | No.3031 曲面の向き付け |
ユーザー |
|
提出日時 | 2025-02-22 19:49:53 |
言語 | PyPy3 (7.3.15) |
結果 |
AC
|
実行時間 | 654 ms / 2,000 ms |
コード長 | 3,034 bytes |
コンパイル時間 | 331 ms |
コンパイル使用メモリ | 82,044 KB |
実行使用メモリ | 204,780 KB |
最終ジャッジ日時 | 2025-02-22 19:50:08 |
合計ジャッジ時間 | 14,772 ms |
ジャッジサーバーID (参考情報) |
judge3 / judge1 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 4 |
other | AC * 29 |
ソースコード
import collections,sys,math,functools,operator,itertools,bisect,heapq,decimal,string,time,random#https://github.com/shakayami/ACL-for-python/blob/master/two_sat.pydef two_sat(n,clause):answer=[0]*nedges=[]N=2*nfor s in clause:i,f,j,g=sedges.append((2*i+(0 if f else 1),2*j+(1 if g else 0)))edges.append((2*j+(0 if g else 1),2*i+(1 if f else 0)))M=len(edges)start=[0]*(N+1)elist=[0]*Mfor e in edges:start[e[0]+1]+=1for i in range(1,N+1):start[i]+=start[i-1]counter=start[:]for e in edges:elist[counter[e[0]]]=e[1]counter[e[0]]+=1visited=[]low=[0]*NOrd=[-1]*Nids=[0]*NNG=[0,0]def dfs(v):stack=[(v,-1,0),(v,-1,1)]while stack:v,bef,t=stack.pop()if t:if bef!=-1 and Ord[v]!=-1:low[bef]=min(low[bef],Ord[v])stack.pop()continuelow[v]=NG[0]Ord[v]=NG[0]NG[0]+=1visited.append(v)for i in range(start[v],start[v+1]):to=elist[i]if Ord[to]==-1:stack.append((to,v,0))stack.append((to,v,1))else:low[v]=min(low[v],Ord[to])else:if low[v]==Ord[v]:while(True):u=visited.pop()Ord[u]=Nids[u]=NG[1]if u==v:breakNG[1]+=1low[bef]=min(low[bef],low[v])for i in range(N):if Ord[i]==-1:dfs(i)for i in range(N):ids[i]=NG[1]-1-ids[i]for i in range(n):if ids[2*i]==ids[2*i+1]:return Noneanswer[i]=(ids[2*i]<ids[2*i+1])return answer#sys.setrecursionlimit(10**9)#sys.set_int_max_str_digits(0)input = sys.stdin.readlinen = int(input())#alist = list(map(int,input().split()))#alist = []#s = input()#n,m = map(int,input().split())#for i in range(n):# alist.append(list(map(int,input().split())))co = collections.defaultdict(list)x = 1 << 30for i in range(n):a,b,c = map(int,input().split())co[a*x+b].append(i)co[b*x+c].append(i)co[a*x+c].append(~i)cl = []for i in co:if len(co[i]) >= 3:exit(print('NO'))if len(co[i]) == 2:z = 0if co[i][0] < 0:co[i][0] = ~co[i][0]z ^= 1if co[i][1] < 0:co[i][1] = ~co[i][1]z ^= 1if z == 1:cl.append((co[i][0],True,co[i][1],False))cl.append((co[i][0],False,co[i][1],True))else:cl.append((co[i][0],True,co[i][1],True))cl.append((co[i][0],False,co[i][1],False))ans = two_sat(n,cl)if ans != None:print('YES')else:print('NO')