[논문 리뷰] Constant Congestion Routing of Symmetric Demands in Planar Directed Graphs

Johnson, Thor, Robertson, Neil외 2명|arXiv (Cornell University)|2015. 10. 02.

Advanced Graph Theory Research참고 문헌 1인용 수 5

한 줄 요약

이 논문은 나무너비가 높은 평면 방향 그래프가 실린드로이드 격자 미니처를 포함함을 증명하며, 방향 격자 정리의 핵심 단계를 확립한다. 고차수의 헤이븐과 연결 구조를 활용하여 정점을 공유하지 않는 방향 경로와 임bedded 격자를 구성함으로써, 이러한 그래프가 큰 실린드로이드 격자와 미니처 동형인 미니처를 포함함을 보여주며, 이는 평면 방향 그래프에서 대칭적 요구량에 대한 일정한 혼잡도 라우팅을 암시한다.

ABSTRACT

In [Directed tree-width, J. Combin. Theory Ser. B 82 (2001), 138-154] we introduced the notion of tree-width of directed graphs and presented a conjecture, formulated during discussions with Noga Alon and Bruce Reed, stating that a digraph of huge tree-width has a large "cylindrical grid" minor. Here we prove the conjecture for planar digraphs, but many steps of the proof work in general. This is an unedited and unpolished manuscript from October 2001. Since many people asked for copies we are making it available in the hope that it may be useful. The conjecture was proved by Kawarabayashi and Kreutzer in arXiv:1411.5681.

연구 동기 및 목표

• 높은 나무너비가 실린드로이드 격자 미니처의 존재를 암시함을 증명함으로써 평면 방향 그래프에 대한 방향 격자 정리를 확립하기 위해.
• 방향 그래프에서의 나무너비와 특정한 구조적 미니처, 특히 실린드로이드 격자의 존재 사이의 관계를 연결하는 추측을 해결하기 위해.
• 구조적 그래프 이론을 활용하여 대칭적 요구량을 일정한 혼잡도로 라우팅할 수 있는 평면 방향 그래프의 기초를 마련하기 위해.
• 버터플라이 미니처와 강한 연결성 특성을 사용하여 방향 그래프에서의 미니처 포함 개념을 확장하기 위해.
• 헤이븐 기반 및 경로 임베딩 기법을 통해 연결된 집합과 비순환 격자 미니처를 구성하는 프레임워크를 개발하기 위해.

제안 방법

• 순서 3n의 헤이븐을 사용하여 크기가 2n인 연결된 집합 X를 식별하며, 헤이븐 공리에 의해 정점 삭제에 대한 구조적 내성성을 확보한다.
• 연결성 정리를 적용하여 X의 두 크기가 같은 부분집합 A와 B 사이의 정점을 공유하지 않는 방향 경로를 찾으며, 이를 단조롭거나 일치하는 연결성으로 구성한다.
• 중앙 방향 순환 고리 CN에 대해 들어오는 경로와 나가는 경로를 임베딩하여 디스크에 임베딩된 방향 그래프 H를 구성하며, 빠진 부분 경로를 위해 가짜 간선을 사용한다.
• 위치 기반 임베딩 전략을 적용하여 들어오는 경로와 나가는 경로의 종단점을 디스크 경계에 반시계 방향 순서로 배치함으로써 그들을 분리한다.
• 구조적 보조정리(5.1)를 적용하여 격자 유사한 경로 교차를 강제함으로써, 수직 및 수평 경로가 제어된 방식으로 교차하는 것을 보장하고, 비순환 격자 미니처의 존재를 확보한다.
• C1를 둘러싸는 방향성 없는 부분 경로(비정상 부분 경로)는 잘라내고 가짜 간선으로 대체함으로써 임베딩과 연결성의 구조를 유지한다.

실험 결과

연구 질문

• RQ1 충분히 높은 나무너비를 가진 평면 방향 그래프는 반드시 실린드로이드 격자 미니처를 포함하는가?
• RQ2 방향 그래프에서 고차수의 헤이븐이 정해진 크기의 연결된 집합의 존재를 보장할 수 있는가?
• RQ3 복잡한 라우팅(예: 비정상 루프 포함)을 가진 방향 경로 시스템은 어떻게 격자 유사한 미니처로 임베딩하고 변형할 수 있는가?
• RQ4 정점을 공유하지 않는 방향 경로 집합이 어떤 조건에서 더 큰 비순환 격자 미니처로 확장될 수 있는가?
• RQ5 오직 경로 연결성과 위상 임베딩 기법만을 사용하여 실린드로이드 격자의 구조를 평면 방향 그래프에 임베딩할 수 있는가?

주요 결과

• 순서 3n의 헤이븐은 크기가 2n인 연결된 집합 X의 존재를 보장하며, 이는 핵심적인 구조적 구성 요소이다.
• 들어오는 경로와 나가는 경로를 디스크에 가짜 간선을 사용하여 임베딩함으로써 비순환 격자 미니처의 구성이 달성되며, 위상 순서가 유지된다.
• C1를 둘러싸는 비정상 부분 경로의 존재는 잘라내고 가짜 간선으로 대체함으로써 일관된 임베딩이 가능해진다.
• 보조정리 5.1의 적용은 구성된 격자 내 수직 및 수평 경로가 제어된 방식으로 교차함을 보장하며, 이는 미니처 포함을 가능하게 한다.
• 비비정상 경로와 비정상 경로 처리를 병합함으로써 저자들은 크기가 n인 실린드로이드 격자를 포함하는 격자 미니처를 구성하였으며, 주요 결과를 증명하였다.
• 증명은 나무너비가 높은 평면 방향 그래프가 실린드로이드 격자 미니처를 포함함을 확립하며, 평면 케이스에서의 추측을 확인한다.