알트루이스트 기증자를 활용한 핵심 안정성 신장 교환

초록

본 논문은 병원·국가 간 신장 교환 시장에서 핵심(core) 안정성이 깨지는 경우를 알트루이스트(비지시적) 기증자를 추가함으로써 회복할 수 있음을 보인다. 무작위 그래프와 타입 기반 그래프 두 모델을 분석해, 쌍 교환에서는 독립적인 홀수 사이클 수만큼, 제한된 사이클 길이에서는 타입 수에 비례하는 소수의 알트루이스트만이면 충분함을 증명한다. 시뮬레이션 결과 실제 데이터에서는 이론적 최악 경우보다 훨씬 적은 알트루이스트로 핵심 안정성을 달성할 수 있음을 확인한다.

상세 분석

논문은 먼저 신장 교환을 조직(병원·국가) 단위의 플레이어가 각각 다수의 환자‑기증자 쌍을 보유하고, 이들을 정점으로 하는 유향 호환 그래프 G=(V,E) 로 모델링한다. 각 조직은 자신이 보유한 정점 집합 V_i 를 통제하며, 교환은 사이클(폐쇄 루프) 혹은 체인(알트루이스트 시작) 형태로 이루어진다. 핵심(core) 개념은 어떤 조직 집합이 자체적으로 교환을 재구성해 모든 구성원이 더 많은 이식을 얻을 수 없도록 하는 할당을 의미한다. 기존 연구에서는 조직 간 비용·전략적 보류로 인해 핵심이 비어 있는 경우가 빈번함을 지적했지만, 이를 해결할 구조적 방법은 제시되지 않았다.

저자는 “보강된 핵심(supplemented core)”이라는 새로운 해법을 제안한다. 중앙 플랫폼이 제한된 수의 알트루이스트(비지시적 기증자)를 추가 제공하면, 모든 조직이 기존 환자‑기증자 쌍만으로 구성된 교환에 알트루이스트를 연결한 확장 그래프에서 핵심 할당을 찾을 수 있다. 핵심이 존재하려면 추가 알트루이스트 수가 그래프의 특정 구조적 파라미터에 비례하면 된다.

첫 번째 주요 결과는 쌍 교환(길이 2 사이클)만 허용할 때 필요한 알트루이스트 수가 “독립적인 홀수 사이클(independent odd cycles)”의 최대 개수와 동일하다는 점이다. 독립적인 홀수 사이클이란 서로 정점이 겹치지 않고, 사이클 간에 상호 호환 엣지가 전혀 없는 홀수 길이 사이클 집합을 말한다. 이 파라미터는 두 가지 그래프 모델에서 상한을 구한다. 무작위 그래프 모델에서는 각 정점이 독립적으로 연결될 확률이 일정하므로, 독립적인 홀수 사이클의 기대 개수는 O(log|V|) 로 로그 성장한다. 타입 기반 모델에서는 전체 타입 수 t 에 대해 최대 독립 홀수 사이클 수가 ⌊t/3⌋ 이하임을 증명한다. 따라서 현실적인 신장 교환 시장(타입 수가 1020 정도)에서는 수십 개 이하, 실제로는 13개 수준의 알트루이스트만이면 충분하다.

두 번째 결과는 사이클 길이가 Δ (예: 35) 로 제한된 경우이다. 여기서는 각 조직이 받아야 할 알트루이스트 수가 (t+1)(Δ−1) 이하임을 보인다. 즉, 타입 수가 고정돼 있으면 조직당 상수 개수의 알트루이스트만 필요하고, 조직 수가 적은 유럽 국제 교환(34개 국가)에서는 전체 알트루이스트 수도 상수 수준으로 제한된다.

이론적 상한 외에도 저자는 하위 최적 해법을 제시한다. Scarf의 보조정리를 이용해 존재를 보장하지만 직접 계산이 불가능한 핵심을, 정수 계획법 기반의 휴리스틱으로 근사한다. 사이클 열거, 차단 연합 제한, 반복적인 연합 제약 생성, 그리고 알트루이스트 삽입을 결합해 실제 인스턴스(500쌍 규모)에서도 4개 이하의 조직 연합을 고려해 빠르게 해결한다.

시뮬레이션에서는 실제 혈액형·cPRA 분포를 반영한 인스턴스를 생성해, 핵심이 비어 있는 경우는 전체의 23%에 불과했다. 그때도 단일 알트루이스트 삽입만으로 핵심을 복원할 수 있었다. 강한 핵심(strong core)·전이 가능 효용(TU) 핵심까지 고려했을 때도 전체 환자 풀의 1% 미만의 알트루이스트로 안정성을 확보했다. 또한, 기존의 계층적 목표(이식 수 최대화 → 사이클 수 최소화 등)를 우선 최적화한 뒤 알트루이스트를 추가해도 목표 손실이 거의 없으며, 평균 12개의 알트루이스트만으로 충분했다.

결과적으로, 알트루이스트는 단순히 매칭률을 높이는 도구를 넘어, 조직 간 전략적 보류를 억제하고 시장 전체의 핵심 안정성을 보장하는 핵심 인프라로 작용한다는 점을 실증·이론적으로 입증한다.