题目描述
造一幢大楼是一项艰巨的工程，它是由n个子任务构成的，给它们分别编号1，2，…，n(5≤n≤1000)。由于对一些任务的起始条件有着严格的限制，所以每个任务的起始时间T1，T2，…，Tn并不是很容易确定的(但这些起始时间都是非负整数，因为它们必须在整个工程开始后启动)。例如：挖掘完成后，紧接着就要打地基；但是混凝土浇筑完成后，却要等待一段时间再去掉模板。
这种要求就可以用M(5≤m≤5000)个不等式表示，不等式形如Ti-Tj≤b代表i和j的起始时间必须满足的条件。每个不等式的右边都是一个常数b，这些常数可能不相同，但是它们都在区间(-100，100)内。
你的任务就是写一个程序，给定像上面那样的不等式，找出一种可能的起始时间序列T1，T2，…，Tn，或者判断问题无解。对于有解的情况，要使最早进行的那个任务和整个工程的起始时间相同，也就是说，T1，T2，…，Tn中至少有一个为0。
输入输出格式
输入格式：
第一行是用空格隔开的两个正整数n和m，下面的m行每行有三个用空格隔开的整数i，j，b对应着不等式Ti-Tj≤b。
输出格式：
如果有可行的方案，那么输出N行，每行都有一个非负整数且至少有一个为0，按顺序表示每个任务的起始时间。如果没有可行的方案，就输出信息“NO SOLUTION”。
输入输出样例
输入样例#1：
5 8 1 2 0 1 5 –1 2 5 1 3 1 5 4 1 4 4 3 –1 5 3 –1 5 4 –3
输出样例#1：
0 2 5 4 1
输入样例#2：
5 5 1 2 –3 1 5 –1 2 5 –1 5 1 –5 4 1 4
输出样例#2：
NO SOLUTION
说明
由@zhouyonglong提供SPJ
查分约束构造Ti-Tj≤b
spfa解决
#include<cstdio> #include<cstring> #include<algorithm> using namespace std; int n,m; struct node{ int next,v,w; }edge[50006]; int head[10003]; int num; void add_edge(int x,int y,int w) { edge[++num].next=head[x];edge[num].v=y;edge[num].w=w;head[x]=num; } int dis[10003]; bool vis[10003]; bool spfa(int x) { vis[x]=1; for(int i=head[x];i;i=edge[i].next) { int v=edge[i].v; if(dis[v]>dis[x]+edge[i].w) { dis[v]=dis[x]+edge[i].w; if(!vis[v]) { if(!spfa(v)) return false; } else return false; } } vis[x]=0; return true; } int main() { memset(dis,0x3f3f3f,sizeof dis); scanf("%d%d",&n,&m); int a,b,c; for(int i=1;i<=m;i++) { scanf("%d%d%d",&a,&b,&c); add_edge(b,a,c); } for(int i=1;i<=n;i++) add_edge(0,i,0); dis[0]=0; vis[0]=1; if(!spfa(0)) { puts("NO SOLUTION");return 0; } int minn=0x7fffffff; for(int i=1;i<=n;i++) { minn=min(minn,dis[i]); } for(int i=1;i<=n;i++) printf("%d ",dis[i]-minn); return 0; }