使用 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

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