반복 할당의 영원한 공정성: 균형 순열 시퀀스

이 논문은 “반복 할당(Fair Repeated Assignment)”이라는 새로운 공정성 문제를 제기한다. n개의 서로 다른 아이템(예: 집안일, 사탕, 좌석 등)과 n명의 플레이어가 존재하고, 매일 각 플레이어에게 정확히 하나의 아이템을 할당한다. 목표는 매일마다 모든 플레이어가 자신이 공정하게 대우받고 있다고 느끼게 하는 것이다. 이를 위해 저자는 순열 시퀀스(각 날의 할당을 하나의 순열로 보는) 위에 여러 균형 조건을 정의하고, 각 조건의 존재 여부와 한계를 체계적으로 분석한다. 1. **문제 정의와 기본 설정** - 아이템은 1 ~ n 순위로 정렬되며, 1이 가장 가치가 높다. - 하루의 할당은 아이템과 플레이어 사이의 전단사, 즉 순열이다. - t일째까지 각 플레이어 i가 받은 아이템들의 멀티셋을 Z_ti라 하고, 전체 멀티셋을 Z_tN이라 한다. 2. **Top‑Balance (상위 균형)** - 정의 4.1에 따라, t일째까지 모든 플레이어는 ⌈n/t⌉ 이하에 해당하는 아이템을 최소 하나씩 받아야 한다. - 이는 “상위 절반, 상위 3분의 1 …”을 단계적으로 보장한다. - 저자는 귀납적 알고리즘을 제시해, 모든 n에 대해 Top‑Balance 시퀀스를 구성할 수 있음을 증명한다. 핵심 아이디어는 아직 상위 아이템을 받지 않은 플레이어에게 우선 배정하는 것이다. 3. **Balanced (강한 균형)** - 정의 5.1은 Top‑Balance를 일반화한다. t일째까지, 각 플레이어 i는 j번째 최고 아이템이 ⌈j·n/t⌉ 이하에 속하도록 해야 한다(모든 j∈