abc243 E(还久内阁摆烂)

题目
题意: 给定n个点m条边的简单图，初始保证连通，你需要删除尽可能多的边。
删边的要求:
1.删除该边后该图仍然连通。
2.删除该边后任意两点之间的最短距离不变。
思路: 正难则反，真删确实有点难写。但是可以考虑哪些边必不能删除，如果删除后不连通或者最短路改变，就不能删除。通过floyd预处理最短路。枚举两点(i,j)和中间点k，如果dist[i][j] 可以通过 dist[i][k] + dist[k][j]得到，那么说明存在过渡点k从i走到j，这条边没有存在的必要。如果删除该边后会导致不连通，那么说明i、j两点之间的最短路恰好是该边的边权，所以判断该边不能删除。
时间复杂度: O(n^3)
代码:

// Problem: E - Edge Deletion
// Contest: AtCoder - AtCoder Beginner Contest 243
// URL: https://atcoder.jp/contests/abc243/tasks/abc243_e
// Memory Limit: 1024 MB
// Time Limit: 2000 ms
// 
// Powered by CP Editor (https://cpeditor.org)

#include<iostream>
#include<cstdio>
#include<algorithm>
#include<complex>
#include<cstring>
#include<cmath>
#include<vector>
#include<map>
#include<unordered_map>
#include<list>
#include<set>
#include<queue>
#include<stack>
#define OldTomato ios::sync_with_stdio(false),cin.tie(nullptr),cout.tie(nullptr)
#define fir(i,a,b) for(int i=a;i<=b;++i) 
#define mem(a,x) memset(a,x,sizeof(a))
#define p_ priority_queue
// round() 四舍五入 ceil() 向上取整 floor() 向下取整
// lower_bound(a.begin(),a.end(),tmp,greater<ll>()) 第一个小于等于的
// #define int long long //QAQ
using namespace std;
typedef complex<double> CP;
typedef pair<int,int> PII;
typedef long long ll;
// typedef __int128 it;
const double pi = acos(-1.0);
const int INF = 0x3f3f3f3f;
const ll inf = 1e18;
const int N = 333;
const int M = 1e6+10;
const int mod = 1e9+7;
const double eps = 1e-6;
inline int lowbit(int x){ return x&(-x);}
template<typename T>void write(T x)
{
    if(x<0)
    {
        putchar('-');
        x=-x;
    }
    if(x>9)
    {
        write(x/10);
    }
    putchar(x%10+'0');
}
template<typename T> void read(T &x)
{
    x = 0;char ch = getchar();ll f = 1;
    while(!isdigit(ch)){if(ch == '-')f*=-1;ch=getchar();}
    while(isdigit(ch)){x = x*10+ch-48;ch=getchar();}x*=f;
}
int n,m,k,T;
ll a[N][N];
void init()
{
	for(int i=1;i<=n;++i)
	{
		fir(j,1,n)
		{
			if(i == j) a[i][j] = 0;
			else a[i][j] = 1e18;
		}
	}
}
void floyd()
{
	fir(k,1,n)
	{
		fir(i,1,n)
		{
			fir(j,1,n)
			{
				a[i][j] = min(a[i][j],a[i][k] + a[k][j]);
			}
		}
	}
}
void solve()
{
   read(n); read(m);
   init();
   for(int i=0;i<m;++i)
   {
   	  int x,y,z; read(x),read(y),read(z);
   	  a[x][y] = a[y][x] = z;
   }
   floyd();
   int ans = 0;
   fir(i,1,n)
   {
   	 fir(j,i+1,n)
   	 {
   	 	if(i == j) continue;
   	 	int flag = 1;
   	 	fir(k,1,n)
   	 	{
   	 		if(i == k || j == k) continue;
   	 		if(a[i][j] == a[i][k] + a[k][j])
   	 		{
   	 			flag = 0;
   	 			break;
   	 		}
   	 	}
   	 	// if(flag) cout<<i<<":"<<j<<endl;
   	 	ans += flag;
   	 }
   }
   ans = m - ans;
   write(ans);
}
signed main(void)
{  
   T = 1;
   // OldTomato; cin>>T;
   // read(T);
   while(T--)
   {
   	 solve();
   }
   return 0;
}