結果

問題 No.274 The Wall
ユーザー 前田悠真
提出日時 2025-06-09 17:50:12
言語 PyPy3
(7.3.15)
結果
RE  
実行時間 -
コード長 577 bytes
コンパイル時間 617 ms
コンパイル使用メモリ 82,212 KB
実行使用メモリ 78,980 KB
最終ジャッジ日時 2025-06-09 17:50:17
合計ジャッジ時間 4,460 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample RE * 4
other RE * 23
権限があれば一括ダウンロードができます

ソースコード

diff # 

n, m = map(int, input().split())

LR = [tuple(map(int, input().split())) for _ in range(n)]

from atcoder.twosat import TwoSAT

ts = TwoSAT(n)

for i in range(n):
  l, r = LR[i]
  l_, r_ = m-1-r, m-1-l
  for j in range(i+1, n):
    ll, rr = LR[j]
    if not (r<ll or rr<l) and not (r_<ll or rr<l_):
      print('NO')
      exit()
    if not (r<ll or rr<l):
      ts.add_clause(i, 0, j, 0)
      ts.add_clause(i, 1, j, 1)
    elif not (r_<ll or rr<l_):
      ts.add_clause(i, 0, j, 1)
      ts.add_clause(i, 1, j, 0)
  
if ts.satisfiable():
  print('YES')
else:
  print('NO')
0