두 명을 위한 다중 케이크 공정 분배

초록

본 논문은 여러 개의 케이크를 동시에 나누어 두 명의 플레이어가 각각 각 케이크에서 한 조각씩 선택하도록 하는 ‘다중 케이크 분할’ 문제를 정의하고, 조각 선택이 서로 겹치지 않으면서도 각 플레이어가 자신의 최선 선택을 얻는 ‘공정(en­vy‑free)’ 해의 존재 여부를 탐구한다. 두 케이크를 두 조각씩, 세 케이크를 세 조각씩 자를 경우 해가 없을 수 있음을 보이며, 반대로 두 케이크를 세 조각씩, 세 케이크를 네 조각씩 자르면 항상 해가 존재함을 증명한다. 핵심 도구는 다면체 위의 Sperner 보조정리를 일반화한 정리이며, 이를 통해 찾은 해는 파레토 최적임을 확인한다.

상세 분석

이 연구는 전통적인 ‘단일 케이크’ 분할 모델을 다중 케이크 상황으로 확장한다는 점에서 의미가 크다. 기존의 ‘공정(en­vy‑free)’ 분할은 한 명이 전체 케이크에서 하나의 조각을 받는 형태였지만, 여기서는 각 플레이어가 여러 케이크에서 각각 하나씩 선택한다는 ‘조각 선택 집합(selection set)’ 개념을 도입한다. 중요한 점은 플레이어들의 선호가 케이크 간에 연계될 수 있다는 가정이다. 예를 들어, 어떤 플레이어는 첫 번째 케이크에서 큰 조각을 원하지만, 두 번째 케이크에서는 작은 조각을 선호하는 식으로, 각 케이크에 대한 독립적인 효용이 아니라 조합 효용이 존재한다는 것이다.

논문은 먼저 “두 케이크, 두 조각” 상황을 분석한다. 여기서는 각 케이크를 두 개의 조각으로 나누고, 두 플레이어가 각각 한 조각씩 선택하도록 한다. 저자들은 Sperner의 정리를 적용해 가능한 분할의 다면체(단순히 2‑차원 사각형)를 색칠하고, 색상(플레이어의 선호) 배치가 특정 패턴을 만들 때 겹치는 조각이 발생한다는 반례를 제시한다. 즉, 공정하면서도 겹치지 않는 선택이 존재하지 않을 수 있다.

다음으로 “세 케이크, 세 조각” 경우를 살펴보는데, 여기서는 3‑차원 단순체(삼각형 피라미드)를 이용해 색칠한다. 마찬가지로 색상 배치가 특정 구조를 형성하면, 두 플레이어가 각각 한 조각씩 선택하더라도 최소 하나의 케이크에서 동일한 조각을 원하게 된다. 따라서 공정·비겹침 해가 보장되지 않는다.

반면, “두 케이크, 세 조각”과 “세 케이크, 네 조각” 상황에서는 보다 높은 조각 수가 주어짐으로써 색상 배치가 충분히 자유로워진다. 저자들은 다면체의 차원을 늘리고, 각 면을 ‘플레이어‑선호 색상’으로 라벨링하는 일반화된 Sperner 보조정리를 증명한다. 이 정리는 모든 가능한 색상 배치가 최소 하나의 ‘완전 색상 셀(fully‑colored simplex)’을 포함한다는 것을 보장한다. 그 셀은 바로 두 플레이어가 겹치지 않게 각각 원하는 조각을 선택할 수 있는 분할을 의미한다.

또한, 찾은 해가 파레토 최적임을 증명한다. 파레토 최적이란, 어느 한 플레이어의 효용을 높이면서 다른 플레이어의 효용을 감소시킬 수 없는 상태를 말한다. 여기서는 각 플레이어가 자신의 최선 선택을 얻고, 동시에 남은 조각을 재분배해도 어느 쪽도 더 나은 상황으로 만들 수 없음을 보인다. 이는 다중 케이크 환경에서도 공정성과 효율성을 동시에 달성할 수 있음을 시사한다.

기술적으로는 다면체 위의 ‘색상 함수’를 연속적으로 정의하고, 이를 미분가능하게 근사함으로써 컴퓨터 시뮬레이션에서도 해를 찾을 수 있는 알고리즘적 가능성을 열어준다. 이와 같은 접근은 기존의 ‘귀도 정리(Good‑Cut)’나 ‘분할-불가능 정리’를 다중 자원 할당 문제에 적용하는 새로운 틀을 제공한다.

요약하면, 논문은 다중 케이크·다중 조각 상황에서 공정·비겹침 해의 존재 여부를 조각 수와 케이크 수의 조합에 따라 체계적으로 규명하고, 이를 일반화된 Sperner 보조정리와 파레토 최적성 분석을 통해 이론적으로 뒷받침한다. 이러한 결과는 복수의 자원을 동시에 할당해야 하는 실생활 문제(예: 시간표 배정, 다중 자산 분배)에도 적용 가능성을 시사한다.