NuMVC: 효율적인 최소 정점 커버 로컬 서치 알고리즘

초록

본 논문은 최소 정점 커버 문제를 해결하기 위해 두 단계 교환과 가중치 망각 기법을 결합한 NuMVC 알고리즘을 제안한다 기존 방법의 교환 비용과 가중치 증가만의 편향성을 보완하여 DIMACS와 BHOSLIB 벤치마크에서 경쟁 알고리즘을 능가하는 성능을 입증한다

상세 분석

NuMVC는 기존 MVC 로컬 서치가 한 번에 두 정점을 교환하는 방식이 연산량을 크게 늘린다는 점에 주목한다 이를 해결하기 위해 두 단계 교환 전략을 도입한다 먼저 현재 커버에 포함되지 않은 정점 중 가장 큰 이득을 제공하는 정점을 선택하고 그 다음에 커버에서 제외할 정점을 별도로 선택한다 이 과정은 후보 정점 집합을 크게 축소시키면서도 최적에 가까운 해를 빠르게 탐색할 수 있게 한다 또한 엣지 가중치 기법에 망각 메커니즘을 추가하였다 기존 알고리즘은 uncovered edge의 가중치를 지속적으로 증가시켜 탐색을 다양화했지만 시간이 지남에 따라 가중치가 과도하게 쌓여 지역 최적에 머무르는 현상이 발생한다 NuMVC는 일정 주기마다 모든 엣지의 가중치를 일정 비율 감소시키는 ‘가중치 망각’ 연산을 수행한다 이로써 오래된 탐색 경로의 영향을 완화하고 새로운 탐색 방향을 유도한다 두 전략은 서로 보완적으로 작용한다 두 단계 교환은 후보 선택을 효율화하고, 가중치 망각은 탐색 공간을 지속적으로 재조정한다 결과적으로 탐색 속도와 해의 품질이 동시에 향상된다 실험에서는 DIMACS 인스턴스에서 가장 근접한 경쟁자 PLS와 비교했을 때 평균 실행 시간이 비슷하거나 더 짧았으며, BHOSLIB 인스턴스에서는 모든 경쟁 알고리즘을 명확히 앞섰다 특히 무작위 및 구조적 최대 클리크 인스턴스에 대해 현재 최고의 정확 알고리즘보다 훨씬 빠른 시간에 최적 해를 찾았다 추가적인 실험 분석을 통해 두 단계 교환이 전체 실행 시간의 60% 이상을 차지함을 확인했으며, 가중치 망각 주기를 조절함으로써 탐색의 안정성과 다양성을 동시에 확보할 수 있음을 보였다 이러한 결과는 로컬 서치 기반 조합 최적화에서 교환 연산과 가중치 관리가 핵심적인 성능 결정 요인임을 재확인시킨다