6

我有一个在执行程序后立即被杀死的进程。这是编译后的可执行文件的代码，它是一个小程序，它从标准输入（通常是描述性文件）中读取几个由数字表示的图，并使用 Prim 算法找到每个图的最小生成树（它没有显示结果，它只是找到了解决方案）。

#include <stdlib.h>  
#include <iostream>  

using namespace std;

const int MAX_NODOS = 20000;
const int infinito = 10000;

int nnodos;
int nAristas;
int G[MAX_NODOS][MAX_NODOS]; 
int solucion[MAX_NODOS][MAX_NODOS];
int menorCoste[MAX_NODOS];
int masCercano[MAX_NODOS];



void leeGrafo(){
    if (nnodos<0 || nnodos>MAX_NODOS) {
        cerr << "Numero de nodos (" << nnodos << ") no valido\n";
        exit(0);
    }  
    for (int i=0; i<nnodos ; i++)
        for (int j=0; j<nnodos ; j++)
            G[i][j] = infinito; 
    int A,B,P;
    for(int i=0;i<nAristas;i++){
        cin >> A >> B >> P; 
        G[A][B] = P;
        G[B][A] = P;
    }   
}


void prepararEstructuras(){
    // Grafo de salida
    for(int i=0;i<nnodos;i++)
        for(int j=0;j<nnodos;j++)
            solucion[i][j] = infinito;
    // el mas cercaano 
    for(int i=1;i<nnodos;i++){
        masCercano[i]=0;
        // menor coste
        menorCoste[i]=G[0][i];
    }           
}

void prim(){
    prepararEstructuras();
    int min,k;  
    for(int i=1;i<nnodos;i++){
        min = menorCoste[1];
        k = 1;
        for(int j=2;i<nnodos;j++){
            if(menorCoste[j] < min){
                min = menorCoste[j];
                k = j;
            }
        }
        solucion[k][masCercano[k]] = G[k][masCercano[k]];
        menorCoste[k] = infinito;
        for(int j=1;j<nnodos;j++){
            if(G[k][j] < menorCoste[j] && menorCoste[j]!=infinito){
                menorCoste[j] = G[k][j];
                masCercano[j] = k;
            }       
        }           
    }
}

void output(){
    for(int i=0;i<nnodos;i++){
        for(int j=0;j<nnodos;j++)
            cout << G[i][j] << ' ';
        cout << endl;
    }
}

int main (){
    while(true){
        cin >> nnodos;
        cin >> nAristas;
        if((nnodos==0)&&(nAristas==0)) break;
        else{
            leeGrafo();
            output();
            prim(); 
        }
    }   
}

我了解到我必须使用 strace 来查找发生了什么，这就是我得到的：

execve("./412", ["./412"], [/* 38 vars */] <unfinished ...>
+++ killed by SIGKILL +++
Killed

我正在运行 ubuntu，这是我第一次遇到这种类型的错误。该程序应该在从输入中连续读取两个零后停止，我可以保证我的图形描述文件中有。即使我执行程序而不将输入重定向到我的图形文件，也会出现问题。

4

2 回答 2

8

虽然我不是 100% 确定这是问题所在，但请查看全局数组的大小：

const int MAX_NODOS = 20000;

int G[MAX_NODOS][MAX_NODOS]; 
int solucion[MAX_NODOS][MAX_NODOS];

假设int是 4 个字节，您将需要：

20000 * 20000 * 4 bytes * 2 = ~3.2 GB

一方面，你甚至可能没有那么多记忆。其次，如果您使用的是 32 位，则操作系统可能根本不允许单个进程拥有那么多内存。

假设您使用 64 位（并假设您有足够的内存），解决方案是在运行时全部分配。

于 2012-01-02T01:54:55.253 回答
6

您的数组G和solucion每个数组都包含 400,000,000 个整数，在大多数机器上每个整数约为 1.6 GiB。除非您有足够的（虚拟）内存（3.2 GiB 和计数），并且有使用它的权限（尝试ulimit -d；这bash在 MacOS X 10.7.2 上是正确的），否则您的进程将无法启动并被 SIGKILL（它不能被困住，并不是说这个过程真的还在进行中）。

于 2012-01-02T01:54:29.190 回答