CCF认证 2018-09 再卖菜

能够用dfs记忆化搜索+剪枝ios 更稳的方法是用差分约束，由于会有三元一次的不等式，因此把不等式所有改成前缀和的不等式spa s[i]表明前i项的和，如a1+a2+a3>=b可改成s3-s0>=b，a1+a2+a3<=c改成s0-s3>=-ccode 以此类推，就所有转化为s[x]-s[y]>=z的形式，而后按照差分约束建图string 用spfa求解，一开始就把全部点入队，求最长路，即可以获得

>>阅读原文<<