Dita

摘要： Portal 一道差分约束的好体。 限制条件 1 （\(A\) 的成绩正好比 \(B\) 快 1 秒） \(dis[a][b]=1\)，\(dis[b][a]=−1\)。（双向边适用于定量比较） 限制条件 2 （\(C\) 的成绩不比 \(D\) 的差） \(dis[b][a] = 0\) （单向边 阅读全文