최소 크기 클리크 트랜스버설 집합 크기 제한 그래프 인식

주어진 그래프에서 최소 크기 클리크 트랜스버설 집합의 크기가 고정된 상수 k 이상인지 여부를 다항식 시간 내에 판별할 수 있다.