[论文解读] Applying Predicate Detection to the Constrained Optimization Problems

Vijay K. Garg|arXiv (Cornell University)|Dec 26, 2018

Game Theory and Voting Systems参考文献 15被引用 3

一句话总结

本文提出了一种统一的格-线性谓词检测框架，通过将可行解空间建模为分配格，解决受约束的组合优化问题。通过将稳定婚姻、最短路径和市场出清价格等问题建模为格上的谓词检测，该方法将经典算法（Gale-Shapley、Dijkstra、Demange-Gale-Sotomayor）作为特例推导出来，并推广以处理格-线性约束，从而实现对受约束最优解的高效并行与构造性枚举。

ABSTRACT

We present a method to design parallel algorithms for constrained combinatorial optimization problems. Our method solves and generalizes many classical combinatorial optimization problems including the stable marriage problem, the shortest path problem and the market clearing price problem. These three problems are solved in the literature using Gale-Shapley algorithm, Dijkstra's algorithm, and Demange, Gale, Sotomayor algorithm. Our method solves all these problems by casting them as searching for an element that satisfies an appropriate predicate in a distributive lattice. Moreover, it solves generalizations of all these problems - namely finding the optimal solution satisfying additional constraints called {\em lattice-linear} predicates. For stable marriage problems, an example of such a constraint is that Peter's regret is less than that of Paul. For shortest path problems, an example of such a constraint is that cost of reaching vertex $v_1$ is at least the cost of reaching vertex $v_2$. For the market clearing price problem, an example of such a constraint is that $item_1$ is priced at least as much as $item_2$. In addition to finding the optimal solution, our method is useful in enumerating all constrained stable matchings, and all constrained market clearing price vectors.

研究动机与目标

• 将稳定婚姻、最短路径和市场出清价格等基本组合优化问题的求解统一到单一算法框架下。
• 通过引入以格-线性谓词建模的附加约束，推广经典算法。
• 在受约束环境下实现最优解的高效并行与分布式计算。
• 提供一种构造性方法，用于枚举所有受约束的稳定匹配与市场出清价格向量。
• 为受约束解空间中的子格结构与 join-不可约元素表示建立理论基础。

提出的方法

• 将每个问题的解空间建模为 n 维向量的分配格，其中每个向量表示一种分配（例如，男女配对、节点代价、物品价格）。
• 定义一个布尔可行性谓词 B，用于检查给定向量是否满足问题特定约束（例如，无阻塞对、有效树结构、市场出清）。
• 证明可行性谓词 B 是格-线性的，从而可通过从格的最小元开始的单调推进实现高效搜索。
• 使用格-线性谓词检测算法寻找下确界（最优）可行解，该解对应于男方最优的稳定匹配、最短路径或最小市场出清价格。
• 通过计算 join-不可约元素的切片并结合对偶格-线性谓词与构造性 Birkhoff 定理，将该方法扩展至枚举所有受约束解。
• 通过计算每个边 e 的 J(B,e)，构造可行子格的切片，使用针对 B_e(G) ≡ B(G) ∧ (e ∈ G) 的格-线性谓词检测过程。

实验结果

研究问题

• RQ1 是否可以设计一个单一的算法框架，同时求解并推广经典组合优化问题（如稳定婚姻、最短路径和市场出清价格）？
• RQ2 如何利用格-线性谓词在保持算法效率的前提下，为这些问题建模附加约束？
• RQ3 是否可以利用可行解的格结构，将已知算法（如 Gale-Shapley、Dijkstra）作为特例推导出来？
• RQ4 是否可以利用格论方法，构造性地枚举所有受约束的稳定匹配与市场出清价格向量？
• RQ5 对偶格-线性谓词与反向禁止状态在实现反向搜索与子格表征中起到什么作用？

主要发现

• 当不存在约束时，格-线性谓词检测算法将 Gale-Shapley、Dijkstra 与 Demange-Gale-Sotomayor 算法作为特例推导出来。
• 该方法通过利用格结构与从最小元开始的单调推进，实现了最优解的高效并行计算。
• 所有受约束稳定匹配的集合构成一个有限分配格，可通过其 join-不可约元素的偏序集（即“切片”）表示。
• 通过为图中每条边依次求解格-线性谓词检测问题，可构造性地计算出该切片。
• 受约束稳定匹配的可行性谓词既是格-线性的，也是后格-线性的，确保可行集对 join 运算封闭并形成子格。
• 当价格为整数时，该方法通过切片构造，为所有受约束的市场出清价格向量提供简洁且多项式时间的表示。