C++ Kruskal 算法在运行时给出未处理的异常

Question

下面的代码应该是从邻接矩阵中找到最小生成树：

#include <iostream>
#include <fstream>
#include <stdlib.h>
#include <conio.h>
#include <vector>
#include <string>

using namespace std;

int i, j, k, a, b, u, v, n, ne = 1;
int min, mincost = 0, cost[9][9], parent[9];
int find(int);
int uni(int, int);

int find(int i)
{
    while (parent[i])  // Error occurs at this line
        i = parent[i];
    return i;
}

int uni(int i, int j)
{
    if (i != j)
    {
        parent[j] = i;
        return 1;
    }
    return 0;
}

int main()
{
    cout << "MST Kruskal:\n=================================\n";
    cout << "\nNo. of vertices: ";
    cin >> n;
    cout << "\nAdjacency matrix:\n\n";

    for (i = 1; i <= n; i++)
    {
        for (j = 1; j <= n; j++)
        {
            cin >> cost[i][j];
            if (cost[i][j] == 0)
                cost[i][j] = 999;
        }
    }

    cout << "\nMST Edge:\n\n";

    while (ne < n)
    {
        for (i = 1, min = 999; i <= n; i++)
        {
            for (j = 1; j <= n; j++)
            {
                if (cost[i][j] < min)
                {
                    min = cost[i][j];
                    a = u = i;
                    b = v = j;
                }
            }
        }

        u = find(u);
        v = find(v);

        if (uni(u, v))
        {
            cout << ne++ << "th" << " edge " << "(" << a << "," << b << ")" << " = " << min << endl;
            mincost += min;
        }
        cost[a][b] = cost[b][a] = 999;
    }

    cout << "\nMinimum cost = " << mincost << "\n" << endl;

    system("PAUSE");

    return 0;
}

它适用于 6 个顶点和以下矩阵：

0 3 1 6 0 0
3 0 5 0 3 0
1 5 0 5 6 4
6 0 5 0 0 2
0 3 6 0 0 6
0 0 4 2 6 0

但是对于 13 个顶点和以下矩阵：

0 1 0 0 0 2 6 0 0 0 0 0 0
1 0 1 2 4 0 0 0 0 0 0 0 0
0 1 0 0 4 0 0 0 0 0 0 0 0
0 2 0 0 2 1 0 0 0 0 0 0 0
0 4 4 2 0 2 1 0 0 0 0 4 0
2 0 0 1 2 0 0 0 0 0 0 2 0
6 0 0 0 1 0 0 3 0 1 0 5 0
0 0 0 0 0 0 3 0 2 0 0 0 0
0 0 0 0 0 0 0 2 0 0 1 0 0
0 0 0 0 0 0 1 0 0 0 1 3 2
0 0 0 0 0 0 0 0 1 1 0 0 0
0 0 0 0 4 2 5 0 0 3 0 0 1
0 0 0 0 0 0 0 0 0 2 0 1 0

出现此错误：

Unhandled exception at 0x00ED5811 in KruskalMST.exe: 0xC0000005: Access violation reading location 0x00F67A1C.

错误出现在第 17 行：while (parent[i])

VS汽车：

Name    Value                           Type

i       138596                                                  int
parent  0x00ee048c {2, 999, 999, 999, 999, 999, 999, 999, 2}    int[9]
[0] 2                                                           int
[1] 999                                                         int
[2] 999                                                         int
[3] 999                                                         int
[4] 999                                                         int
[5] 999                                                         int
[6] 999                                                         int
[7] 999                                                         int
[8] 2                                                           int

Answer 1

您已将“父”数组的大小定义为 9（假设您最多有 9 个顶点，因此最大父数为 9）。六个顶点将起作用，因为它小于 9。使用 13 个顶点，您可能正在访问通过父数组大小的元素；因此，您应该尝试根据顶点数定义数组大小。

P.S 通常，您不想在代码中使用幻数。

Answer 2

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

首先，请使用大括号将while 语句括起来。任何人在其中添加另一行都可能导致不良行为。

您的问题可能是parent[i] 为i 分配的值超出了parent 数组的范围。

试试这个看看它分配给i：

while (parent[i] != 0)
{
   cout << "parent[i] is " << parent[i];
   i = parent[i];
}

由于父数组的大小为 9，如果 i 曾经设置为 9 或更大（或不知何故小于 0），则在使用 parent[i] 时可能会遇到访问冲突。

无关：最好明确说明您在 while 中检查的条件。在我看到 parent 是一个 int[] 之前，我不知道它可能是一个指针数组还是布尔值，我不知道 while 条件在检查什么。

如果您想安全，请检查您的 parent 数组：

static const int parentSize = 9;
int parent[parentSize];

while (parent[i] != 0 && i > 0 && i < parentSize)
{
   cout << "parent[i] is " << parent[i];
   i = parent[i];
}

您可能需要将 parentSize 增加到更大的值。如果您想要更动态的东西，您可能会考虑使用 std::vector 而不是数组，如果遇到容器不够大的情况，可以在运行时调整它的大小。