結果

問題 No.274 The Wall
コンテスト
ユーザー chocorusk
提出日時 2020-09-19 22:25:02
言語 PyPy3
(7.3.17)
コンパイル:
pypy3 -mpy_compile _filename_
実行:
pypy3 _filename_
結果
MLE  
実行時間 -
コード長 2,106 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 476 ms
コンパイル使用メモリ 85,552 KB
実行使用メモリ 678,116 KB
最終ジャッジ日時 2026-03-09 02:52:14
合計ジャッジ時間 5,368 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 22 MLE * 1
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

import sys
read=sys.stdin.buffer.read
readline=sys.stdin.buffer.readline
readlines=sys.stdin.buffer.readlines

def scc(g):
    n=len(g)
    cmp=[0]*n
    ord=[-1]*n
    fin=[False]*n
    low=[0]*n
    visited=[]
    num=0
    k=0
    for x in range(n):
        if ord[x]!=-1:
            continue
        st=[~x, x]
        while st:
            v=st.pop()
            if v>=0:
                if ord[v]!=-1:
                    continue
                ord[v]=num
                low[v]=num
                num+=1
                visited.append(v)
                for w in g[v]:
                    if ord[w]==-1:
                        st.append(~w)
                        st.append(w)
            else:
                v=~v
                if fin[v]:
                    continue
                fin[v]=True
                for w in g[v]:
                    if ord[w]<ord[v]:
                        if ord[w]<low[v]:
                            low[v]=ord[w]
                    elif ord[w]<n:
                        if low[w]<low[v]:
                            low[v]=low[w]
                if ord[v]==low[v]:
                    while True:
                        w=visited.pop()
                        cmp[w]=k
                        ord[w]=n
                        if w==v:
                            break
                    k+=1
    cmp=[k-1-x for x in cmp]
    return (k, cmp)
n, m=map(int, readline().split())
lr=list(map(int, read().split()))
l=lr[::2]
r=lr[1::2]
g=[[] for _ in range(2*n)]
for i in range(n):
    l1, r1=l[i], r[i]
    for j in range(i):
        l2, r2=l[j], r[j]
        if not (r1<l2 or r2<l1):
            g[i].append(j+n)
            g[j].append(i+n)
        if not (r1<m-1-r2 or m-1-l2<l1):
            g[i].append(j)
            g[j+n].append(i+n)
        if not (m-1-l1<l2 or r2<m-1-r1):
            g[i+n].append(j+n)
            g[j].append(i)
        if not (m-1-l1<m-1-r2 or m-1-l2<m-1-r1):
            g[i+n].append(j)
            g[j+n].append(i)
k, cmp=scc(g)
for x in range(n):
    if cmp[x]==cmp[x+n]:
        print("NO")
        exit()
print("YES")
0