結果

問題 No.748 yuki国のお財布事情
ユーザー nanaenanae
提出日時 2018-07-27 17:33:46
言語 Python3
(3.12.2 + numpy 1.26.4 + scipy 1.12.0)
結果
AC  
実行時間 883 ms / 2,000 ms
コード長 2,523 bytes
コンパイル時間 91 ms
コンパイル使用メモリ 11,064 KB
実行使用メモリ 41,308 KB
最終ジャッジ日時 2023-09-18 02:23:32
合計ジャッジ時間 8,428 ms
ジャッジサーバーID
（参考情報） 		judge14 / judge12
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 18 ms
8,552 KB
testcase_01 AC 18 ms
8,620 KB
testcase_02 AC 18 ms
8,516 KB
testcase_03 AC 17 ms
8,668 KB
testcase_04 AC 17 ms
8,640 KB
testcase_05 AC 17 ms
8,472 KB
testcase_06 AC 18 ms
8,640 KB
testcase_07 AC 17 ms
8,592 KB
testcase_08 AC 17 ms
8,516 KB
testcase_09 AC 18 ms
8,564 KB
testcase_10 AC 17 ms
8,616 KB
testcase_11 AC 17 ms
8,560 KB
testcase_12 AC 18 ms
8,556 KB
testcase_13 AC 79 ms
12,516 KB
testcase_14 AC 154 ms
16,728 KB
testcase_15 AC 96 ms
13,100 KB
testcase_16 AC 288 ms
21,548 KB
testcase_17 AC 525 ms
36,992 KB
testcase_18 AC 698 ms
39,424 KB
testcase_19 AC 883 ms
41,308 KB
testcase_20 AC 781 ms
38,404 KB
testcase_21 AC 752 ms
38,252 KB
testcase_22 AC 17 ms
8,544 KB
testcase_23 AC 17 ms
8,516 KB
testcase_24 AC 18 ms
8,524 KB
testcase_25 AC 418 ms
34,472 KB
testcase_26 AC 749 ms
38,384 KB
testcase_27 AC 725 ms
38,056 KB
testcase_28 AC 528 ms
29,884 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

from operator import itemgetter

N = None
M = None
K = None
edges = []
must  = []

def main():
    get_instance()
    check_constraint()
    solve()

def solve():
    ans = sum(edges[i][2] for i in range(M))
    uf = UnionFind(N)

    for i in range(K):
        ai, bi, ci = edges[must[i]-1]
        uf.unite(ai-1, bi-1)
        ans -= ci

    es = sorted(edges, key=itemgetter(2))

    for i in range(M):
        if uf.numcc == 1:
            break

        ai, bi, ci = es[i]

        if not uf.same(ai-1, bi-1):
            uf.unite(ai-1, bi-1)
            ans -= ci

    print(ans)
    

def get_instance():
    global N, M, K, edges, must
    N, M, K = map(int, input().split())
    edges = [tuple(map(int, input().split())) for i in range(M)]
    must = [int(input()) for i in range(K)]


def check_constraint():
    assert 1 <= N <= 10**5, "Out of Range"
    assert 0 <= M <= min(N*(N-1)//2, 10**5), "Out of Range"
    assert 0 <= K <= M, "Out of Range"

    nwes = []

    for i in range(M):
        ai, bi, ci = edges[i]
        assert 1 <= ai < bi <= N, "Out of Range"
        assert 1 <= ci <= 10**9, "Out of Range"
        nwes.append((ai, bi))

    assert len(set(nwes)) == M, "Not Simple"

    for i in range(K):
        assert 1 <= must[i] <= M, "Out of Range"
        if i > 0:
            assert must[i] > must[i-1], "Not Sorted"

    assert is_connected(), "Not Connected"


def is_connected():
    uf = UnionFind(N)

    for i in range(M):
        ai, bi, ci = edges[i]
        uf.unite(ai-1, bi-1)

    return all(uf.same(0, i) for i in range(N))


class UnionFind:
    def __init__(self, N):
        self.p = list(range(N))
        self.rank = [0] * N
        self.size = [1] * N
        self.numcc = N
 
    def find_root(self, x):
        if self.p[x] != x:
            self.p[x] = self.find_root(self.p[x])
 
        return self.p[x]
 
    def same(self, x, y):
        return self.find_root(x) == self.find_root(y)
 
    def unite(self, x, y):
        u = self.find_root(x)
        v = self.find_root(y)
 
        if u == v: return
 
        if self.rank[u] < self.rank[v]:
            self.p[u] = v
            self.size[v] += self.size[u]
            self.size[u] = 0
        else:
            self.p[v] = u
            self.size[u] += self.size[v]
            self.size[v] = 0
 
            if self.rank[u] == self.rank[v]:
                self.rank[u] += 1

        self.numcc -= 1
 
    def get_size(self, x):
        return self.size[self.find_root(x)]


if __name__ == '__main__':
    main()
0