비대칭 가중치 매칭 문제의 복잡도와 근사 한계

초록

본 논문은 무방향 그래프의 방향 지정으로 구조적 제어 가능성을 최대로 하는 Orientation Control Matching(OCM) 문제와, 각 방향에 비대칭 가중치를 부여한 Asymmetric OCM(AOCM) 문제를 정의한다. OCM은 2‑매칭과 동등함을 이용해 다항시간에 해결 가능함을 보이고, AOCM은 3‑사이클 커버 문제로부터 NP‑완전성을, 그리고 3‑정규 그래프의 최대 독립집합 문제로부터 APX‑hard임을 각각 증명한다.

상세 분석

논문은 먼저 구조적 제어 가능성(strong structural controllability)과 제어 매칭(control matching)의 개념을 정리한다. 제어 매칭은 방향 그래프에서 각 정점이 들어오는 간선과 나가는 간선이 각각 최대 하나씩만 포함되는 간선 집합이며, 이는 이분 그래프 표현에서 1‑매칭과 동치이므로 다항시간 알고리즘으로 최적 매칭을 찾을 수 있다. OCM은 무방향 그래프에 방향을 부여해 최대 제어 매칭을 얻는 문제인데, 가중치가 모두 동일할 경우 이는 “단순 2‑매칭(simple 2‑matching)” 문제와 동일하다. 단순 2‑매칭은 각 정점이 최대 두 개의 간선에만 포함되는 집합으로, 이는 노드‑불연속 경로와 사이클의 집합으로 해석된다. Edmonds의 다면체(polytope) 접근법을 이용해 단순 2‑매칭을 다항시간에 해결할 수 있음을 인용함으로써 OCM이 P‑클래스에 속함을 증명한다.

AOCM은 각 무방향 간선에 두 개의 방향( u→v, v→u )에 서로 다른 가중치를 부여한다. 목표는 방향 선택과 그에 따른 최대 제어 매칭의 가중합을 최대로 하는 방향 집합을 찾는 것이다. 저자는 먼저 AOCM이 NP에 속함을 보이고, 3‑사이클 커버(3‑DCC) 문제로부터 NP‑hardness를 증명한다. 구체적으로, 주어진 3‑DCC 인스턴스 G에 대해 모든 기존 간선을 그대로 복사하고 대칭 간선을 추가해 대칭 방향 그래프 G′를 만든다. 각 기존 간선에 가중치 1, 새로 추가한 대칭 간선에 가중치 0을 부여한다. 그러면 G′가 가중치 |V|인 제어 매칭을 가질 수 있는 방향 집합이 존재한다는 것은 원래 G가 모든 정점을 포함하는 3‑사이클 커버를 갖는 것과 동치가 된다. 따라서 AOCM은 NP‑complete임을 얻는다.

다음으로 AOCM이 APX‑hard임을 보이기 위해 L‑reduction을 사용한다. 입력으로 3‑정규 그래프 G의 최대 독립집합(Max‑E3‑Ind‑Set) 문제를 취한다. 각 원래 정점 u에 대해 두 개의 “edge‑arc”와 두 개의 “node‑arc”를 포함하는 구조를 만든다. edge‑arc는 원래 그래프의 인접 정점과 연결되고, node‑arc는 같은 정점에 속하는 edge‑arc들을 순환적으로 연결한다. 모든 비‑0 가중치 간선은 정확히 하나의 원래 정점에 대응하도록 설계한다. 이렇게 구성된 대칭 방향 그래프 H는 AOCM 인스턴스가 된다.

방향 집합 σ의 최적 매칭 M(σ)에서 선택된 비‑0 간선의 개수를 v(σ)라 하면, 각 정점 u에 대해 선택된 edge‑arc의 수에 따라 최대 3개의 비‑0 간선을 포함할 수 있다. 저자는 네 가지 경우(0,1,2,3개의 edge‑arc 선택)를 분석하고, 최적 방향 집합에서는 가능한 경우가 제한됨을 보인다. 특히, 한 정점에 대해 3개의 edge‑arc가 모두 매칭에 포함될 경우에만 해당 정점이 원래 그래프 G의 독립집합에 포함될 수 있다. 따라서 최적 매칭의 가중치 v(σ*)는 2n + |Vσ3| (n은 정점 수)이며, |Vσ3|는 G의 최대 독립집합 크기와 정확히 일치한다. 이를 통해 OPT_AOCM ≤ α·OPT_IS와 |OPT_IS – |g(σ)|| ≤ β·|OPT_AOCM – v(σ)|를 만족하는 상수 α,β가 존재함을 보이며, L‑reduction이 성립한다. 결과적으로 AOCM은 APX‑hard이며, P=NP가 아니라면 다항시간 근사 알고리즘이 일정 상수 배 이하의 근사비를 보장할 수 없음을 의미한다.

전체적으로 논문은 OCM과 AOCM 사이의 복잡도 차이를 명확히 구분하고, AOCM이 실제 시스템 설계에서 비대칭 비용을 고려해야 할 경우 계산적으로 매우 어려운 문제임을 이론적으로 뒷받침한다. 또한, 2‑매칭, 사이클 커버, 독립집합 등 고전적인 그래프 이론 문제와의 연관성을 통해 복잡도 증명에 필요한 구조적 변환 기법을 잘 보여준다.