[论文解读] Envy-Free Cake-Cutting in Two Dimensions

Erel Segal-Halevi, Avinatan Hassidim+1 more|arXiv (Cornell University)|Jan 1, 2015

Game Theory and Voting Systems被引用 1

一句话总结

本文提出了針對二維異質資源的免嫉妒與比例分配方案，其中每位參與者必須獲得指定幾何形狀（例如矩形或正方形）的片段，以確保實際可用性。本文提出具體的演算法，即使在無法達成完全比例的情況下，也能在幾何約束下保證公平性，並證明在自然情境中，免嫉妒性可與最佳可能的部分比例性共存。

ABSTRACT

We consider the problem of fairly dividing a two-dimensional heterogeneous resource among several agents with different preferences. Potential applications include dividing land-estates among heirs, museum space among presenters or space in print and electronic media among advertisers. Classic cake-cutting procedures either consider a one-dimensional resource, or allocate each agent a collection of disconnected pieces. In practice, however, the two-dimensional shape of the allotted piece is of crucial importance in many applications. For example, when building houses or designing advertisements, in order to be useful, the allotments should be squares or rectangles with bounded aspect-ratio. We thus introduce the problem of fair two-dimensional division wherein the allocated piece must have a pre-specified geometric shape. We present constructive cake-cutting procedures that satisfy the two most prominent fairness criteria, namely envy-freeness and proportionality. In scenarios where proportionality cannot be achieved due to the geometric constraints, our procedures provide a partially-proportional division, guaranteeing that the fraction allocated to each agent be at least a certain positive constant. We prove that in many natural scenarios the envy-freeness requirement is compatible with the best attainable partial-proportionality.

研究动机与目标

• 解決在偏好不同的參與者之間公平分配二維異質資源的問題。
• 確保每位參與者獲得具有特定幾何形狀（例如矩形或正方形）的片段，以提升實際可用性。
• 發展在幾何約束下滿足免嫉妒性與比例性的具體程序。
• 分析當完全比例性無法達成時的情境，並提供具有正下界的部分比例性保障。
• 證明在自然幾何設定下，免嫉妒性與最佳可達成的部分比例性相容。

提出的方法

• 設計專為具形狀約束的二維資源所量身訂做的具體分蛋糕演算法。
• 透過要求每位參與者的分配片段為具有有界長寬比的矩形或正方形，強制實施幾何約束。
• 將免嫉妒性與比例性標準應用於二維分配，延伸傳統的一維程序。
• 使用幾何分割技術來分割資源，同時維持公平性與形狀要求。
• 當完全比例性無法達成時，建立每位參與者獲得價值比例的下界。
• 分析在實際幾何配置中，免嫉妒性與最佳部分比例性的相容性。

实验结果

研究问题

• RQ1 當每位參與者必須獲得特定幾何形狀的片段時，是否能在二維資源分配中實現免嫉妒與比例公平分配？
• RQ2 當幾何約束導致無法達成完全比例時，每位參與者可保證獲得的價值最大分數為何？
• RQ3 在何種條件下，免嫉妒性與二維分配中最佳可能的部分比例性相容？
• RQ4 如何在不犧牲公平性的前提下，將幾何約束（例如有界長寬比）整合至公平分配演算法中？
• RQ5 在形狀與價值約束下，二維分蛋糕問題的公平性理論極限為何？

主要发现

• 本文提出具體程序，在具形狀約束的二維分蛋糕中實現免嫉妒性與比例性。
• 當因幾何約束導致無法達成完全比例時，該程序可保證每位參與者獲得總價值的正分數。
• 部分比例性中所保證的分數具有正的下界，確保在約束下仍具備公平性。
• 在許多自然情境中，免嫉妒性與最佳可能的部分比例性相容。
• 幾何約束並不會排除公平性，所提出的方法在維持實際形狀要求的同時，仍能保持公平性。