题目大意: 有$n$个正整数$x_1,x_2,\ldots,x_n$,再给出一些限制条件,限制条件分为两类: 1.给出$A,B$,要求满足$X_A+1=X_B$: 2.给出$C,D$,要求满足$X_C\leq X_D$. 其中第1类限制条件有$m_1$个,第2类限制条件有$m_2$个. 问这些限制条件是否能都被满足,如果能,求集合$\{x_i\}$大小的最大值. 思路: 不难想到这是一个差分约束模型. 对于第1类限制,连一条权值为$1$的边$A\to B$,和一条权值为$-1$的边$B\to A…