結果

問題 No.274 The Wall
ユーザー chocoruskchocorusk
提出日時 2020-09-19 22:25:02
言語 PyPy3
(7.3.15)
結果
TLE  
実行時間 -
コード長 2,106 bytes
コンパイル時間 179 ms
コンパイル使用メモリ 82,232 KB
実行使用メモリ 657,892 KB
最終ジャッジ日時 2024-06-23 20:10:11
合計ジャッジ時間 7,422 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 43 ms
53,400 KB
testcase_01 AC 43 ms
54,772 KB
testcase_02 AC 44 ms
53,224 KB
testcase_03 AC 662 ms
374,796 KB
testcase_04 AC 40 ms
53,344 KB
testcase_05 AC 40 ms
53,360 KB
testcase_06 AC 42 ms
53,624 KB
testcase_07 AC 43 ms
53,476 KB
testcase_08 AC 43 ms
53,376 KB
testcase_09 AC 42 ms
53,628 KB
testcase_10 AC 44 ms
52,532 KB
testcase_11 TLE -
testcase_12 AC 74 ms
66,440 KB
testcase_13 AC 58 ms
64,952 KB
testcase_14 AC 92 ms
75,432 KB
testcase_15 AC 115 ms
77,096 KB
testcase_16 AC 541 ms
260,864 KB
testcase_17 AC 521 ms
265,756 KB
testcase_18 AC 554 ms
265,440 KB
testcase_19 AC 139 ms
77,644 KB
testcase_20 AC 137 ms
77,432 KB
testcase_21 AC 138 ms
77,268 KB
testcase_22 AC 137 ms
77,212 KB
testcase_23 AC 144 ms
77,668 KB
testcase_24 AC 147 ms
77,408 KB
testcase_25 AC 144 ms
77,536 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

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