0

kruskal アルゴリズムを使用して、spoj でこの MST の質問を解決しようとしています。私のプログラムはすべてのテスト ケースで動作するように見えますが、spoj はこのコードに WA を繰り返し与えています。

このコードで失敗したテスト ケースを見つけることができません。誰かが私が間違っていることを指摘してもらえますか。

import java.io.PrintWriter;
import java.util.Arrays;


public class CSTREET {

    static final int MAX = 1002;
    static Node edgeList[];
    static int parent[] = new int[MAX];


    public static void main(String[] args) throws Exception {
        Reader in = new Reader();
        PrintWriter out = new PrintWriter(System.out, true);
        int t = in.nextInt();
        while (t-- != 0) {

            int price = in.nextInt();
            int vertices = in.nextInt();
            int edge = in.nextInt();
            int idx = 0;
            edgeList = new Node[edge];
            for (int i = 1; i <= vertices; i++) {
                parent[i] = i;
            }

            while (idx < edge) {

                int src = in.nextInt();
                int dest = in.nextInt();
                int cost = in.nextInt();
                Node node = new Node(src, dest, cost);

                edgeList[idx] = node;
                idx++;
            }

            Arrays.sort(edgeList);
            int edgeCount = 0;


            long totalCost = 0;
            idx = 0;

            while (edgeCount < vertices-1 ) {
                Node curEdge = edgeList[idx];
                if (!checkCycle(curEdge.src, curEdge.dest)) {

                    edgeCount++;
                    totalCost += curEdge.cost;

                }
                idx++;

            }
            out.println(totalCost * price);
        }
    }


    static boolean checkCycle(int src, int dest) {

        if (findParent(src) == findParent(dest)) {
            return true;
        }

        while (parent[dest] != parent[src]) {
            parent[dest] = src;
            src = parent[src];
        }

        return false;

    }

    static int findParent(int i) {

        while (parent[i] != i) {
            i = parent[i];
        }

        return i;
    }


    static class Node implements Comparable<Node> {

        int src;
        int dest;
        int cost;

        public Node(int src, int dest, int cost) {
            this.src = src;
            this.dest = dest;
            this.cost = cost;
        }

        @Override
        public int compareTo(Node o) {
            return this.cost - o.cost;
        }
    }
}
4

1 に答える 1

2

union-find の実装が正しくありません。この例を考えてみましょう

x -> y ( y is parent of x )

A -> B -> C
D -> E

呼び出すcheckCycle( A, D)と、5 つのノードすべてが 1 つのセットに移動する必要があります。次に例を示します。

A -> B -> C
D -> E -> C

しかし、コードで何が起こるかは次のとおりです。

A -> B -> C
D -> C
E

これは明らかに正しくありません。

checkCycle以下のように変更できます。

static boolean checkCycle(int src, int dest) {

    int srcRoot = findParent(src);
    int destRoot = findParent(dest);
    if (srcRoot == destRoot ) {
        return true;
    }
    parent[destRoot] = srcRoot;
    return false;
}

Disjoint-setに関するウィキペディアの記事を読み、複雑さを改善するパス圧縮バージョンを実装することを強くお勧めします。

于 2016-10-01T19:38:15.850 に答える