외판원 그래프와 이분 퍼뮤테이션 그래프의 볼록 장애물 수

초록

본 논문은 외판원 그래프와 이분 퍼뮤테이션 그래프에 대한 볼록 장애물 표현을 연구한다. 외판원 그래프의 경우, 서로 겹치지 않는 볼록 다각형 장애물의 최소 개수인 ‘분리 볼록 장애물 수’를 5 이하로 제한함을 보였으며, 실제로 4개의 장애물만으로는 모든 외판원 그래프를 표현할 수 없다는 하한도 제시한다. 또한 이분 퍼뮤테이션 그래프에 대해서는 최대 4개의 장애물만으로 충분함을 증명한다. 이러한 결과는 기존에 제기된 외판원 그래프에 대한 질문에 대한 완전한 답을 제공한다.

상세 분석

논문은 먼저 ‘분리 볼록 장애물 수(disjoint convex obstacle number)’라는 개념을 정의한다. 이는 그래프 G의 정점을 평면상의 점 집합에 대응시키고, 서로 겹치지 않는 볼록 다각형(장애물)들을 배치하여, 두 정점 사이의 선분이 어떤 장애물과도 교차하지 않을 때만 그 두 정점이 인접하도록 하는 최소 장애물 개수를 의미한다. 기존 연구에서는 일반 그래프에 대해 상수 상한을 찾는 것이 어려웠으며, 특히 외판원(outerplanar) 그래프와 이분 퍼뮤테이션(bipartite permutation) 그래프에 대해서는 명확한 결과가 없었다.

외판원 그래프에 대해 저자들은 먼저 트리 구조와 사이클 구조를 결합한 외판원 그래프의 특성을 활용한다. 외판원 그래프는 평면에 그릴 때 모든 정점이 외부 면에 놓이며, 각 내부 얼굴이 삼각형이거나 사각형인 경우가 많다. 이러한 특성을 이용해 정점을 두 개의 수평 레벨에 배치하고, 레벨 사이에 사다리형 연결을 만든 뒤, 각 레벨을 둘러싸는 다섯 개의 볼록 다각형(주로 사다리꼴 형태)으로 장애물을 구성한다. 이때 각 레벨 사이의 교차를 방지하기 위해 장애물의 위치와 크기를 정밀하게 조정함으로써, 어떤 두 정점 사이의 선분이 장애물을 통과하면 그 간선은 그래프에 존재하지 않게 된다. 결과적으로 모든 외판원 그래프는 최대 5개의 분리 볼록 장애물만으로 정확히 표현될 수 있음을 보인다.

하한 측면에서는, 저자들이 특정 외판원 그래프(예: 6-정점의 완전 이분 그래프 K_{3,3}의 외판원 변형)를 구성하여 3개의 장애물만으로는 모든 필요한 비교연결을 차단할 수 없음을 증명한다. 더 정교한 논증을 통해 최소 4개의 장애물이 필요함을 보이며, 따라서 외판원 그래프의 정확한 상한은 4와 5 사이임을 확정한다.

이분 퍼뮤테이션 그래프에 대해서는, 그래프가 두 개의 순서화된 파트와 그 사이의 ‘퍼뮤테이션’ 관계에 의해 정의된다는 점을 활용한다. 저자들은 두 파트를 각각 수평선 위에 정렬하고, 퍼뮤테이션에 따라 교차하는 매칭을 만든다. 그런 다음 네 개의 볼록 다각형을 이용해 매칭이 교차하는 구역을 차단한다. 구체적으로, 두 개의 다각형은 각 파트의 외곽을 감싸고, 나머지 두 개는 교차 구역을 선택적으로 차단하도록 배치한다. 이 구성은 모든 가능한 이분 퍼뮤테이션 그래프에 대해 일관되게 적용 가능하며, 따라서 최대 4개의 장애물만으로 충분함을 증명한다.

기술적 기여는 다음과 같다. 첫째, 외판원 그래프에 대한 상한을 5로 명시하고, 하한을 4로 제시함으로써 기존의 불확실성을 해소한다. 둘째, 이분 퍼뮤테이션 그래프에 대한 새로운 상한 4를 제시하여, 이 클래스가 상대적으로 적은 장애물로도 완전히 표현될 수 있음을 보여준다. 셋째, 증명 과정에서 사용된 레이아웃 변환, 레벨 구분, 그리고 장애물 배치 기법은 다른 그래프 클래스에 대한 장애물 수 연구에도 적용 가능한 일반적인 도구로 활용될 수 있다.

전반적으로 이 논문은 볼록 장애물 모델을 통한 그래프 표현 연구에 중요한 진전을 제공하며, 특히 외판원 그래프와 이분 퍼뮤테이션 그래프라는 두 중요한 그래프 클래스를 대상으로 한 상한·하한 결과는 향후 복합 그래프 구조의 시각화와 알고리즘 설계에 유용한 이론적 기반을 마련한다.