多目标子集和的伪多项式或快速解

我认为你的问题是 多集约束问题 这是我在硕士论文中学习的。

在这个项目中,我设计了一个算法,在DP表中搜索以找到解决方案。它不是伪多项式,但我认为它在一般情况下足够快。

我还实现了一个Python工具来解决这些问题。 也许你想试试!

此工具名为 msat公司 并在github上进行维护。

您可以参考 msat 。

或者简单地使用 pip 安装它(它是一个Python3工具):

$ pip install msat

还有介绍幻灯片: slides 。

如果您想了解详细信息,请参阅 thesis 。