使用Google OR-Tools对市场进行建模

Question

我试图建立一个有多个商品的市场模型，多个卖家和买家为一个或多个商品提供价格。例如，允许卖家卖出6个苹果，其中2个卖给出价最高的买家，4个卖给出价稍低的买家。市场也需要支持有条件的优惠，即我想卖4个苹果，但只有当我可以买2个梨。

我现在已经使用Google OR-Tools对这个问题进行了建模，但我能找到的最接近的解决方法是使用CP-SAT，但是对我来说，如何对有条件的报价进行建模还不是很明显。

像这样的市场建模的最好方法是什么？

Answer 1

你应该看看：

https://github.com/google/or-tools/blob/stable/ortools/sat/doc/channeling.md

其主要思想是，您可以将布尔值附加到变量的某些属性。然后，您可以使用标准布尔逻辑将这些文字链接在一起。