2025-11-16T13:10:12.550115

Online MMS Allocation for Chores

Song, Tao, Wang et al.
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

Online MMS Allocation for Chores

基本信息

  • 论文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是任何智能体最大和最小负效用之间的最大比率。

研究背景与动机

1. 问题定义

本文研究的是不可分割家务(chores)的在线公平分配问题。与传统的商品(goods)分配不同,家务具有负效用,智能体希望承担尽可能少的家务。在在线设置中,家务按顺序到达,算法必须在每个家务到达时立即将其分配给某个智能体,且分配决策不可撤销。

2. 研究重要性

该问题在现实中有广泛应用,例如:

  • 在线服务平台上向员工分配工作任务
  • 系统负载均衡问题
  • 资源调度中的公平性保证

3. 现有方法局限性

现有研究存在以下限制:

  • 只在非常限制的假设下取得非平凡结果(如两智能体双值情况)
  • 需要预知每个智能体的总负效用
  • 对于一般情况,最佳已知算法只能保证平凡的n-MMS

4. 研究动机

本文旨在:

  • 确定在线MMS分配问题的理论极限
  • 设计适用于一般情况的实用算法
  • 在实际参数约束下提供更好的性能保证

核心贡献

  1. 理论下界的精确刻画:证明了对于任何固定的n和ε > 0,没有算法能够保证(n-ε)-MMS分配,完全封闭了理论差距
  2. 通用在线算法:提出了适用于一般情况的算法,保证min{n, O(k), O(log D)}-MMS分配
  3. 参数化分析:当k(不同负效用值数量)为常数时,算法能够实现O(1)-MMS保证
  4. 优化的双值情况:对于个性化双值情况,提供了(2+√3) ≈ 3.7-MMS的改进保证
  5. 新的分析技术:引入了"Stacking Game"框架,将问题转化为特殊的差异最小化问题

方法详解

任务定义

  • 输入:n个智能体,m个按顺序到达的家务
  • 约束:每个家务j对智能体i有个性化负效用di(j),负效用函数是可加的
  • 输出:分配A = (A1, ..., An),其中Ai是分配给智能体i的家务集合
  • 目标:实现α-MMS分配,即对所有i,di(Ai) ≤ α · MMSi

模型架构

1. 广义轮询算法框架

算法基于轮询(round-robin)思想的扩展:

  • 为每个智能体i的每种负效用类型θ维护压力参数Hθi
  • 压力参数衡量智能体相对于理想分配的"过载"程度
  • 贪心策略:将新到达的家务分配给对应类型压力最小的智能体

2. 值舍入技术

  • 将每个到达家务的负效用舍入到最近的2的幂次
  • 减少不同负效用类型的数量
  • 将竞争比从O(k²)改进到O(k)

3. 压力更新机制

当家务j到达时:

  • 如果智能体i接收家务j(类型θ),则Hθi增加1
  • 其他智能体i'的对应压力Hθi'减少1/(n-1)

技术创新点

1. Stacking Game抽象

将在线分配问题抽象为连续对称的"堆叠游戏":

  • 在区间(-1/2, 1/2]上维护非递减函数f
  • 对手选择总测度为1/k的区间联合
  • 算法贪心地提升较低部分,降低较高部分
  • 证明了对手无法使函数值超过O(k)

2. 递归构造的下界证明

