結果

問題 No.3508 OR Mapping
コンテスト
ユーザー Ian
提出日時 2026-04-19 18:00:47
言語 Python3
(3.14.3 + numpy 2.4.4 + scipy 1.17.1)
コンパイル:
python3 -mpy_compile _filename_
実行:
python3 _filename_
結果
TLE  
実行時間 -
コード長 2,264 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 687 ms
コンパイル使用メモリ 20,828 KB
実行使用メモリ 246,628 KB
最終ジャッジ日時 2026-04-19 18:02:07
合計ジャッジ時間 26,040 ms
ジャッジサーバーID
（参考情報） 		judge3_1 / judge2_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 2
other AC * 47 WA * 12 TLE * 6
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

import sys
from collections import deque

def main():
    data = sys.stdin.buffer.read().split()
    idx = 0
    N = int(data[idx]); idx += 1
    M = int(data[idx]); idx += 1
    K = int(data[idx]); idx += 1
    adj = [[] for _ in range(N+1)]
    radj = [[] for _ in range(N+1)]
    for _ in range(M):
        u = int(data[idx]); idx += 1
        v = int(data[idx]); idx += 1
        adj[u].append(v)
        radj[v].append(u)

    R = [False]*(N+1)
    R[1] = True
    stk = [1]
    while stk:
        u = stk.pop()
        for v in adj[u]:
            if not R[v]:
                R[v] = True
                stk.append(v)

    order = []
    visited = [False]*(N+1)
    visited[1] = True
    node_stack = [1]
    it_stack = [iter(adj[1])]
    while node_stack:
        found = False
        for v in it_stack[-1]:
            if R[v] and not visited[v]:
                visited[v] = True
                node_stack.append(v)
                it_stack.append(iter(adj[v]))
                found = True
                break
        if not found:
            order.append(node_stack.pop())
            it_stack.pop()

    comp = [0]*(N+1)
    c = 0
    for u in reversed(order):
        if comp[u] == 0:
            c += 1
            stk = [u]
            comp[u] = c
            while stk:
                x = stk.pop()
                for y in radj[x]:
                    if R[y] and comp[y] == 0:
                        comp[y] = c
                        stk.append(y)
    num_scc = c

    has_next = [False]*(num_scc+2)
    for u in range(1, N+1):
        if not R[u]: continue
        cu = comp[u]
        for v in adj[u]:
            if not R[v]: continue
            cv = comp[v]
            if cv == cu + 1:
                has_next[cu] = True

    for i in range(1, num_scc):
        if not has_next[i]:
            print("No"); return

    scc1 = comp[1]
    color = [-1]*(N+1)
    color[1] = 0
    q = deque([1])
    odd = False
    while q:
        u = q.popleft()
        cc = color[u]
        for v in adj[u]:
            if comp[v] != scc1: continue
            if color[v] == -1:
                color[v] = 1 - cc
                q.append(v)
            elif color[v] == cc:
                odd = True

    print("Yes" if odd else "No")

main()
0