핵심 개념
주어진 그래프에서 최소 크기 클리크 트랜스버설 집합의 크기가 고정된 상수 k 이상인지 여부를 다항식 시간 내에 판별할 수 있다.
초록
이 논문은 그래프에서 최소 크기 클리크 트랜스버설 집합의 크기 제한 문제를 다룹니다.
-
먼저 주어진 그래프 G에서 최소 크기 클리크 트랜스버설 집합의 크기가 고정된 상수 k 이상인지 여부를 판별하는 문제를 정의합니다. 이를 k-Upper Clique Transversal 문제라고 합니다.
-
이 문제는 NP-완전이지만, 고정된 k에 대해서는 다항식 시간에 해결할 수 있음을 보입니다. 이를 위해 다음과 같은 접근을 취합니다:
- 주어진 그래프 G에서 크기가 k-1 이하인 클리크가 최소 클리크 트랜스버설에 포함되는지 확인하는 다항식 시간 알고리즘을 제시합니다.
- 이 알고리즘은 Restricted Dual Conformality 문제를 활용합니다. 이 문제는 그래프의 극대 클리크가 모두 원래 그래프의 최소 트랜스버설인 경우 다항식 시간에 해결할 수 있습니다.
- 결과적으로 k-Upper Clique Transversal 문제는 고정된 k에 대해 O(|V|^(3k-3)) 시간 복잡도의 다항식 시간 알고리즘으로 해결할 수 있습니다.