[074] Java “克鲁斯卡尔算法（Kruskal）”解决“修路问题”

1、问题及算法描述

• “修路问题”与“普利姆算法”所解决的问题相同；
• 克鲁斯卡尔算法（Kruskal Algorithm），用于求加权连通图的最小生成树；
• 步骤：含n个顶点的森林，按照权值从小到大的顺序选择n-1条边加入到最小生成树中，并使树；
• 核心：排序 + 不构成回路。

2、Java代码

package Algorithm.Kruskal;

import java.util.Arrays;

/**
 * @author bigyang
 * @date 2020/11/05
 */
public class KruskalCase {
    /**
     * 边的数目
     */
    private int edgeNum;
    /**
     * 顶点数组
     */
    private final char[] vertexs;
    /**
     * 邻接矩阵
     */
    private final int[][] matrix;
    /**
     * 使用INF表示两个顶点不能连通
     */
    private static final int INF = Integer.MAX_VALUE;

    public static void main(String[] args) {
        // 顶点
        char[] vertexs = {'A', 'B', 'C', 'D', 'E', 'F', 'G'};
        // 邻接矩阵
        int[][] matrix = new int[][]{
                {0, 5, 7, INF, INF, INF, 2},
                {5, 0, INF, 9, INF, INF, 3},
                {7, INF, 0, INF, 8, INF, INF},
                {INF, 9, INF, 0, INF, 4, INF},
                {INF, INF, 8, INF, 0, 5, 4},
                {INF, INF, INF, 4, 5, 0, 6},
                {2, 3, INF, INF, 4, 6, 0},
        };
        KruskalCase kruskalCase = new KruskalCase(vertexs, matrix);
        kruskalCase.print();
        System.out.println();

        kruskalCase.kruskal();
    }

    /**
     * 构造器
     *
     * @param vertexs 顶点名数组
     * @param matrix  边，顶点间距离
     */
    public KruskalCase(char[] vertexs, int[][] matrix) {
        // 初始化顶点数和边的数目
        int vlen = vertexs.length;

        // 初始化顶点，使用复制拷贝的方式
        this.vertexs = new char[vlen];
        System.arraycopy(vertexs, 0, this.vertexs, 0, vertexs.length);

        // 初始化边，使用复制拷贝的方式
        this.matrix = new int[vlen][vlen];
        for (int i = 0; i < vlen; i++) {
            System.arraycopy(matrix[i], 0, this.matrix[i], 0, vlen);
        }

        // 统计边
        for (int i = 0; i < vlen; i++) {
            for (int j = i + 1; j < vlen; j++) {
                if (this.matrix[i][j] != INF) {
                    edgeNum++;
                }
            }
        }
    }

    /**
     * 克鲁斯卡尔算法
     */
    public void kruskal() {
        int index = 0;
        // 终点
        int[] ends = new int[edgeNum];
        // 结果数组，保存最后的最小生成树
        EData[] rets = new EData[edgeNum];

        EData[] edges = getEdges();

        // 按照边的权值大小排序
        System.out.println("按照距离，对村庄对象进行排序：");
        System.out.println("排序前：" + Arrays.toString(edges));
        sortEdges(edges);
        System.out.println("排序后：" + Arrays.toString(edges));
        System.out.println();

        // 遍历edges数组，将边添加到最小生成树中，判断加入的边是否构成回路，如果没构成，就加入rets，否则不加人
        for (int i = 0; i < edgeNum; i++) {
            // 第一个顶点
            int p1 = getPosition(edges[i].start);
            // 第二个顶点
            int p2 = getPosition(edges[i].end);

            // 获取p1、p2在已有生成树中的终点
            int m = getEnd(ends, p1);
            int n = getEnd(ends, p2);
            // 判断是否会构成回路
            if (m != n) {
                // 设置m为已有最小生成树的终点
                ends[m] = n;
                // 将一条边加入到rets数组
                rets[index++] = edges[i];
            }
        }

        // 统计并打印“最小生成树”
        System.out.println("经过“克鲁斯卡尔算法”产生的最小生成树为：");
        for (int i = 0;i<index;i++){
            System.out.println(rets[i]);
        }
    }

