摘要:
题目大意:判断是否存在一个长度为n的序列满足给出的不等关系。 分析: 将序列和转化成用两个前缀和之差来表示即可变为差分约束系统。 需要注意的是不能忘记n要加+1,因为还有一个特殊源点,自己因为n:=n+1的位置放在数组预处理的后面所以出错了。 代码: program king; type point 阅读全文
摘要:
题目大意:有n个点在一条直线上,有两类关系:P(x,y,v)表示x在y北边v距离处,V(x,y)表示x在y北边至少1距离出,给出一些这样的关系,判断是否有矛盾。 分析: 差分约束模板题,约束条件P:a-b>=v a-b<=v即a-b>=v b-a<=-v,V:a-b>=1即b-a<=-1,构图spf 阅读全文