접촉 삼각형 그래프 연구

초록

본 논문은 그래프를 삼각형의 변이 서로 접하도록 배치하는 표현 방법을 탐구한다. 정점 쌍이 작은 공통 이웃을 가져야 한다는 필요조건을 제시하고, 외부 평면 그래프, 정사각형 격자 그래프, 육각형 격자 그래프에 대해 선형 시간 알고리즘으로 접촉 삼각형 표현을 구성한다. 또한 이 클래스가 마이너에 대해 닫혀 있지 않음을 보이며, 다각형 삼각분할 형태로 나타낼 수 있는 2-연결 그래프에 대한 완전한 특성을 제시한다.

상세 요약

논문은 “접촉 삼각형 그래프(touching triangle graphs)”라는 새로운 그래프 표현 모델을 정의한다. 여기서 각 정점은 평면상의 삼각형으로 대응되고, 두 정점 사이에 간선이 존재한다면 해당 삼각형들의 한 변이 정확히 맞닿아야 한다는 제약이 있다. 이러한 모델은 기존의 접촉 그래프(contact graph)와는 달리 변과 변이 맞닿는 형태에 초점을 맞추어, 삼각형의 기하학적 구조를 활용한 그래프 이론적 분석을 가능하게 한다.

첫 번째 주요 결과는 정점 쌍 (u, v) 가 간선을 가질 경우, u와 v의 공통 이웃 집합 N(u)∩N(v)의 크기가 상수 상한을 넘어서는 안 된다는 필요조건이다. 증명은 삼각형이 평면에 배치될 때 한 변이 다른 삼각형과 겹치는 경우, 해당 변에 접하는 삼각형들의 수가 기하학적으로 제한된다는 사실을 이용한다. 이 조건은 특히 고차원 클리크가 존재하는 그래프에서는 불가능함을 보여, 접촉 삼각형 표현이 가능한 그래프의 구조적 제한을 명확히 한다.

두 번째로, 저자들은 외부 평면 그래프(outerplanar graphs)에 대해 선형 시간 알고리즘을 설계한다. 외부 평면 그래프는 모든 정점이 외부 면에 위치하는 특성을 갖는데, 이를 이용해 그래프의 이중 연결 성분을 순차적으로 삼각형으로 변환하고, 각 성분 사이의 연결을 변 접촉 형태로 유지한다. 알고리즘은 DFS 기반의 스택 구조와 삼각형 삽입 규칙을 결합해 O(n) 시간에 구현 가능하다.

세 번째 결과는 정사각형 격자와 육각형 격자 그래프에 대한 전용 알고리즘이다. 격자 그래프는 정규적인 반복 구조를 가지므로, 격자 셀마다 미리 정의된 삼각형 패턴을 배치하고, 인접 셀 간에 변이 정확히 맞닿도록 조정한다. 특히 육각형 격자에서는 각 육각형을 두 개의 정삼각형으로 분할한 뒤, 삼각형 간 접촉을 유지하도록 배치함으로써 전체 격자를 하나의 연속된 삼각형 접촉 네트워크로 변환한다. 이 과정 역시 각 셀을 한 번씩 방문하므로 선형 시간 복잡도를 가진다.

흥미로운 부정적 결과로, 접촉 삼각형 그래프 클래스가 마이너에 대해 닫혀 있지 않다는 점을 제시한다. 즉, 어떤 그래프 G가 접촉 삼각형 표현을 가질지라도, G의 마이너(예: 엣지 삭제·축소) 중 일부는 해당 표현이 불가능할 수 있다. 이는 기존의 평면 그래프나 트리와 같은 마이너 폐쇄 클래스와 대비되는 특성으로, 완전한 구조적 특성을 규명하기가 어려움을 시사한다.

마지막으로, 저자들은 2-연결(biconnected) 그래프 중에서 다각형을 삼각형으로 분할(triangulation)한 형태로 나타낼 수 있는 그래프들의 완전한 특성을 제공한다. 이 특성은 “다각형 삼각분할 그래프”라는 정의와 동등하며, 각 내부 면이 삼각형인 다각형의 삼각분할이 곧 접촉 삼각형 표현과 일대일 대응한다는 것을 증명한다. 이를 통해 2-연결 그래프에 대한 완전한 판별 기준을 얻을 수 있다.

전체적으로 논문은 기하학적 제약을 그래프 이론에 접목시켜 새로운 표현 모델을 제시하고, 특정 그래프 클래스에 대해 효율적인 구성 알고리즘을 제공함으로써 이 분야의 연구 방향을 제시한다.