Gateau

首先答案显然满足可二分性，于是不管三七二十一先上个二分。 不难发现题目中的限制形如： - $s_{i+n-1}-s_{i-1}\ge X_i(i\le n)$ - $s_{i-1}-s_{i-n-1}\le s_{2n}-X_i(i>n)$ 转换一下限制就变成 $s_{i+n}-s_{i}\in[l ......

## 题意 有一个 $2N$ 个位置的圆，每个位置可以放任意多个物品（可以不放）。有 $2N$ 条要求，形如第 $i \sim i+N-1$ 范围内的位置上总共至少有 $A_i$ 个物品（$0\le i<2N$，其中第 $j(j\ge 2N)$ 号位置其实是 $j-2N$ 号）。问放置的物品总数至少 ......

洛谷传送门 AtCoder 传送门 **差分约束算法：**给出 $m$ 个不等式形如 $x_{a_i} \le x_{b_i} + y_i$，求是否有解。 考虑把不等式看成图上的三角不等式 $dis_v \le dis_u + d$，连边 $(b_i, a_i, y_i)$，以 $x_i$ 最大的位 ......