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求解，一開始就把全部點入隊，求最長路，即可以獲得

>>阅读原文<<