완전 그래프 테스트는 삼각형 자유 테스트만큼 어려워!

초록

본 논문은 완전 그래프 판별 문제의 테스트 복잡도가 다항식이 아닌, 삼각형 자유성 테스트와 동등하게 어려운 ‘hard’ 클래스에 속함을 증명한다. 반면, P₃(길이 2인 경로) 유도 자유성은 샘플링 기반 알고리즘으로 다항식 시간 내에 테스트할 수 있음을 보이며, 이는 기존 연구에서 남아 있던 두 예외 그래프 중 하나를 해결한다.

상세 분석

논문은 먼저 그래프 속성 테스트의 기본 개념을 정리한다. ε‑far란 그래프를 속성 P에 맞추려면 최소 ε·n²개의 간선을 추가·삭제해야 함을 의미한다. 강한 테스트(strongly testable)는 ε가 고정됐을 때 쿼리 복잡도가 ε에만 의존하는 일면적 테스터가 존재함을 뜻한다. 여기서 쉽게 테스트(easily testable)란 그 복잡도가 ε⁻¹의 다항식으로 제한되는 경우이다. 기존 결과에 따르면 모든 계승적(hereditary) 그래프 속성은 강하게 테스트 가능하지만, 다항식 복잡도로 가능한지는 별도 판별이 필요하다.

저자들은 두 주요 결과를 제시한다. 첫째, 완전 그래프(perfect graph) 테스트는 ‘hard’에 속한다. 이를 보이기 위해 완전 그래프가 포함하는 모든 홀수 사이클 및 그 보완이 없다는 구조적 정의와, 비교가능 그래프가 완전 그래프의 부분집합이라는 사실을 이용한다. 핵심은 삼각형 자유성(triangle‑freeness) 테스트가 이미 hard임을 알려진 바와, 완전 그래프 테스트를 삼각형 자유성 테스트보다 적어도 동등하게 어려운 문제로 환원(reduction)한다는 점이다. 구체적으로, ε‑far인 삼각형‑free 그래프를 적절히 변형해 ε/25‑far인 C₅‑induced‑free 그래프를 만든 뒤, 이 그래프의 무작위 표본이 비교가능 그래프가 될 확률이 ≥½임을 보인다. 비교가능 그래프는 완전 그래프의 부분이므로, 완전 그래프 테스트는 삼각형 자유성 테스트와 동일한 하한을 갖는다.

둘째, P₃‑induced‑free(코그래프) 테스트는 쉽게 수행 가능함을 증명한다. 저자들은 β‑cut이라는 개념을 도입해, 그래프가 충분히 큰 β‑cut을 갖지 않을 경우 반드시 일정 수 이상의 P₃(길이 2 경로) 유도가 존재한다는 레마를 증명한다. 이를 바탕으로, 무작위로 O(β⁻¹²)개의 정점을 샘플링하면, 그래프가 β‑cut을 가지고 있지 않을 경우 거의 확실히 P₃를 포함하고, 반대로 β‑cut이 존재하면 샘플링된 부분 그래프는 두 파트가 거의 완전하거나 거의 비어 있어 P₃가 존재하지 않는다. 따라서 전체 그래프가 ε‑far이면 O(ε⁻¹²) 샘플만으로도 P₃‑induced‑free 여부를 정확히 판단할 수 있다.

이 두 결과는 기존 연구에서 남아 있던 ‘예외 그래프’ 문제를 해결한다. 이전에는 P₃와 C₄(및 그 보완)만이 쉽게 테스트 가능한지 미확인 상태였으나, 본 논문은 P₃에 대해 긍정적 답을 제시하고, 완전 그래프와 비교가능 그래프는 삼각형 자유성 테스트와 동등하게 어려운 ‘hard’ 클래스에 속함을 명확히 한다.

이러한 발견은 그래프 속성 테스트 이론에서 강한 테스트와 쉽게 테스트 사이의 경계선을 구체화하고, 특히 완전 그래프와 같은 복합적인 구조를 가진 그래프 클래스가 실제 알고리즘 설계에서 어떤 한계에 직면하는지를 보여준다. 또한, β‑cut 기반의 분석 기법은 다른 유도 자유성 테스트 문제에도 적용 가능성을 시사한다.