結果
| 問題 | 
                            No.1865 Make Cycle
                             | 
                    
| コンテスト | |
| ユーザー | 
                             | 
                    
| 提出日時 | 2022-02-25 18:22:41 | 
| 言語 | PyPy3  (7.3.15)  | 
                    
| 結果 | 
                             
                                AC
                                 
                             
                            
                         | 
                    
| 実行時間 | 990 ms / 3,000 ms | 
| コード長 | 767 bytes | 
| コンパイル時間 | 138 ms | 
| コンパイル使用メモリ | 82,156 KB | 
| 実行使用メモリ | 213,120 KB | 
| 最終ジャッジ日時 | 2024-07-18 18:32:08 | 
| 合計ジャッジ時間 | 15,625 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge3 / judge1 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 4 | 
| other | AC * 20 | 
ソースコード
from sys import setrecursionlimit
setrecursionlimit(10 ** 6)
def DFS(v):
    seen[v] = 1
    for i in g[v]:
        if seen[i] == 1 or (seen[i] == 0 and DFS(i)):
            return True
    seen[v] = 2
    return False
n, q = map(int, input().split())
edges = []
for i in range(q):
    a, b = map(int, input().split())
    edges.append((a-1, b-1))
left, right = -1, q + 1
while abs(left - right) > 1:
    mid = (right + left) // 2
    g = [[] for _ in range(n)]
    for a, b in edges[:mid]:
        g[a].append(b)
    seen = [0] * n
    has_cycle = False
    for i in range(n):
        if seen[i] == 0 and DFS(i):
            has_cycle = True
    if has_cycle:
        right = mid
    else:
        left = mid
ans = right
print(ans if ans != q + 1 else -1)