친구관계그래프에서 집배정의 최소질투와 최대행복

초록

본 논문은 에이전트 간 친분을 그래프로 모델링한 ‘그래픽 하우스 할당’ 문제를 다룬다. 두 가지 목표를 설정한다: (1) 인접한 에이전트 사이에서 발생하는 질투 에이전트 수를 최소화하고, (2) 최소 질투 배정 중에서 선호하는 집을 받는 에이전트 수를 최대화한다. 각 에이전트가 선호하는 집의 개수가 1개일 때는 다항시간 알고리즘을 제시하고, 2개로 제한해도 NP‑hard임을 증명한다. 또한 그래프의 희소성, 균형 분리자, 작은 정점 커버 등 구조적 특성을 이용한 정확 알고리즘을 설계한다.

상세 분석

이 논문은 전통적인 하우스 할당 문제에 사회적 네트워크 제약을 추가함으로써 새로운 복합 최적화 문제를 정의한다. 에이전트 그래프 G_A=(A,E_A)에서 인접한 두 에이전트만 서로를 비교할 수 있다는 가정은 질투의 지역성을 도입한다. 질투는 “내가 선호하는 집을 받지 못했지만, 이웃이 내 선호 집을 받았다”는 상황으로 정의되며, 행복은 “내가 선호하는 집을 받았다”는 이진 지표로 측정된다. 두 목표는 서로 상충할 수 있는데, 최소 질투 배정이 반드시 최대 행복을 보장하지 않으며, 반대로 행복을 최대화하려면 질투를 늘릴 위험이 있다.

핵심 이론적 기여는 다음과 같다. 첫째, 각 에이전트가 정확히 하나의 선호 집(d=1)만을 갖는 경우, 질투는 각 에이전트당 최대 하나로 제한된다. 이를 이용해 에이전트와 집을 양측에 두고 가중치를 “이 집을 할당했을 때 발생하는 질투 에이전트 수”로 정의한 완전 이분 그래프 G_F를 만든다. 최소 비용 최대 매칭을 구하면 바로 최소 질투 배정이 얻어지며, 매칭 비용이 질투 에이전트 수와 일대일 대응한다. 이 알고리즘은 O(n·m·log n) 정도의 시간복잡도로 구현 가능하다.

둘째, 선호 집의 개수를 2개로 제한(d≤2)해도 문제는 NP‑hard임을 증명한다. 증명은 완전 이분 그래프와 3‑정규 그래프를 이용한 감소를 통해 이루어지며, 특히 |A|=|H|인 경우에도 난이도가 유지된다. 이는 전통적인 하우스 할당이 |A|=|H|일 때는 다항시간에 해결되는 것과 대조된다.

셋째, 구조적 파라미터에 기반한 정확 알고리즘을 제시한다. 에이전트 그래프가 희소(E_A = o(n log m))하면 2^{|A|+2|E_A|}·poly(n+m) 시간에 해결할 수 있다. 또한, 그래프가 작은 균형 분리자를 갖는 경우(예: 평면 그래프, 제한된 종족 그래프) 분할 정복 기법을 적용해 지수적 복잡도를 크게 낮춘다. 작은 정점 커버 크기 k에 대해서는 O(2^{k}·poly(n+m)) 시간 알고리즘을 설계했으며, k가 (log n)^{O(1)}이면 실질적으로 빠른 해결이 가능하다. 반면, 정점 커버가 n^{ε} 수준인 경우에도 NP‑hard임을 보이며, quasi‑polynomial 시간 알고리즘의 존재 가능성을 차단한다.

마지막으로, 최소 질투 배정 중 행복을 최대화하는 두 번째 목표는 첫 번째 목표와 동일한 복잡도 구간에 놓인다. 즉, 첫 번째 문제에 대한 알고리즘을 그대로 활용하거나, 최소 질투 해를 구한 뒤 그 해들 중 행복을 최적화하는 추가 단계(예: 이진 탐색 + 매칭)로 해결한다. 전체적으로 이 논문은 그래프 구조가 할당 문제의 복잡도에 미치는 영향을 체계적으로 분석하고, 실용적인 인스턴스에 적용 가능한 알고리즘적 도구들을 제공한다.