結果

問題 No.274 The Wall
ユーザー chocoruskchocorusk
提出日時 2020-09-20 00:39:55
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 161 ms / 2,000 ms
コード長 2,224 bytes
コンパイル時間 190 ms
コンパイル使用メモリ 82,528 KB
実行使用メモリ 77,636 KB
最終ジャッジ日時 2024-06-23 22:55:12
合計ジャッジ時間 3,459 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 44 ms
52,668 KB
testcase_01 AC 44 ms
54,076 KB
testcase_02 AC 44 ms
53,324 KB
testcase_03 AC 44 ms
59,660 KB
testcase_04 AC 43 ms
53,392 KB
testcase_05 AC 41 ms
53,940 KB
testcase_06 AC 43 ms
54,036 KB
testcase_07 AC 45 ms
52,824 KB
testcase_08 AC 43 ms
53,960 KB
testcase_09 AC 41 ms
53,016 KB
testcase_10 AC 43 ms
52,392 KB
testcase_11 AC 46 ms
60,236 KB
testcase_12 AC 70 ms
67,316 KB
testcase_13 AC 62 ms
64,912 KB
testcase_14 AC 97 ms
77,068 KB
testcase_15 AC 116 ms
77,228 KB
testcase_16 AC 46 ms
60,552 KB
testcase_17 AC 45 ms
59,940 KB
testcase_18 AC 47 ms
59,988 KB
testcase_19 AC 144 ms
77,536 KB
testcase_20 AC 148 ms
77,252 KB
testcase_21 AC 149 ms
77,624 KB
testcase_22 AC 157 ms
77,584 KB
testcase_23 AC 153 ms
77,352 KB
testcase_24 AC 157 ms
77,324 KB
testcase_25 AC 161 ms
77,636 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]
        dame=0
        if not (r1<l2 or r2<l1):
            g[i].append(j+n)
            g[j].append(i+n)
            dame+=1
        if not (r1<m-1-r2 or m-1-l2<l1):
            g[i].append(j)
            g[j+n].append(i+n)
            dame+=1
        if dame==2:
            print("NO")
            exit()
        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