엄격한 지역 탐색은 그만 허용적 지역 탐색으로 보는 정점 커버의 새로운 가능성

초록

이 논문은 정점 커버 문제에 대해 기존의 ‘엄격한’ 지역 탐색(k‑교환 이웃) 대신 ‘허용적’ 지역 탐색을 적용했을 때, 파라미터화 복잡도 관점에서 트랙터블한 입력 클래스를 확대할 수 있음을 보인다. 구체적으로, 최적 해를 찾는 것이 NP‑hard하고, 엄격한 지역 탐색도 W

상세 분석

본 연구는 조합 최적화에서 널리 사용되는 지역 탐색 기법을 두 가지 관점에서 재조명한다. 전통적인 ‘엄격한’ 지역 탐색은 현재 해에서 k개의 원소를 교환하여 얻을 수 있는 모든 이웃을 탐색하고, 그 중 개선된 해가 존재하면 이를 채택한다. Fellows 등(IJCAI 2009)은 여러 문제에 대해 k‑교환 이웃을 완전 탐색하는 것이 파라미터 k에 대해 지수적 시간복잡도를 갖는다는 점을 강조하며, 일부 경우에만 FPT 알고리즘이 존재함을 보였다. 그러나 이러한 접근은 ‘개선된 해가 반드시 이웃 안에 존재해야 한다’는 강제조건 때문에, 전역 최적 해를 다항시간에 구할 수 있더라도 지역 탐색 단계에서 실패할 가능성을 내포한다.

이에 반해 Marx와 Schlotter(IWPEC 2009)가 제안한 ‘허용적’ 지역 탐색(permissive local search)은 “이웃 안에 개선된 해가 없더라도, 전체 탐색 과정에서 최적 해를 찾을 수 있으면 허용한다”는 완화된 정의를 채택한다. 즉, 알고리즘은 k‑교환 이웃을 탐색하되, 이웃에 개선이 없을 경우에도 전역적인 탐색 전략(예: 커팅 플레인, 커널화 등)을 활용해 최적 해를 도출할 수 있다.

논문은 이 개념을 정점 커버(Vertex Cover) 문제에 적용한다. 정점 커버는 그래프 G=(V,E)에서 모든 간선을 커버하도록 최소한의 정점 집합을 찾는 고전적 NP‑완전 문제이다. 기존 연구에서는 ‘정점 커버의 k‑교환 지역 탐색’이 일반 그래프에서 W