我们研究的问题，划分不可分割的家务代理的成本（家务）是超模集函数与二进制边缘。这样的功能捕捉家务之间的互补性，即，它们构成了一个表达类，其中每个杂务的边际负效用要么是1，要么是0，并且边际相对于超集增加。在这种情况下，我们研究了寻找公平和有效的家务分配的广阔前景。特别是，我们建立了$(i)$ EF 1和帕累托有效的家务分配，$(ii)$ MMS公平和帕累托有效的分配，和$(iii)$洛伦兹主导家务分配的存在。此外，我们开发多项式时间算法-在值预言模型-计算这些公平性和效率标准的家务分配。补充这些存在和算法的结果，我们表明，在这个家务分工设置，上述公平的概念，即EF 1，MMS和洛伦兹支配是无与伦比的：一个分配，满足这些概念中的任何一个不一定满足其他。此外，我们还研究了EFX家务分工。在上述积极的结果相比，我们表明，对于二进制超模成本，帕累托有效的分配，甚至近似EFX不存在，任何任意小的近似常数。仅关注EFX公平性，当成本函数相同时，我们提出了一种计算EFX分配的算法（Add-and-Fix）。对于二进制边缘，我们表明，添加和修复运行在多项式时间。
英文摘要：
We study the problem of dividing indivisible chores among agents whose costs (for the chores) are supermodular set functions with binary marginals. Such functions capture complementarity among chores, i.e., they constitute an expressive class wherein the marginal disutility of each chore is either one or zero, and the marginals increase with respect to supersets. In this setting, we study the broad landscape of finding fair and efficient chore allocations. In particular, we establish the existence of $(i)$ EF1 and Pareto efficient chore allocations, $(ii)$ MMS-fair and Pareto efficient allocations, and $(iii)$ Lorenz dominating chore allocations. Furthermore, we develop polynomial-time algorithms--in the value oracle model--for computing the chore allocations for each of these fairness and efficiency criteria. Complementing these existential and algorithmic results, we show that in this chore division setting, the aforementioned fairness notions, namely EF1, MMS, and Lorenz domination are incomparable: an allocation that satisfies any one of these notions does not necessarily satisfy the others.
Additionally, we study EFX chore division. In contrast to the above-mentioned positive results, we show that, for binary supermodular costs, Pareto efficient allocations that are even approximately EFX do not exist, for any arbitrarily small approximation constant. Focusing on EFX fairness alone, when the cost functions are identical we present an algorithm (Add-and-Fix) that computes an EFX allocation. For binary marginals, we show that Add-and-Fix runs in polynomial time.
Connected EF1 Allocations Exist in Discrete Chore Cutting
School of Computer Science and Technology, Shandong University（山东大学计算机科学与技术学院）；Department of Computing, The Hong Kong Polytechnic University（香港理工大学计算系）
Non-Existence of EFX Chore Allocations for Monotone Cost Functions with Binary Marginals
University of Macau（澳门大学）；Harbin Institute of Technology, Shenzhen（哈尔滨工业大学（深圳））；Shanghai Jiao Tong University（上海交通大学）；Nanyang Technological University（南洋理工大学）
Comparison-Based Fair Division of Indivisible Chores
University of Macau（澳门大学）；Harbin Institute of Technology, Shenzhen（哈尔滨工业大学（深圳））；Shanghai Jiao Tong University（上海交通大学）；Nanyang Technological University（南洋理工大学）
University of Oxford（牛津大学）；Alan Turing Institute（阿兰·图灵研究所）；City University of Hong Kong（香港城市大学）；University of Edinburgh（爱丁堡大学）；Agency for Science, Technology and Research（科技研究局）
