제한된 협력 게임에서 핵을 유한하게 만드는 최소 제약 찾기

초록

본 논문은 제한된 협력 구조를 갖는 협동 게임에서 핵(core)이 무한히 발산하는 문제를 해결하고자, 핵을 정의하는 부등식 중 일부를 등식으로 전환하는 최소 집합을 찾는 방법을 제시한다. 특히, 분배격자(distributive lattice) 구조를 갖는 경우에 대한 완전한 해답을 제공하고, 정규 집합(regular set system)과 약한 합집합 폐쇄(weakly union‑closed) 구조에 대해서도 부분적인 결과를 제시한다. 또한 제한된 핵에 대응하는 제한된 Weber 집합을 정의하고, 핵이 Weber 집합에 포함되는 고전적 성질을 유지함을 증명한다.

상세 분석

핵은 모든 가능한 연합이 최소한 자신이 얻을 수 있는 가치(v(S))를 받도록 하는 지급 벡터들의 집합으로 정의된다. 제한된 협력 상황에서는 허용 가능한 연합들의 집합 F가 2^N의 부분집합이 되며, 이때 핵은 부등식 x(S) ≥ v(S) (S∈F)와 효율성 조건 x(N)=v(N) 으로 정의되는 다면체가 된다. 그러나 F가 완전 격자 구조를 갖지 않을 경우, 이 다면체는 종종 무한히 뻗어나가는 극선(rays)을 포함하게 되며, 이는 실제 지급이 무한히 커질 수 있다는 비현실적인 상황을 초래한다.

논문은 이러한 무한성을 제거하기 위해 부등식 중 일부를 등식으로 바꾸는 “정규 집합(Normal collection)”을 도입한다. 핵이 유한해지기 위해서는 재발산 원뿔 C(0) 의 모든 극선이 차단되어야 하는데, 이는 등식 x(F)=0 을 만족하는 F∈F 가 해당 극선을 “죽이는” 조건과 동치임을 보인다. 특히, F가 분배격자일 때는 각 원소 i∈N 에 대해 하위집합 J_i=↓i (즉, i 이하의 모든 원소) 가 정의되고, 극선은 (1_j, −1_i) 형태로 나타난다(여기서 j≺i). 이때 j∈F 이면서 i∉F 인 경우에만 해당 극선이 차단된다.

핵을 유한하게 만들기 위한 최소 등식 개수는 격자의 높이 h(N)와 정확히 일치한다. 이는 격자 내에서 최소 원소에서 최대 원소까지의 최대 사슬 길이가 h(N)이며, 각 사슬의 인접 원소 쌍에 대응하는 극선을 차단하려면 최소 h(N) 개의 서로 다른 하위집합을 선택해야 함을 의미한다. 논문은 이를 구현하는 알고리즘(Algo 1)을 제시한다. 알고리즘은 현재 남아 있는 원소 집합 M 에서 최소 원소들을 찾아 그들의 하위집합 ↓M₀ 에 대해 x(↓M₀)=0 을 부과하고, 이를 반복적으로 제거한다. 결과적으로 h(N) 번의 반복을 통해 정확히 h(N) 개의 등식이 생성되며, 이는 극선 차단에 충분하고 또한 최소임을 증명한다.

또한, 핵을 Weber 집합에 포함시키는 고전적 결과를 유지하기 위해 “제한된 Weber 집합”을 정의한다. 제한된 Weber 집합은 원래 Weber 집합의 정의에 정규 집합에 대한 등식 조건을 추가한 형태이며, 핵 C_N(v) ⊆ W_N(v) 가 항상 성립한다.

분배격자 외의 구조에 대해서는 두 가지 확장을 제시한다. 첫째, 정규 집합이 모든 사슬을 동일한 길이로 갖는 “정규 집합 시스템”(regular set system)에서는 동일한 알고리즘이 적용 가능함을 보인다. 둘째, 약한 합집합 폐쇄(weakly union‑closed) 시스템에서는 추가적인 구조적 가정이 필요하지만, 특정 형태의 극선이 존재할 경우 이를 분배격자로 변환하여 동일한 방법을 적용할 수 있음을 제시한다. 일반적인 경우에 대해서는 극선의 형태를 분석하고, 필요한 최소 등식 집합을 찾는 문제를 NP‑hard와는 구별되는 다항시간 절차로 해결할 수 있는 조건들을 탐색한다.

전반적으로 논문은 핵의 무한성 문제를 선형계획의 관점에서 재구성하고, 최소한의 효율성 제약을 통해 핵을 실용적인 유한 다면체로 변환하는 체계적인 방법론을 제공한다. 이는 제한된 협력 구조를 갖는 다양한 실제 응용(네트워크 비용 분담, 공급망 협상 등)에서 핵을 해석하고 활용하는 데 중요한 이론적 기반을 제공한다.