경로 그래프를 금지된 유도 부분 그래프로 규정하기

본 연구는 트리의 부분 경로들의 교집합으로 표현되는 그래프, 즉 경로 그래프(path graph)를 완전한 금지 유도 부분 그래프 목록으로 규정하는 문제에 답한다. 1970년 Renz가 제시한 “경로 그래프를 금지된 유도 부분 그래프로 특징짓는가?”라는 질문에 대해, 저자들은 17개의 최소 비경로 그래프 F₀ ~ F₁₆을 찾아내고, 이들만을 포함하지 않는 모든 그래프가 경로 그래프임을 증명한다. 논문은 먼저 기본 용어와 기존 결과를 정리한다. 홀은 4개 이상의 정점으로 이루어진 차순 없는 사이클이며, 이를 포함하지 않는 그래프를 코라델(chordal)이라 한다. 가브릴의 정리에 따르면 코라델 그래프는 트리의 부분 트리들의 교집합 그래프와 동치이며, 구간 그래프는 실선 위의 구간들의 교집합으로 정의된다. 경로 그래프는 코라델 그래프의 부분집합이면서 구간 그래프를 포함하는 중간 클래스이다. 핵심 이론적 도구는 “특수 단순 정점(special simplicial vertex)”과 “공동‑특수 정점(co‑special simplicial vertex)”이다. 단순 정점은 이웃이 완전 그래프인 정점이며, 특수 단순 정점은 그 정점이 속한 최소 구분자 Sᵥ가 전체 구분자 집합 S 에서 포함 관계상 최대인 경우를 말한다. 정리 2에서는 코라델 그래프가 클리크가 아닌 경우, 반드시 두 개의 비인접 특수 단순 정점이 존재함을 귀납적으로 증명한다. 이는 디랙이 보인 “코라델 그래프는 최소 두 개의 비인접 단순 정점을 가진다”는 정리를 일반화한 것으로, 이후 금지 그래프의 구조 분석에 핵심적인 역할을 한다. 다음 단계에서 저자들은 17개의 그래프 F₀ ~ F₁₆을 제시한다. F₀은 가장 작은 비경로 그래프이며, F₁~F₅는 구간 그래프의 최소 금지 그래프에 보편 정점 x를 추가한 형태이다. F₆과 F₁₀(8)은 Renz가 처음 제시한 예시이며, F₁₁~F₁₅는 순환 구조에 주변 정점들을 붙인 복합 형태이다. 각 그래프는 “주변 클리크(peripheral cliques)”와 “중심 클리크(central cliques)”라는 두 종류의 최대 클리크가 교차하면서, 클리크 트리에서 특정 클리크가 경로가 되지 못하도록 만든다. 정리 3은 이 17개의 그래프가 모두 최소 비경로 그래프임을 보인다. 증명은 각 그래프가 코라델이므로 클리크 트리를 가질 수 있음을 이용한다. 이후 특수 단순 정점이 존재함을 보이고, 클리크 트리에서 주변 클리크와 중심 클리크가 번갈아 배치될 경우, 어떤 정점의 서브트리를 보면 반드시 경로가 아닌 구조가 나타난다. 반대로, 그래프에서 임의의 정점 x를 제거하면, 남은 그래프는 클리크 경로 트리를 구성할 수 있음을 구체적인 구성 예시를 통해 보여준다. 레마 1에서는 최소 비경로 그래프가 F₁₁~F₁₅에 속하지 않을 경우, 모든 단순 정점이 공동‑특수 정점임을 증명한다. 공동‑특수 정점은 구분자 Sᵥ가 그래프를 정확히 두 개의 연결 성분으로 나누는 최소 구분자이며, 클리크 트리에서 해당 라벨이 정확히 한 번만 나타나는 특성을 갖는다. 이를 이용해 최소 비경로 그래프가 존재하면 특수·공동‑특수 정점 사이에 모순이 발생함을 보이며, 따라서 금지 그래프 목록이 완전함을 확정한다. 알고리즘적 논의에서는 LexBFS와 MCS가 코라델 그래프에서 단순 정점을 선형 시간에 찾을 수 있지만, 특수 단순 정점을 찾는 효율적인 방법은 아직 알려지지 않았다고 언급한다. 정리 2의 증명은 다항 시간 알고리즘으로 전환 가능하지만, 선형 시간 구현은 미해결 과제로 남겨둔다. 결론적으로, 본 논문은 코라델 그래프 이론, 클리크 트리 구조, 그리고 특수·공동‑특수 정점 개념을 결합해 경로 그래프를 완전한 금지 유도 부분 그래프 목록으로 규정함으로써, 50년 넘게 남아 있던 Renz의 문제에 정확히 답한다.