k 가법 핵심의 정점 구조와 볼록성 연구

초록

본 논문은 전통적 핵심이 공집합이 되는 경우를 보완하기 위해 k‑가법 게임을 이용한 k‑가법 핵심을 정의하고, k가 충분히 클 때 이 핵심이 비어 있지 않으며 볼록 폐다각형임을 보인다. 특히, 볼록 게임에 대한 샤플리·이치시 정리와 유사하게 k‑가법 핵심의 꼭짓점들을 특성화하는 조건을 제시한다.

상세 분석

논문은 먼저 협동 게임 이론에서 핵심(core)의 정의를 재검토한다. 전통적 핵심은 모든 부분집합 S⊆N에 대해 φ(S)≥v(S)이며 전체 집합에 대해 φ(N)=v(N)인 가법(additive) 게임 φ들의 집합으로, 이는 모비우스 변환이 1‑원소 집합에만 비제로인 특수한 경우이다. 그러나 많은 게임에서 이러한 φ가 존재하지 않아 핵심이 공집합이 된다. 이를 해결하기 위해 저자들은 k‑가법 게임을 도입한다. k‑가법 게임은 모비우스 변환이 크기가 k를 초과하는 모든 부분집합에 대해 0이 되는 게임으로, k가 커질수록 원래 게임에 더 가까운 근사치를 제공한다. k‑가법 핵심은 φ가 k‑가법 게임이면서 위의 지배 조건과 전체 효용 일치를 만족하는 φ들의 집합이다.

핵심이 비어 있지 않게 하기 위한 충분조건으로, 저자는 k가 |N|−1 혹은 |N|에 도달하면 언제든지 k‑가법 핵심이 존재함을 보인다. 이는 모비우스 변환의 자유도가 충분히 커져서 선형 부등식 시스템이 항상 해를 갖게 됨을 의미한다. 또한, k‑가법 핵심은 선형 제약식으로 정의되는 다면체이며, 폐집합이고 볼록성을 가진다.

주요 기여는 이 다면체의 꼭짓점(극점)들을 명시적으로 기술한 것이다. 기존의 샤플리·이치시 정리는 완전볼록(convex) 게임에서 핵심의 꼭짓점이 샤플리 값(Shapley value)과 순서에 따른 마진값들의 조합임을 보여준다. 저자는 이를 일반화하여, k‑가법 핵심의 꼭짓점이 “k‑가법 마진값”들의 특정 순열에 의해 생성된 선형 결합임을 증명한다. 여기서 k‑가법 마진값은 부분집합 크기가 k 이하인 경우에만 비제로인 모비우스 계수를 이용해 정의된다.

정리 1에서는 k‑가법 핵심이 비어 있지 않을 때, 모든 꼭짓점 φ가 어떤 순열 σ∈Π(N)에 대해 φ(T)=∑{S⊆T,|S|≤k} m_v(S)·1{σ(S)⊆T} 형태임을 보인다. 여기서 m_v는 원게임 v의 모비우스 변환이며, 1_{·}는 포함 여부 지시자이다. 정리 2는 이러한 φ가 실제로 핵심의 극점이 되기 위한 충분·필요 조건을 제시한다. 특히, φ가 극점이 되려면 해당 순열에 대해 “k‑가법 마진값”이 비감소 순서로 정렬되어야 함을 요구한다.

이와 더불어 저자는 알고리즘적 함의를 논한다. k‑가법 핵심의 꼭짓점을 구하는 문제는 순열 탐색과 모비우스 계수의 누적 합산으로 환원될 수 있으며, 이는 기존의 그리디 알고리즘(에드몬즈 정리)과 유사한 구조를 가진다. 따라서 k가 작을 때는 다면체의 정점 수가 제한적이어서 효율적인 열거가 가능하고, k가 커질수록 정점이 급증하지만 여전히 선형 계획법을 이용한 다면체 해석이 적용된다.

마지막으로, 저자는 k‑가법 핵심이 기존의 핵심, 베이즈 핵심, 그리고 파레토 효율성 개념과 어떻게 연계되는지를 논의한다. 특히, k가 N의 크기와 동일할 때 k‑가법 핵심은 전통적 핵심과 일치하며, k가 1일 때는 기존의 가법 핵심과 동일함을 확인한다. 이러한 일관성은 제안된 개념이 기존 이론의 자연스러운 확장임을 보여준다.

전반적으로 논문은 k‑가법 게임이라는 새로운 함수 클래스와 그에 대응하는 핵심 개념을 도입함으로써, 핵심이 공집합이 되는 상황에서도 의미 있는 해를 제공하고, 그 해의 구조적 특성을 정점 분석을 통해 명확히 밝힌다. 이는 협동 게임 이론뿐 아니라 서브모듈러 최적화, 마트로이드 이론, 그리고 그리디 알고리즘 설계에 새로운 시각을 제공한다.