洛谷P6175最小环

先附上demon（代码，hhh）

#include<iostream>
using namespace std;
int main(){
    long long int n,m;
    cin>>n>>m;
    long long int arr[100][100]={0};
    for(int i=0;i<n;i++)
      for(int j=0;j<n;j++){
          arr[i][j]=99999;
      }
    for(int i=0;i<m;i++){
        long long int x,y,z;
        cin>>x>>y>>z;
        arr[x-1][y-1]=min(z,arr[x-1][y-1]);
        arr[y-1][x-1]=min(z,arr[x-1][y-1]);
    }
    long long int circle=99999;
    for(int k=0;k<n;k++){
      for(int u=0;u<k;u++)
        for(int v=0;v<k;v++){
            if(u!=v&&arr[k][u]<99999&&arr[k][v]<99999&&arr[u][v]<99999){
                circle=min(circle,arr[k][u]+arr[k][v]+arr[u][v]);
                if(circle==54)cout<<arr[k][u]<<" "<<arr[k][v]<<" "<<arr[u][v]<<endl; 
            }
        }
        for(int u=0;u<k;u++)
          for(int v=0;v<k;v++){
             arr[u][k]=min(arr[u][v]+arr[v][k],arr[u][k]); 
                arr[k][u]=arr[u][k];
            }
        for(int u=0;u<k;u++)
          for(int v=0;v<k;v++){
              arr[u][v]=min(arr[u][k]+arr[v][k],arr[u][v]);
          }
    }
    if(circle!=99999)cout<<circle; 
      else cout<<"No solution.";
    return 0;
}

大致思路就这样吧，小细节我没有注意，但竟然还过了。。

核心就是 一个环 (a)-b-c-d-e-a,删去a，那么剩下的这条链一定是个最短路径

通过弗洛伊德枚举a和链即可

注意枚举a的时候，a还没有并入弗洛伊德合集，a和链的首位一定是直接相连的

下面用数学归纳（伪）证明一下思路正确

设（a）bcdea是最短链，c是循环中最后一个字母（够具有普遍性了吧）；这时弗洛伊德已经把baed这条最短路径连接了，c与bd直接相邻，然后。。然后就成环了，circle更新，done。

最后就是我写的那个弗洛伊德的思路，可能更好理解：

来了一个新点，然后先算出这个new node到之前的node（没错，只有之前处理过的node，没有后面的）的最短距离，在对比新增的的node1-nodenew-node2和node1-node2的长度谁更短