题目描述
题解
差分约束系统,模型是很好建的,求最小值转化成跑最长路。
把大于小于号都转化为大于等于和小于等于。对于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)。我也不是很懂。难道以后都要这么搞?