[BZOJ2330][SCOI2011]糖果(差分約束)
阿新 • • 發佈:2019-01-23
題目描述
題解
差分約束系統,模型是很好建的,求最小值轉化成跑最長路。
把大於小於號都轉化為大於等於和小於等於。對於x=1的情況建立2個不等式就可以解決。
想著剛碼完資料結構就挑了一道看起來簡單一點的題,不過還是被一些奇怪的錯誤絆了一小會兒。= =第一次提交只有70分= =
程式碼
#include<iostream>
#include<cstring>
#include<cstdio>
#include<queue>
using namespace std;
const int max_n=1e5+5;
const int max_e=max_n*3;
int n,k,x,a,b;
bool pd;
long long ans;
int tot,point[max_n],next[max_e],v[max_e],c[max_e];
int dis[max_n],insert[max_n];
bool vis[max_n];
queue <int> q;
inline void addedge(int x,int y,int z){
++tot; next[tot]=point[x]; point[x]=tot; v[tot]=y; c[tot]=z;
}
inline bool spfa(){
memset(dis,128,sizeof(dis));
memset(vis,0,sizeof(vis));
dis[0]=0;
vis[0]=true;
++insert[0];
while (!q.empty()) q.pop();
q.push(0);
while (!q.empty()){
int now=q.front(); q.pop();
vis[now]=false;
for (int i=point[now];i;i=next[i])
if (dis[v[i]]<dis[now]+c[i]){
dis[v[i]]=dis[now]+c[i];
if (!vis[v[i]]){
vis[v[i]]=true;
++insert[v[i]];
if (insert[v[i]]>n+2) return false;
q.push(v[i]);
}
}
}
return true;
}
int main(){
scanf("%d%d",&n,&k);
for (int i=1;i<=k;++i){
scanf("%d%d%d",&x,&a,&b);
switch(x){
case 1:{
addedge(b,a,0);
addedge(a,b,0);
break;
}
case 2:{
addedge(a,b,1);
if (a==b){
printf("-1\n");
return 0;
}
break;
}
case 3:{
addedge(b,a,0);
break;
}
case 4:{
addedge(b,a,1);
if (a==b){
printf("-1\n");
return 0;
}
break;
}
case 5:{
addedge(a,b,0);
break;
}
}
}
for (int i=n;i>=1;--i)
addedge(0,i,1);
pd=spfa();
if (!pd) printf("-1\n");
else{
for (int i=1;i<=n;++i)
ans+=dis[i];
printf("%lld\n",ans);
}
}
總結
錯誤記錄:
shaB錯誤:陣列又開小了= =因為x=1的操作是要加兩條邊,所以邊集至少開三倍。而且沒有開LL。以後資料範圍一定要注意。
kengB錯誤:有一組特殊資料是1e5的一條鏈,最後加邊時要倒著加。網上說什麼目的是使按照1-n的順序進行spfa,以免時間退化為O(n^2)。我也不是很懂。難道以後都要這麼搞?