图论算法总结及图论建模.pptVIP

约束图:结点是变量,一个约束对应一条弧,若有弧(u,v),则得到xu后,有xv=xu+w(u,v)差分约束系统定理:如果约束图没有负圈,则可取xu为起点v0到u的最短路长;若约束图有负圈,差分约束系统无解.正确性证明无负圈:由松弛条件可证明每个约束得到满足有负圈:把负圈上的约束条件叠加将得到一个矛盾不等式算法步骤构图,得到n+1个结点m+n条边运行最短路算法差分约束系统N个区间,[ai,bi]问一个整数的集合Z至少需要多少个元素,使得,在第i个区间的范围内至少有ci个整数属于集合Z。SampleInput SampleOutput6IntervalsPOJ1201beginread(m);max:=0;fori:=1tomdobeginread(x[i],y[i],z[i]);ifx[i]maxthenmax:=x[i];ify[i]maxthenmax:=y[i];end;n:=max;fori:=0tondobegin