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

온라인 MMS 할당 (가사 분담)

기본 정보

  • 논문 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 (컴퓨터 과학 - 게임 이론)
  • 발표 시간: 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. 기존 방법의 한계

기존 연구는 다음과 같은 제한을 가진다:

  • 매우 제한적인 가정 하에서만 자명하지 않은 결과 달성 (예: 2명 에이전트 이중값 경우)
  • 각 에이전트의 총 음의 효용을 미리 알아야 함
  • 일반적인 경우, 최선의 알려진 알고리즘은 자명한 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): 2명 에이전트 이중값 경우의 결과
  • Garg et al. (2025): 오프라인 MMS 할당의 최신 진전

본 논문은 이론 컴퓨터 과학 및 알고리즘 게임 이론 분야에서 중요한 기여를 한다. 중요한 미해결 문제를 완전히 해결할 뿐만 아니라 실용적인 알고리즘 설계와 새로운 분석 기법을 제공한다. 주로 이론적 작업이지만, 그 결과는 실제 응용에 중요한 지침을 제공한다.