We study the problem of fair division of indivisible chores among $n$ agents in an online setting, where items arrive sequentially and must be allocated irrevocably upon arrival. The goal is to produce an $α$-MMS allocation at the end. Several recent works have investigated this model, but have only succeeded in obtaining non-trivial algorithms under restrictive assumptions, such as the two-agent bi-valued special case (Wang and Wei, 2025), or by assuming knowledge of the total disutility of each agent (Zhou, Bai, and Wu, 2023). For the general case, the trivial $n$-MMS guarantee remains the best known, while the strongest lower bound is still only $2$.
We close this gap on the negative side by proving that for any fixed $n$ and $\varepsilon$, no algorithm can guarantee an $(n - \varepsilon)$-MMS allocation. Notably, this lower bound holds precisely for every $n$, without hiding constants in big-$O$ notation, thereby exactly matching the trivial upper bound.
Despite this strong impossibility result, we also present positive results. We provide an online algorithm that applies in the general case, guaranteeing a $\min\{n, O(k), O(\log D)\}$-MMS allocation, where $k$ is the maximum number of distinct disutilities across all agents and $D$ is the maximum ratio between the largest and smallest disutilities for any agent. This bound is reasonable across a broad range of scenarios and, for example, implies that we can achieve an $O(1)$-MMS allocation whenever $k$ is constant. Moreover, to optimize the constant in the important personalized bi-valued case, we show that if each agent has at most two distinct disutilities, our algorithm guarantees a $(2 + \sqrt{3}) \approx 3.7$-MMS allocation.
academic- 论文ID: 2507.14039
- 标题: Online MMS Allocation for Chores
- 作者: Jiaxin Song (University of Illinois Urbana-Champaign), Biaoshuai Tao (Shanghai Jiao Tong University), Wenqian Wang (Shanghai Jiao Tong University), Yuhao Zhang (Shanghai Jiao Tong University)
- 分类: cs.GT (Computer Science - Game Theory)
- 发表时间: 2025年10月11日 (arXiv v2)
- 论文链接: https://arxiv.org/abs/2507.14039
本文研究在线环境下n个智能体之间不可分割家务(chores)的公平分配问题。在该设置中,物品按顺序到达,必须在到达时不可撤销地分配给某个智能体,目标是最终产生α-MMS分配。尽管最近的工作在限制性假设下取得了进展,但对于一般情况,已知的最佳保证仍然是平凡的n-MMS,而最强的下界仅为2。本文通过证明对于任何固定的n和ε,没有算法能够保证(n-ε)-MMS分配,从而在负面结果上封闭了这一差距。同时,本文还提出了一个在线算法,保证min{n, O(k), O(log D)}-MMS分配,其中k是所有智能体中不同负效用值的最大数量,D是任何智能体最大和最小负效用之间的最大比率。
本文研究的是不可分割家务(chores)的在线公平分配问题。与传统的商品(goods)分配不同,家务具有负效用,智能体希望承担尽可能少的家务。在在线设置中,家务按顺序到达,算法必须在每个家务到达时立即将其分配给某个智能体,且分配决策不可撤销。
该问题在现实中有广泛应用,例如:
- 在线服务平台上向员工分配工作任务
- 系统负载均衡问题
- 资源调度中的公平性保证
现有研究存在以下限制:
- 只在非常限制的假设下取得非平凡结果(如两智能体双值情况)
- 需要预知每个智能体的总负效用
- 对于一般情况,最佳已知算法只能保证平凡的n-MMS
本文旨在:
- 确定在线MMS分配问题的理论极限
- 设计适用于一般情况的实用算法
- 在实际参数约束下提供更好的性能保证
- 理论下界的精确刻画:证明了对于任何固定的n和ε > 0,没有算法能够保证(n-ε)-MMS分配,完全封闭了理论差距
- 通用在线算法:提出了适用于一般情况的算法,保证min{n, O(k), O(log D)}-MMS分配
- 参数化分析:当k(不同负效用值数量)为常数时,算法能够实现O(1)-MMS保证
- 优化的双值情况:对于个性化双值情况,提供了(2+√3) ≈ 3.7-MMS的改进保证
- 新的分析技术:引入了"Stacking Game"框架,将问题转化为特殊的差异最小化问题
- 输入:n个智能体,m个按顺序到达的家务
- 约束:每个家务j对智能体i有个性化负效用di(j),负效用函数是可加的
- 输出:分配A = (A1, ..., An),其中Ai是分配给智能体i的家务集合
- 目标:实现α-MMS分配,即对所有i,di(Ai) ≤ α · MMSi
算法基于轮询(round-robin)思想的扩展:
- 为每个智能体i的每种负效用类型θ维护压力参数Hθi
- 压力参数衡量智能体相对于理想分配的"过载"程度
- 贪心策略:将新到达的家务分配给对应类型压力最小的智能体
- 将每个到达家务的负效用舍入到最近的2的幂次
- 减少不同负效用类型的数量
- 将竞争比从O(k²)改进到O(k)
当家务j到达时:
- 如果智能体i接收家务j(类型θ),则Hθi增加1
- 其他智能体i'的对应压力Hθi'减少1/(n-1)
将在线分配问题抽象为连续对称的"堆叠游戏":
- 在区间(-1/2, 1/2]上维护非递减函数f
- 对手选择总测度为1/k的区间联合
- 算法贪心地提升较低部分,降低较高部分
- 证明了对手无法使函数值超过O(k)
设计了递归的难例构造:
- 定义T(n', ε)为n'个智能体达到(n-ε)-MMS所需轮数
- 通过T(n')构造T(n'+1)的难例
- 巧妙的"清理"机制使得之前的分配变得可忽略
本文主要是理论工作,没有传统意义上的实验评估,而是通过数学证明来验证理论结果。
- 构造性证明:通过具体构造难例来证明下界
- 归纳证明:使用数学归纳法证明算法的性能保证
- 对偶分析:通过Stacking Game的对偶问题分析算法性能
定理5:对于任何n和ε > 0,没有在线算法能够保证(n-ε)-MMS分配。
这个结果是精确的,没有隐藏在大O记号中的常数,完全匹配了平凡上界。
定理1:算法1保证min{n, O(k), O(log D)}-MMS分配,其中:
- k是所有智能体中不同负效用值的最大数量
- D是任何智能体最大和最小负效用的最大比率
定理6:对于个性化双值情况,存在算法保证min{n, 2+√3}-MMS分配,其中2+√3 ≈ 3.7。
定理3:在Stacking Game中,对手无法获得超过2k的收益。
这个结果是算法分析的核心,直接导出了O(k)的竞争比。
通过Stacking Game分析,证明了所有压力参数Hθi都能保持在O(k)范围内,从而保证了算法的性能。
在线MMS分配问题与经典的在线负载均衡问题密切相关:
- Graham (1969)的开创性工作
- 当前最佳竞争比在1.88, 1.92之间
离线情况下的MMS分配研究:
- 最佳上界:15/13 (Garg et al., 2025)
- 最佳下界:44/43 (Feige et al., 2021)
其他在线公平分配工作:
- 基于嫉妒的公平性概念
- 智能体在线到达模型
- 商品的在线分配
- 理论极限的完全刻画:证明了n-MMS是在线家务分配问题的精确理论极限
- 实用算法设计:提供了在参数约束下性能良好的通用算法
- 技术方法论贡献:Stacking Game框架为此类问题提供了新的分析工具
- 难例的实用性:理论下界构造需要极端的负效用比率和大量不同的负效用值
- 算法的先验知识:双值优化算法需要预先知道每个智能体最多有两种负效用值
- 常数因子:虽然渐近最优,但常数因子仍有改进空间
- 改进常数因子:在特殊情况下进一步优化竞争比的常数
- 其他公平性概念:扩展到其他公平性概念如嫉妒无关性
- 实际应用:将理论结果应用到具体的负载均衡和任务调度场景
- 理论完备性:完全解决了一个重要的开放问题,提供了精确的理论界限
- 技术创新性:Stacking Game抽象优雅地统一了不同参数下的分析
- 实用价值:在合理参数范围内提供了显著优于平凡算法的性能保证
- 分析深度:递归构造的下界证明展现了高超的技术水平
- 实验验证缺失:作为纯理论工作,缺乏实际数据上的验证
- 参数依赖性:算法性能严重依赖于k和D的值
- 复杂度分析:没有详细分析算法的时间和空间复杂度
- 理论贡献:为在线公平分配理论提供了重要的理论基础
- 方法论价值:Stacking Game技术可能适用于其他相关问题
- 实用指导:为实际系统设计提供了理论指导
- 在线任务调度:适用于需要公平性保证的任务分配系统
- 负载均衡:可应用于多服务器负载均衡场景
- 资源分配:适用于各种在线资源分配问题
论文引用了丰富的相关工作,包括:
- Budish (2010): MMS概念的提出
- Zhou et al. (2023): 在线MMS分配的早期工作
- Wang and Wei (2025): 双智能体双值情况的结果
- Garg et al. (2025): 离线MMS分配的最新进展
这篇论文在理论计算机科学和算法博弈论领域做出了重要贡献,不仅完全解决了一个重要的开放问题,还提供了实用的算法设计和新颖的分析技术。虽然主要是理论工作,但其结果对实际应用具有重要的指导意义。