Question

我在解决问题GREATESC的过程中得到最后一个测试用例的分段（不知道它是什么）。问题的概念是基本的bfs。给出无向图| V | ＆lt; = 3500和| E | ＆lt; = 1000000 找到两个给定顶点之间的最小距离。这是问题链接http://opc.iarcs.org.in/index.php/problems/GREATESC 这是我的解决方案链接 http://ideone.com/GqTc6k

#include <iostream>
#include <stdio.h>
#include <cmath>
#include <string>
#include <vector>
#include <stack>
#include <queue>
#include <cassert>
#include <ctime>
#include <cstdlib>
#include <algorithm>
#define Pi 3.14159
#define vi vector<int>
#define pi pair<int,int>
#define si stack<int>

typedef long long int ll;
using namespace std;

bool b[3501][3501]={0};

int main ()
{
    int n,m;
    cin >>n>>m;
    int u,v;
    for (int i  =1;i<= m;i++)
    {
        scanf("%d",&u);
        scanf("%d",&v);
        b[u][v]=b[v][u]=1;
    }
    // input completed.
    int dist[n+1];

    int h,V;
    cin >>h>>V;
    dist[h]=0;
    //cout<<"hero "<<h<<" "<<V<<endl;
    queue<int> q;
    bool  bfs[3501];
    for (int  i=1;i<= n;i++)bfs[i]=1;
    q.push(h);
    bfs[h]=0;
    while (!q.empty())
    {
        int top = q.front();
       // cout<<top<<endl;
        q.pop();
        for (int i = 1 ;i <= 3500;i++)
        {
            if(bfs[i] && b[i][top])
            {
                int x = i;
                dist[i] = dist[top] +1;
                if(x == V){cout<<dist[x]<<endl;return 0;}
                bfs[x]=0;
                q.push(x);
            }
        }
    }
    cout<<0<<endl;
}

Answer 1

你有这个：

cin >>n>>m;
...
int dist[n+1];

因此，数组dist的大小可能小于3500.但是：

        for (int i = 1 ;i <= 3500;i++)
           ...
           dist[i] = dist[top] +1;

此代码可能在dist之外编制索引。

您似乎需要更加小心，在索引到数组时，您需要在数组的范围内。

考虑使用std::vector而不是数组，然后使用indexing with at来进行边界检查。或者，手动assert表示值在范围内：

#include <assert.h>
...
        for (int i = 1 ;i <= 3500;i++)
           ...
           assert(i >= 0 && i <= n && top >= 0 && top <= n);
           dist[i] = dist[top] +1;

c ++代码中的分段错误无法找到原因

1 个答案: