可以大概猜到如果這張圖有邊權和為 a 的生成樹和邊權和為 b 的生成樹的話,那麼就有 a ~ b 中間所有的。證明的話可以想像從一個生成樹轉移到另一個生成樹的時候就是不斷的加一條邊再拔一條邊,而每次邊權總和頂多差1,所以就證明了這個結論。
code :
#include<bits/stdc++.h> using namespace std; const int maxn=100000+10 ; struct P{int x,y,k;}; bool cmp1(const P &a,const P &b) { return a.k==b.k ? (a.x==b.x ? a.y<b.y : a.x<b.x) : a.k<b.k ; } bool cmp2(const P &a,const P &b) { return a.k==b.k ? (a.x==b.x ? a.y<b.y : a.x<b.x) : a.k>b.k ; } vector<P> v ; int fa[maxn],n ; int getfa(int x) { return fa[x]==x ? x : fa[x]=getfa(fa[x]) ; } int Kruskal() { for(int i=1;i<=n;i++) fa[i]=i ; int cnt=1,ans=0 ; for(auto i : v) { int x=getfa(i.x) , y=getfa(i.y) ; if(x==y) continue ; fa[x]=y ; ans+=i.k ; if((++cnt)==n) return ans ; } return -1 ; } main() { int m,k ; scanf("%d%d%d",&n,&m,&k) ; while(m--) { int x,y,w ; scanf("%d%d%d",&x,&y,&w) ; v.push_back((P){x,y,w}) ; } sort(v.begin(),v.end(),cmp1) ; int mi=Kruskal() ; sort(v.begin(),v.end(),cmp2) ; int ma=Kruskal() ; if(k<=ma && k>=mi) printf("TAK\n") ; else printf("NIE\n") ; }
沒有留言:
張貼留言