IV 매칭 문제는 강한 NP 완전성

초록

IV‑매칭은 다층 이분 그래프에서 전통적인 완전 매칭을 확장한 개념이다. 저자들은 4계층만을 가진 가장 단순한 비자명한 경우에도 이 문제를 3차원 매칭(3D‑matching)으로부터 다항식 시간 감소시켜 강한 NP‑완전임을 증명한다. 따라서 다항식 혹은 의사다항식 알고리즘이 존재할 가능성은 매우 낮다.

상세 분석

IV‑매칭은 레이어드 그래프라는 특수한 구조 위에서 정의된다. 레이어드 그래프는 V₁,…,V_ℓ 로 구분된 ℓ개의 층과, 각 층을 다시 클러스터로 나눈 뒤, 클러스터 간에 매크로 엣지를 두어 완전 이분 그래프를 형성하도록 설계된다. 짝수 층 V_{2k}의 정점은 정확히 하나의 인접 정점과 연결돼야 하며, 이는 앞·뒤 층(V_{2k‑1} 혹은 V_{2k+1}) 중 하나와만 매칭된다. 홀수 층 V_{2k‑1}의 정점은 두 가지 선택지 중 하나를 만족해야 한다. 첫 번째는 앞 층 V_{2k‑2}에 두 개의 인접 정점과 연결되는 경우(I‑shape), 두 번째는 뒤 층 V_{2k}와 한 쌍을 이루는 경우(V‑shape)이다. 이러한 제약은 매크로 엣지가 매칭 형태를 유지하도록 강제한다.

논문은 ℓ=4인 경우를 중심으로 NP‑완전성을 증명한다. 증명은 고전적인 NP‑완전 문제인 3차원 매칭(3D‑matching)으로부터 다항식 시간 감소를 구성한다. 3D‑matching은 세 파티션 X, Y, Z 로 이루어진 3‑균등 하이퍼그래프 H=(U,F)와, 각 하이퍼엣지가 (x,y,z) 형태인 경우에 전체 정점을 정확히 한 번씩 포함하는 완전 매칭의 존재 여부를 묻는다.

감소 과정은 다음과 같다. X와 Y의 정점을 V₁에, Z의 정점을 V₄에 각각 하나의 클러스터로 배치한다. 각 하이퍼엣지 e=(x,y,z)에 대해 V₂에 두 정점 x_e, y_e를 포함하는 클러스터를 만들고, V₃에 정점 z_e를 포함하는 클러스터를 만든다. 이후 매크로 엣지를 네 개 연결한다: (x, {x_e,y_e}), (y, {x_e,y_e}), ({x_e,y_e}, {z_e}), (z_e, z). 이 구조는 V₂와 V₃의 정점이 모두 I‑shape 혹은 V‑shape 중 하나에 정확히 배치될 수 있게 만든다.

증명에서는 IV‑매칭 M이 존재하면, M 안에서 V₂와 V₃의 정점이 모두 I‑shape으로 매칭된 하이퍼엣지들의 집합이 H의 완전 매칭이 됨을 보인다. 반대로 H에 완전 매칭 N이 있으면, N에 포함된 각 하이퍼엣지에 대해 I‑shape을, 포함되지 않은 하이퍼엣지에 대해 V‑shape을 선택함으로써 IV‑매칭을 구성한다. 이때 사용된 I‑shape의 개수는 정확히 |X|=n이며, V‑shape은 나머지 m−n개가 된다. 따라서 IV‑매칭 존재 여부와 3D‑matching의 완전 매칭 존재 여부가 일대일 대응한다.

중요한 점은 클러스터 크기가 2 이하이므로 입력을 유니코드(단위 길이) 형태로 인코딩해도 여전히 다항식 크기를 유지한다는 것이다. 따라서 문제는 강한 NP‑완전성을 가진다. 이는 기존에 기대되던 다항식 혹은 의사다항식 알고리즘이 존재할 가능성을 배제하고, IV‑매칭 문제의 복잡도 지형을 명확히 구분한다는 의미다.

이 결과는 기존 연구에서 정규 그래프 커버와 연결된 매칭 문제의 알고리즘적 난이도를 재평가하게 만든다. 특히 Fiala 등(2014)이 제시한 정규 커버 판정 알고리즘이 IV‑매칭 단계에 의존한다는 점에서, 해당 알고리즘이 근본적으로 NP‑hard한 서브문제를 포함하고 있음을 보여준다.