并排比较

先放宽限制计数，再用容斥扣除违反条件的结果；每一类违规的交集是否为空要实际核查，不能机械地只减不加。

弱单调串从完整串中扣两类并补回共同部分；骰子题平移成非负整数解后扣超出上界者，而多变量同时超界在该总和下不可能。