대칭 가산형 헤디언 게임에서 안정 파티션의 복잡성 전전

초록

본 논문은 가산형(additively separable) 헤디언 게임에서 안정적인 파티션을 찾는 문제의 복잡성을 체계적으로 분석한다. 저자는 계약적 개인 안정(CIS) 파티션을 다항시간 알고리즘으로 구할 수 있음을 제시하고, 개인 안정(IS)·내시(Nash) 안정 파티션의 계산이 NP‑hard임을 재확인한다. 또한, 선호가 대칭인 경우에도 핵(core)·엄격 핵(strict core) 존재 여부 판단이 강 NP‑hard임을 증명하고, 전체 연합(그랜드 코얼리션)이 계약적 엄격 핵 안정 또는 파레토 최적인지 검증하는 문제가 coNP‑complete임을 보여준다.

상세 분석

가산형 헤디언 게임은 각 에이전트가 다른 에이전트와의 관계에 대해 수치적 가치를 부여하고, 자신의 효용을 해당 파티션에 포함된 모든 동료와의 가중치 합으로 정의한다. 이러한 모델은 실제 협업 시스템에서 시너지와 갈등을 정량화하는 데 유용하지만, 안정 파티션을 찾는 문제는 조합적 폭발을 일으킨다. 논문은 먼저 계약적 개인 안정(CIS)이라는 개념을 도입한다. CIS는 한 명의 에이전트가 현재 파티션을 떠나 다른 파티션에 합류할 때, 떠나는 파티션의 기존 구성원들이 모두 동의해야 한다는 추가 제약을 포함한다. 저자는 이러한 제약이 오히려 탐색 공간을 제한해 다항시간 알고리즘을 설계할 수 있게 만든다고 주장한다. 구체적으로, 에이전트를 효용 순서대로 정렬한 뒤, 현재 파티션에 합류가 가능한 가장 높은 효용을 제공하는 파티션을 선택하는 그리디 절차를 제시한다. 이 절차는 각 단계에서 계약적 동의를 검증하는 서브루틴을 포함하지만, 선호가 가산형이므로 효용 계산이 O(n) 시간에 가능하고, 전체 과정은 O(n^2) 시간 복잡도를 가진다. 이는 기존에 IS나 내시 안정 파티션을 찾는 것이 NP‑hard인 결과와 뚜렷하게 대비된다.

다음으로 논문은 핵(core)와 엄격 핵(strict core)의 존재 판단이 강 NP‑hard임을 증명한다. 여기서 ‘강’이라는 의미는 입력값의 수치가 폴리노미얼 바운드에 제한되지 않아도 난이도가 유지된다는 뜻이다. 저자는 대칭 선호(즉, i가 j에게 부여하는 가치와 j가 i에게 부여하는 가치가 동일)라는 제한을 두고도, 3‑파티션(3‑Partition) 문제와의 다항시간 환원을 통해 강 NP‑hardness를 보인다. 핵이 존재하려면 어떤 파티션도 모든 구성원을 동시에 만족시키는 ‘차단 집합’이 없어야 하는데, 이는 부분합 문제와 동일한 구조를 띤다. 엄격 핵은 차단 집합이 존재하더라도 그 차단이 모든 구성원을 엄격히 개선시켜야 한다는 추가 조건을 갖지만, 환원 과정에서 동일한 논리를 적용해 난이도가 유지된다.

마지막으로, 전체 연합(그랜드 코얼리션)이 계약적 엄격 핵(contractually strict core, CSC) 안정인지 혹은 파레토 최적인지 판단하는 문제를 다룬다. 여기서는 ‘모든 에이전트가 현재 파티션에 머무르는 것이 계약적 동의 하에 차단되지 않는다’는 조건을 검증한다. 저자는 이 검증이 coNP‑complete임을 보인다. 즉, 반례(즉, 차단 집합이 존재함)를 다항시간에 검증할 수 있지만, 차단이 없음을 증명하는 것은 coNP‑hard이다. 이를 위해, SAT의 부정형(unsatisfiable) 인스턴스를 차단 집합이 존재하지 않는 경우에 대응시키는 복잡도 이론적 구조를 설계한다. 이러한 결과는 헤디언 게임에서 가장 직관적인 파티션인 그랜드 코얼리션조차도 효율적으로 검증하기 어렵다는 점을 강조한다.

전체적으로 논문은 가산형 헤디언 게임의 안정성 개념을 세밀히 구분하고, 각 개념별 복잡도 지형을 명확히 제시한다. 특히, 계약적 개인 안정이라는 새로운 안정성 기준을 도입해 다항시간 알고리즘을 제공함으로써, 실무 시스템에서 실시간 파티션 재구성이 가능한 시나리오를 제시한다. 반면, 핵·엄격 핵 존재 여부와 그랜드 코얼리션의 CSC·파레토 최적성 검증은 여전히 계산적으로 어려운 문제로 남아, 근사 알고리즘이나 제한된 특수 경우에 대한 추가 연구가 필요함을 시사한다.