    /**
     * 打印邻接矩阵
     */
    public void print() {
        System.out.println("邻接矩阵为：\n");
        for (int i = 0; i < vertexs.length; i++) {
            for (int j = 0; j < vertexs.length; j++) {
                System.out.printf("%13d", matrix[i][j]);
            }
            System.out.println();
        }
    }

    /**
     * 使用冒泡排序对边长进行排序
     *
     * @param edges 边长数组
     */
    private void sortEdges(EData[] edges) {
        for (int i = 0; i < edges.length - 1; i++) {
            for (int j = 0; j < edges.length - 1; j++) {
                if (edges[j].weight > edges[j + 1].weight) {
                    EData tmp = edges[j];
                    edges[j] = edges[j + 1];
                    edges[j + 1] = tmp;
                }
            }
        }
    }

    /**
     * 返回顶点对应的下标
     *
     * @param ch 顶点名
     * @return 顶点下标，没找到就返回-1
     */
    private int getPosition(char ch) {
        for (int i = 0; i < vertexs.length; i++) {
            if (vertexs[i] == ch) {
                return i;
            }
        }
        return -1;
    }

    /**
     * 获取图中的边，放到EData数组中
     *
     * @return 边集合
     */
    private EData[] getEdges() {
        int index = 0;
        EData[] edges = new EData[edgeNum];
        for (int i = 0; i < vertexs.length; i++) {
            for (int j = i + 1; j < vertexs.length; j++) {
                if (matrix[i][j] != INF) {
                    edges[index++] = new EData(vertexs[i], vertexs[j], matrix[i][j]);
                }
            }
        }
        return edges;
    }

    /**
     * 获取下标为i的顶点的终点，用于判断两个顶点的终点是否相同
     *
     * @param ends 各顶点的终点集合，是在遍历过程中逐步形成的
     * @param i    顶点下标
     * @return i顶点的终点的下标
     */
    private int getEnd(int[] ends, int i) {
        while (ends[i] != 0) {
            i = ends[i];
        }
        return i;
    }
}

/**
 * 边对象
 */
class EData {
    /**
     * 边的一个点
     */
    char start;
    /**
     * 边的另一个点
     */
    char end;
    /**
     * 边的权值
     */
    int weight;

    /**
     * 构造器
     *
     * @param start  边的起点
     * @param end    边的终点
     * @param weight 边的权值
     */
    public EData(char start, char end, int weight) {
        this.start = start;
        this.end = end;
        this.weight = weight;
    }

    /**
     * 重写toString方法，便于输出边的信息
     */
    @Override
    public String toString() {
        return "<" + start + ", " + end + "> = " + weight;
    }
}

3、运行结果

邻接矩阵为：

            0            5            7   2147483647   2147483647   2147483647            2
            5            0   2147483647            9   2147483647   2147483647            3
            7   2147483647            0   2147483647            8   2147483647   2147483647
   2147483647            9   2147483647            0   2147483647            4   2147483647
   2147483647   2147483647            8   2147483647            0            5            4
   2147483647   2147483647   2147483647            4            5            0            6
            2            3   2147483647   2147483647            4            6            0

按照距离，对村庄对象进行排序：
排序前：[<A, B> = 5, <A, C> = 7, <A, G> = 2, <B, D> = 9, <B, G> = 3, <C, E> = 8, <D, F> = 4, <E, F> = 5, <E, G> = 4, <F, G> = 6]
排序后：[<A, G> = 2, <B, G> = 3, <D, F> = 4, <E, G> = 4, <A, B> = 5, <E, F> = 5, <F, G> = 6, <A, C> = 7, <C, E> = 8, <B, D> = 9]

经过“克鲁斯卡尔算法”产生的最小生成树为：
<A, G> = 2
<B, G> = 3
<D, F> = 4
<E, G> = 4
<E, F> = 5
<A, C> = 7