bellman_fort算法解决有边数限制的最短路问题

Bellman_fort算法可用来解决有边数限制的最短路问题。
为什么dijkstra算法为什么不能解决负权值问题？
dijkstra算法建立在假设所有边都为非负权值之上，如果图中含有负权值：一是dijkstra的贪心原则，若图中含有负权值环路则算法失效因为他会选择，且她会选择看起来比较小的负权值路径导致错误出现，若为负权值，建议选择bellman_fort算法和Floyd算法解决。
关于负权值环路的判断
如果路径中存在负权值环路，由于算法贪心要选择最短的路径上的节点进行更新，每经过一次环路，距离都会减小直到变为无穷大

为什么需要备份数组backup？
防止串联更新后，多出两条路径，不这样的话感觉和dijkstra算法就一样了。
代码解释如下：

#include<iostream>
#include<algorithm>
#include <cstring>//memset函数的基础库

using namespace std;

const int N = 510,M = 10010;
int n,m,k;
int dist[N];
int backup[N];//存储原始结点的距离，防止串联导致结果出错

struct Edge
{
    int x,y,w;
}e[M];//结构体

void bell_fort()//进行边数k限制次循环
{
   memset(dist,0x3f,sizeof dist);//初始化
   dist[1] = 0;

   for(int i=0;i<k;i++)
   {
       memcpy(backup,dist,sizeof dist);//备份该节点的原始距离
       for(int j=0;j<m;j++)//进行所有边的距离更新
       {
           int a=e[j].x,b = e[j].y,c=e[j].w;
           dist[b]=min(dist[b],backup[a]+c);
       }
   }

}

int main()
{
    scanf("%d%d%d",&n,&m,&k);

    for(int i = 0;i < m;i++)
    {
       int x,y,w;
       scanf("%d%d%d",&x,&y,&w);
       e[i] = {x,y,w};
    }

    bell_fort();
    if(dist[n] > 0x3f3f3f3f / 2) puts("impossible");
    else printf("%d\n",dist[n]);

    return 0;

}