자원 배분 문제의 새로운 복잡도 결과

초록

본 논문은 세 가지 주요 복잡도 결과를 제시한다. 첫째, 원자 요구와 최대 효용 함수를 갖는 에이전트들의 경우 레키민-최대 배분 문제를 다항 시간 알고리즘으로 해결할 수 있음을 보인다. 둘째, 1‑가법 효용 함수를 가진 에이전트들에 대해 주어진 배분이 파레토 최적인지 판단하는 문제가 coNP‑complete임을 증명한다. 셋째, 같은 효용 모델에서 파레토 최적이면서 동시에 envy‑free인 배분 존재 여부를 결정하는 문제가 Σ₂^p‑complete임을 보여준다.

상세 분석

논문은 먼저 레키민‑최대 배분(LMMUAB‑ALLOCATION‑OPT) 문제를 정의하고, 이를 이분 그래프의 최소 가중 매칭 문제로 환원한다. 각 자원‑에이전트 쌍에 대해 “우선순위” 가중치를 정의하는데, 이는 원자 요구 집합 D_i의 값 r_{i,j}를 비교하여 높은 요구일수록 낮은 가중치를 부여한다. 이렇게 구성된 완전 이분 그래프에 대해 Hungarian 알고리즘을 적용하면, 최소 총 가중치를 갖는 매칭이 레키민 순서에 따라 가장 낮은 효용을 최대화하는 배분을 제공한다. 알고리즘의 시간 복잡도는 O((m+n)·log(m+n)+(m+n)·m²n²)으로 다항 시간에 해결 가능함을 증명한다.

다음으로 파레토 최적성 판단 문제(PO‑ALLOCATION‑ADDITIVE)를 다루며, 1‑가법 효용 함수가 주어졌을 때 배분 a가 파레토 최적인지를 결정하는 것이 coNP‑complete임을 보인다. 여기서는 기존의 k‑가법( k≥2) 효용에 대한 결과를 1‑가법으로 제한함으로써, 기존 증명의 핵심 아이디어를 유지하면서도 새로운 감소를 구성한다. 구체적으로, 3‑SAT의 부정형을 이용해 “존재하지 않는 개선”을 확인하는 절차를 파레토 비효율성 검증에 대응시켜, 문제를 coNP‑hard로 만든다.

마지막으로 파레토 최적이면서 envy‑free인 배분 존재 여부를 Σ₂^p‑complete로 분류한다. 이는 ∀∃3‑CNF(Π₂^p‑complete) 문제의 보완을 이용한 이중 양자화 감소를 통해 증명된다. 즉, “모든 에이전트에 대해… 존재한다” 형태의 논리식을 자원 배분의 공정성·효율성 조건에 매핑함으로써, 두 번째 수준의 다항 계층 복잡도를 확보한다. 이러한 결과는 자원 배분에서 공정성·효율성 트레이드오프가 계산적으로 얼마나 어려운지를 명확히 보여준다.

전체적으로 논문은 레키민‑최대 배분에 대한 효율적인 알고리즘을 제공함과 동시에, 파레토 최적성 및 envy‑free 존재 판단이 높은 복잡도 클래스로 귀속된다는 중요한 이론적 통찰을 제공한다. 이는 인디비주얼 자원 할당, 전자상거래, 클라우드 자원 스케줄링 등 실용적 응용 분야에서 알고리즘 설계와 복잡도 한계를 이해하는 데 큰 기여를 한다.