设计了递归的难例构造:

  • 定义T(n', ε)为n'个智能体达到(n-ε)-MMS所需轮数
  • 通过T(n')构造T(n'+1)的难例
  • 巧妙的"清理"机制使得之前的分配变得可忽略

实验设置

本文主要是理论工作,没有传统意义上的实验评估,而是通过数学证明来验证理论结果。

理论验证方法

  1. 构造性证明:通过具体构造难例来证明下界
  2. 归纳证明:使用数学归纳法证明算法的性能保证
  3. 对偶分析:通过Stacking Game的对偶问题分析算法性能

实验结果

主要理论结果

1. 精确的不可能性结果

定理5:对于任何n和ε > 0,没有在线算法能够保证(n-ε)-MMS分配。

这个结果是精确的,没有隐藏在大O记号中的常数,完全匹配了平凡上界。

2. 通用算法性能

定理1:算法1保证min{n, O(k), O(log D)}-MMS分配,其中:

  • k是所有智能体中不同负效用值的最大数量
  • D是任何智能体最大和最小负效用的最大比率

3. 双值情况的优化

定理6:对于个性化双值情况,存在算法保证min{n, 2+√3}-MMS分配,其中2+√3 ≈ 3.7。

技术分析结果

1. Stacking Game的界限

定理3:在Stacking Game中,对手无法获得超过2k的收益。

这个结果是算法分析的核心,直接导出了O(k)的竞争比。

2. 压力参数的控制

通过Stacking Game分析,证明了所有压力参数Hθi都能保持在O(k)范围内,从而保证了算法的性能。

相关工作

1. 在线负载均衡

在线MMS分配问题与经典的在线负载均衡问题密切相关:

  • Graham (1969)的开创性工作
  • 当前最佳竞争比在1.88, 1.92之间

2. 离线MMS分配

离线情况下的MMS分配研究:

  • 最佳上界:15/13 (Garg et al., 2025)
  • 最佳下界:44/43 (Feige et al., 2021)

3. 在线公平分配

其他在线公平分配工作:

  • 基于嫉妒的公平性概念
  • 智能体在线到达模型
  • 商品的在线分配

结论与讨论

主要结论

  1. 理论极限的完全刻画:证明了n-MMS是在线家务分配问题的精确理论极限
  2. 实用算法设计:提供了在参数约束下性能良好的通用算法
  3. 技术方法论贡献:Stacking Game框架为此类问题提供了新的分析工具

局限性

  1. 难例的实用性:理论下界构造需要极端的负效用比率和大量不同的负效用值
  2. 算法的先验知识:双值优化算法需要预先知道每个智能体最多有两种负效用值
  3. 常数因子:虽然渐近最优,但常数因子仍有改进空间

未来方向

  1. 改进常数因子:在特殊情况下进一步优化竞争比的常数
  2. 其他公平性概念:扩展到其他公平性概念如嫉妒无关性
  3. 实际应用:将理论结果应用到具体的负载均衡和任务调度场景

深度评价

优点

  1. 理论完备性:完全解决了一个重要的开放问题,提供了精确的理论界限
  2. 技术创新性:Stacking Game抽象优雅地统一了不同参数下的分析
  3. 实用价值:在合理参数范围内提供了显著优于平凡算法的性能保证
  4. 分析深度:递归构造的下界证明展现了高超的技术水平

不足

  1. 实验验证缺失:作为纯理论工作,缺乏实际数据上的验证
  2. 参数依赖性:算法性能严重依赖于k和D的值
  3. 复杂度分析:没有详细分析算法的时间和空间复杂度

影响力

  1. 理论贡献:为在线公平分配理论提供了重要的理论基础
  2. 方法论价值:Stacking Game技术可能适用于其他相关问题
  3. 实用指导:为实际系统设计提供了理论指导

适用场景

  1. 在线任务调度:适用于需要公平性保证的任务分配系统
  2. 负载均衡:可应用于多服务器负载均衡场景
  3. 资源分配:适用于各种在线资源分配问题

参考文献

论文引用了丰富的相关工作,包括:

  • Budish (2010): MMS概念的提出
  • Zhou et al. (2023): 在线MMS分配的早期工作
  • Wang and Wei (2025): 双智能体双值情况的结果
  • Garg et al. (2025): 离线MMS分配的最新进展

这篇论文在理论计算机科学和算法博弈论领域做出了重要贡献,不仅完全解决了一个重要的开放问题,还提供了实用的算法设计和新颖的分析技术。虽然主要是理论工作,但其结果对实际应用具有重要的指导意义。