그래프 횡단자 문제와 간선 수축의 복잡성

이 논문은 그래프 변형 문제의 한 갈래인 '차단 문제(Blocker Problem)'를 깊이 있게 탐구합니다. 구체적으로, 그래프 G와 두 양의 정수 k, d가 주어졌을 때, 최대 k개의 간선을 수축하여 그래프 불변량 π의 값을 최소 d만큼 감소시킬 수 있는지 판단하는 Contraction(π) 문제를 연구 대상으로 삼습니다. 저자들은 π를 'H-횡단자(H-transversal)'의 최소 크기, 즉 고정된 그래프 패턴 집합 H의 원소들을 주어진 포함 관계(≺)에 따라 모두 제거하는 데 필요한 최소 정점 개수 τ≺H로 특정합니다. 이 정의는 최소 정점 커버(vc), 최소 피드백 정점 집합(fvs), 최소 홀수 사이클 횡단자(oct) 등 여러 중요한 불변량을 포괄합니다. 논문의 주요 내용은 크게 두 부분으로 나뉩니다. 첫 번째 부분은 문제의 계산적 난해성에 대한 분석입니다. 저자들은 H의 구성과 포함 관계 ≺에 따라 Contraction(τ≺H) 문제가 co-NP-난해임을 증명합니다. 핵심 결과인 정리 4는 H가 2-연결 그래프들을 포함하고 그 중 적어도 하나가 완전 그래프가 아닐 때, 그리고 ≺가 부분그래프, 유도 부분그래프, 마이너, 위상적 마이너 중 하나라면, 심지어 k와 d가 모두 1로 고정된 경우(1-Contraction(τ≺H, 1))에도 문제가 co-NP-난해임을 보입니다. 이는 fvs와 oct가 정확히 이러한 조건을 만족하므로, 해당 불변량에 대한 간선 수축 문제가 매우 어렵다는 결론으로 이어집니다. 추가적으로, H가 크기 3 이상의 클릭들의 집합이고 ≺가 마이너나 위상적 마이너 관계일 때(정리 9), 또는 H가 길이 4 이상의 경로와 임의의 2-연결 그래프들을 포함할 때(정리 10)에도 co-NP-난해성이 성립함을 보입니다. 모든 증명은 3-SAT 문제의 특수한 형태('clean formula')로부터의 감소를 통해 이루어집니다. 이는 특정 간선을 수축해야 하는 문제가 NP-난해하다는 기존 결과(제안 1)를 넘어, 수축할 간선을 마음대로 선택할 수 있는 일반적인 문제의 본질적 어려움을 규명한 것입니다. 두 번째 부분은 유일한 긍정적 알고리즘 결과로, π가 정점 커버 수(vc)인 경우에 대한 것입니다. 저자들은 Contraction(vc) 문제가 매개변수 d에 대해 XP, 즉 |V(G)|^g(d) 시간에 해결 가능함을 증명합니다(정리 15). 이를 위한 알고리즘(알고리즘 1)은 다음과 같은 여러 기술적 단계로 구성됩니다. 먼저, 그래프를 이분 그래프로 만들기 위해 필요한 최소 간선 수축 수인 '이분 수축 수' bc(G)를 FPT 시간에 계산합니다. 만약 bc(G) ≥ d라면, 이분 그래프의 정점 커버 수가 최대 (원래 그래프의 정점 커버 수 - d)가 될 수 있음을 보여 Yes-인스턴스임을 판단합니다. bc(G) ≤ d-1인 경우, 입력 그래프의 각 연결 성분 C에 대해 vc(C) > d인 성분이 존재하는지 여부에 따라 두 가지 전략을 취합니다. 모든 연결 성분이 vc(C) ≤ d를 만족하면, 그래프의 트리폭이 O(d^2)로 제한됨을 증명하고, 이를 이용해 MSO2 논리로 문제를 기술한 후 Courcelle 정리와 동적 계획법을 결합한 FPT 알고리즘을 적용합니다. 반면 vc(C) > d인 연결 성분이 존재하면, 최적 해에서 수축하는 간선의 수 k가 2d 미만임을 증명합니다. 따라서 크기가 2d 미만인 모든 간선 집합 F를 열거하고, 각 F에 대해 G/F가 이분 그래프가 되므로(G는 bc(G) ≤ d-1번의 수축으로 이분 그래프가 될 수 있기 때문), G/F에서의 정점 커버 수를 다항식 시간에 계산하여 원래 조건을 만족하는지 확인합니다. 이 정교한 알고리즘 설계는 매개변수화 복잡도 이론의 다양한 도구(트리폭, MSO2, FPT 알고리즘 설계 기법)를 종합적으로 활용한 사례입니다. 나아가, 이 알고리즘을 변형하여 d를 매개변수로 하는 FPT 시간 내에 Min-Contraction(vc) 문제(최소 수축 횟수 k를 구하는 문제)에 대한 2-근사 해를 구하는 방법도 제시합니다(따름정리 16). 결론적으로, 이 논문은 간선 수축을 통한 그래프 불변량 감소 문제에 대한 포괄적인 복잡도 분석을 제공합니다. 특히, 목표 불변량의 조합론적 성질(τ≺H에서 H와 ≺의 특성)이 계산 복잡성에 미치는 결정적 영향을 밝히고, 유일한 다항식 시간 접근 가능한 경우(vc)에 대한 정교한 매개변수화 알고리즘을 제시함으로써, 해당 연구 분야의 이론적 지평을 확장했습니다.