結果

問題 No.274 The Wall
ユーザー sasa8uyauyasasa8uyauya
提出日時 2024-09-05 10:45:17
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 415 ms / 2,000 ms
コード長 2,420 bytes
コンパイル時間 329 ms
コンパイル使用メモリ 82,492 KB
実行使用メモリ 79,344 KB
最終ジャッジ日時 2024-09-05 10:45:23
合計ジャッジ時間 5,966 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 41 ms
53,744 KB
testcase_01 AC 39 ms
52,944 KB
testcase_02 AC 40 ms
53,676 KB
testcase_03 AC 66 ms
71,076 KB
testcase_04 AC 39 ms
52,812 KB
testcase_05 AC 38 ms
53,824 KB
testcase_06 AC 40 ms
54,240 KB
testcase_07 AC 38 ms
53,168 KB
testcase_08 AC 40 ms
54,432 KB
testcase_09 AC 40 ms
53,944 KB
testcase_10 AC 39 ms
53,812 KB
testcase_11 AC 66 ms
71,080 KB
testcase_12 AC 288 ms
77,796 KB
testcase_13 AC 67 ms
68,716 KB
testcase_14 AC 145 ms
76,952 KB
testcase_15 AC 247 ms
78,516 KB
testcase_16 AC 82 ms
77,248 KB
testcase_17 AC 109 ms
77,632 KB
testcase_18 AC 66 ms
71,276 KB
testcase_19 AC 353 ms
79,344 KB
testcase_20 AC 406 ms
79,184 KB
testcase_21 AC 380 ms
79,284 KB
testcase_22 AC 401 ms
79,060 KB
testcase_23 AC 415 ms
78,992 KB
testcase_24 AC 395 ms
78,916 KB
testcase_25 AC 398 ms
79,096 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

class SCC():
  def __init__(self,n):
    self.n=n
    self.e=[[] for i in range(self.n)]
    self.re=[[] for i in range(self.n)]
    return
  
  def add_edge(self,s,t):
    self.e[s]+=[t]
    self.re[t]+=[s]
    return
  
  def scc(self):
    v=[0]*self.n
    g=[0]*self.n
    o=[]
    for i in range(self.n):
      if v[i]==0:
        q=[i]
        while len(q)>0:
          s=q[-1]
          v[s]=1
          while g[s]<len(self.e[s]):
            t=self.e[s][g[s]]
            if v[t]==0:
              break
            g[s]+=1
          if g[s]<len(self.e[s]):
            q+=[t]
          else:
            o+=[s]
            q.pop()
    c=[-1]*self.n
    p=0
    for i in o[::-1]:
      if c[i]==-1:
        s=i
        c[s]=p
        q=[s]
        for s in q:
          for t in self.re[s]:
            if c[t]==-1:
              c[t]=p
              q+=[t]
        p+=1
    E=[[] for i in range(p)]
    for s in range(self.n):
      for t in self.e[s]:
        if c[s]!=c[t]:
          E[c[s]]+=[c[t]]
    d=[0]*p
    for s in range(p):
      for t in E[s]:
        d[t]+=1
    ts=[]
    q=[i for i in range(p) if d[i]==0]
    for s in q:
      ts+=[s]
      for t in E[s]:
        d[t]-=1
        if d[t]==0:
          q+=[t]
    d=[0]*p
    for i in range(p):
      d[ts[i]]=i
    l=[[] for i in range(p)]
    for i in range(self.n):
      l[d[c[i]]]+=[i]
    return l


class TwoSAT():
  def __init__(self,n):
    self.n=n
    self.g=SCC(self.n*2)
    return
  
  def add_clause(self,i,fi,j,fj):
    self.g.add_edge(i+self.n*(fi^1),j+self.n*(fj^0))
    self.g.add_edge(j+self.n*(fj^1),i+self.n*(fi^0))
    return
  
  def satisfiable(self):
    l=self.g.scc()
    self.c=[0]*n*2
    for i in range(len(l)):
      for j in l[i]:
        self.c[j]=i
    return all(self.c[i]!=self.c[i+self.n] for i in range(self.n))
  
  def answer(self):
    return [int(self.c[i]<self.c[i+self.n]) for i in range(self.n)]


n,m=map(int,input().split())
w=[tuple(map(int,input().split())) for i in range(n)]
g=TwoSAT(n)
for i in range(n-1):
  for j in range(i+1,n):
    for fi in range(2):
      li,ri=w[i]
      if fi:
        li,ri=m-1-ri,m-1-li
      f=0
      for fj in range(2):
        lj,rj=w[j]
        if fj:
          lj,rj=m-1-rj,m-1-lj
        if min(ri,rj)-max(li,lj)+1>0:
          g.add_clause(i,fi^1,j,fj^1)
          f+=1
      if f==2:
        print("NO")
        exit()
print(["NO","YES"][g.satisfiable()])
0