結果

問題 No.2914 正閉路検出
ユーザー rlangevinrlangevin
提出日時 2024-10-04 23:14:22
言語 PyPy3
(7.3.15)
結果
WA  
実行時間 -
コード長 2,559 bytes
コンパイル時間 144 ms
コンパイル使用メモリ 82,304 KB
実行使用メモリ 112,228 KB
最終ジャッジ日時 2024-10-04 23:14:40
合計ジャッジ時間 14,551 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 38 ms
53,888 KB
testcase_01 AC 37 ms
53,888 KB
testcase_02 AC 39 ms
54,372 KB
testcase_03 AC 42 ms
54,272 KB
testcase_04 WA -
testcase_05 AC 38 ms
54,448 KB
testcase_06 AC 39 ms
53,888 KB
testcase_07 AC 37 ms
54,400 KB
testcase_08 AC 39 ms
54,528 KB
testcase_09 AC 41 ms
54,016 KB
testcase_10 WA -
testcase_11 AC 38 ms
54,300 KB
testcase_12 AC 39 ms
53,888 KB
testcase_13 WA -
testcase_14 WA -
testcase_15 WA -
testcase_16 WA -
testcase_17 WA -
testcase_18 WA -
testcase_19 AC 74 ms
77,584 KB
testcase_20 AC 92 ms
80,964 KB
testcase_21 AC 69 ms
76,544 KB
testcase_22 AC 93 ms
80,096 KB
testcase_23 WA -
testcase_24 WA -
testcase_25 WA -
testcase_26 WA -
testcase_27 AC 115 ms
82,664 KB
testcase_28 AC 191 ms
84,728 KB
testcase_29 AC 289 ms
86,784 KB
testcase_30 AC 90 ms
78,704 KB
testcase_31 WA -
testcase_32 WA -
testcase_33 WA -
testcase_34 WA -
testcase_35 WA -
testcase_36 WA -
testcase_37 WA -
testcase_38 AC 109 ms
85,312 KB
testcase_39 WA -
testcase_40 WA -
testcase_41 WA -
testcase_42 WA -
testcase_43 WA -
testcase_44 WA -
testcase_45 WA -
testcase_46 WA -
testcase_47 WA -
testcase_48 WA -
testcase_49 WA -
testcase_50 WA -
testcase_51 AC 136 ms
83,796 KB
testcase_52 WA -
testcase_53 WA -
testcase_54 WA -
権限があれば一括ダウンロードができます

ソースコード

diff # 

import sys
input = sys.stdin.readline

# https://at274.hatenablog.com/entry/2018/02/03/140504
class WeightedUnionFind:
    def __init__(self, n):
        self.par = [i for i in range(n+1)]
        self.rank = [0] * (n+1)
        # 根への距離を管理
        self.weight = [0] * (n+1)

    # 検索
    def find(self, x):
        if self.par[x] == x:
            return x
        else:
            y = self.find(self.par[x])
            # 親への重みを追加しながら根まで走査
            self.weight[x] += self.weight[self.par[x]]
            self.par[x] = y
            return y

    # 併合
    def union(self, x, y, w):
        rx = self.find(x)
        ry = self.find(y)
        # xの木の高さ < yの木の高さ
        if self.rank[rx] < self.rank[ry]:
            self.par[rx] = ry
            self.weight[rx] = w - self.weight[x] + self.weight[y]
        # xの木の高さ ≧ yの木の高さ
        else:
            self.par[ry] = rx
            self.weight[ry] = -w - self.weight[y] + self.weight[x]
            # 木の高さが同じだった場合の処理
            if self.rank[rx] == self.rank[ry]:
                self.rank[rx] += 1

    # 同じ集合に属するか
    def same(self, x, y):
        return self.find(x) == self.find(y)

    # xからyへのコスト
    def diff(self, x, y):
        return self.weight[x] - self.weight[y]
    
    
from collections import deque
def bfs(G, s):
    Q = deque([s])
    N = len(G)
    dist = [-1] * N
    par = [-1] * N
    dist[s] = 0
    while Q:
        u = Q.popleft()
        for v, i in G[u]:
            if dist[v] != -1:
                continue
            dist[v] = dist[u] + 1
            par[v] = (u, i)
            Q.append(v)

    return par

    
N, M = map(int, input().split())
U = WeightedUnionFind(N)
flag = 1
Edge = []
start, goal = -1, -1
for i in range(M):
    u, v, w = map(int, input().split())
    u, v = u - 1, v - 1
    if U.same(u, v) and U.diff(u, v) != w:
        if U.diff(u, v) < w:
            flag = 1
        else:
            flag = 0
        start = u
        goal = v
        break
    U.union(u, v, w)
    Edge.append((u, v))

if start == -1:
    print(-1)
    exit()
    
G = [[] for i in range(N)]
for i in range(len(Edge)):
    u, v = Edge[i]
    G[u].append((v, i))
    G[v].append((u, i))
    
par = bfs(G, start)
ans = []
while goal != start:
    nv, ni = par[goal]
    ans.append(i + 1)
    goal = nv
    
ans = [len(Edge) + 1] + ans
if flag == 0:
    ans.reverse()
    
print(len(ans))
print(start + 1)
print(*ans)
0