그래프에서 트리 패턴 찾기의 NP‑완전성 증명

본 논문은 그래프 구조 데이터에서 패턴 마이닝 문제 중 하나인 “Disjoint Occurrences of a Graph P”의 복잡도 특성을 조사한다. 문제 정의는 다음과 같다: 작은 패턴 P와 큰 그래프 G, 자연수 k가 주어졌을 때, G 안에 서로 간에 간선이 겹치지 않는 P‑동형 부분그래프가 k개 존재하는지를 결정한다. Kuramochi와 Karypis는 이 문제를 Independent Set 문제와 연관지었으나, 자체적인 NP‑완전성 증명은 제시하지 않았다. 저자는 이 공백을 메우기 위해 가장 단순한 트리 패턴 T₃(루트가 세 자식을 갖는 4‑노드 트리)를 선택한다. T₃는 구조가 단순하면서도 충분히 일반적인 경우를 대표한다. 논문은 먼저 “Disjoint Occurrences of a Tree”라는 보다 일반적인 문제를 정의하고, 이 문제 역시 NP‑완전임을 보이기 위해 T₃에 대한 특수한 경우를 증명한다. 핵심 증명은 3차 정규 그래프(cubic graph)와의 동등성에 기반한다. 3차 정규 그래프는 모든 정점이 정확히 차수 3을 가지며, 이는 T₃의 구조와 자연스럽게 맞물린다. G가 임의의 3차 정규 그래프라고 할 때, G 안의 T₃ 발생은 반드시 하나의 중심 정점과 그 정점에 연결된 세 이웃 정점으로 구성된다. 따라서 G의 각 정점은 정확히 하나의 T₃ 발생의 중심이 되며, 두 발생이 간선을 공유한다는 것은 그들의 중심 정점 사이에 직접적인 간선이 존재한다는 의미가 된다. 이러한 일대일 대응을 통해 다음과 같은 동치 관계를 얻는다: - G에 k개의 서로 간에 간선이 겹치지 않는 T₃ 발생이 존재한다 ⇔ G에 서로 인접하지 않는 k개의 정점(독립 집합)이 존재한다. Independent Set 문제는 3차 정규 그래프에서도 NP‑완전임이 잘 알려져 있다(예: Garey & Johnson, 1979). 따라서 T₃ 발생 문제는 바로 NP‑완전임을 결론짓는다. 동시에, 패턴 T를 입력으로 받는 “Disjoint Occurrences of a Tree” 문제는 T를 고정된 T₃로 제한했을 때 이미 NP‑완전이므로, 일반적인 경우에도 복잡도가 낮아지지 않는다. 이는 트리 패턴이라 하더라도, 발생들을 서로 겹치지 않게 선택해야 하는 제약이 문제를 본질적으로 어려워지게 만든다. 논문은 또한, 단순히 패턴 P의 전체 발생 횟수를 세는 문제는 다항 시간 알고리즘으로 해결 가능하지만, 발생들을 서로 겹치지 않게 선택하는 “디스조인트 카운팅” 문제는 NP‑완전이라는 점을 강조한다. 이는 데이터 마이닝 분야에서 빈도 기반 패턴 탐색과 동시에 비중첩 조건을 만족시키는 것이 왜 실용적으로 어려운지를 이론적으로 설명한다. 마지막으로, 저자는 이 결과가 그래프 마이닝 연구에 중요한 경고를 제공한다는 점을 언급한다. 즉, 패턴이 트리이든 일반 그래프이든, 비중첩(디스조인트) 요구조건을 포함하면 문제는 NP‑완전 영역에 머무르게 된다. 향후 연구에서는 근사 알고리즘, 파라메트릭 제한, 혹은 특수 그래프 클래스에 대한 효율적 해결책을 모색해야 할 필요가 있다.