[논문 리뷰] Beyond Level Planarity

Patrizio Angelini, Giordano Da Lozzo외 4명|arXiv (Cornell University)|2015. 10. 28.

Advanced Graph Theory Research참고 문헌 21인용 수 3

한 줄 요약

이 논문은 순환 레벨 계획성과 토러스 레벨 계획성이 다항시간 내에 해결 가능하다는 것을 입증하며, 그래프 도식 분야에서 오랫동안 미해결된 두 개의 열린 문제를 해결한다. 저자들은 동시에 레벨 계획성 인스턴스를 순환 레벨 계획성 문제로 변환하는 감소 기반 접근법을 제안하여, 특히 반대 방향으로 간선이 향하는 두 레벨 그래프와 같은 특정 케이스에 대해 효율적인 알고리즘을 가능하게 한다.

ABSTRACT

In this paper we settle the computational complexity of two open problems related to the extension of the notion of level planarity to surfaces different from the plane. Namely, we show that the problems of testing the existence of a level embedding of a level graph on the surface of the rolling cylinder or on the surface of the torus, respectively known by the name of $ extit{Cyclic Level Planarity}$ and $ extit{Torus Level Planarity}$, are polynomial-time solvable. Moreover, we show a complexity dichotomy for testing the $ extit{Simultaneous Level Planarity}$ of a set of level graphs, with respect to both the number of level graphs and the number of levels.

연구 동기 및 목표

• 순환 레벨 계획성과 토러스 레벨 계획성의 계산 복잡도를 해결하는 것, 이는 그래프 도식 분야에서 오랫동안 미해결된 문제이다.
• 레벨 그래프의 수와 레벨의 수에 따른 동시에 레벨 계획성의 복잡도 이분법을 설정하는 것.
• 평면 이외의 표면, 특히 굴린 실린더와 토러스에 대해 레벨 계획성의 개념을 확장하는 것.
• 굴린 실린더 표면과 토러스 표면에서 레벨 임베딩을 테스트하기 위한 다항시간 알고리즘을 제공하는 것.
• 동일한 표면 위에 존재하는 다중 레벨 그래프에 대한 동시에 레벨 계획성의 새로운 변종을 도입하고 분석하는 것.

제안 방법

• 한 그래프의 간선 방향을 뒤집음으로써 두 개의 그래프가 두 레벨에 존재하는 동시에 레벨 계획성 인스턴스를 단일 순환 레벨 계획성 인스턴스로 감소시키는 것.
• 한 그래프의 간선이 레벨 1에서 2로, 다른 그래프의 간선이 2에서 1로 향하는 적절한 레벨 그래프를 구성하여 순환적 구조를 형성하는 것.
• 굴린 실린더 표면에서 기존의 다항시간 알고리즘을 활용하기 위해 순환 레벨 계획성으로의 감소를 이용하는 것.
• 굴린 실린더 표면에서 위상적 임베딩 변환을 통해 동시에 레벨 계획성과 순환 레벨 계획성 간의 동치성을 입증하는 것.
• 변환된 인스턴스에 대해 알려진 선형시간 알고리즘을 적용하여 다항시간 해결 가능성을 보장하는 것.
• 프레임워크를 확장하여 연결성이 한 개의 추가 레벨을 통해 유지됨을 보이며, 기하학적 및 고정 간선 동시에 레벨 임베딩도 여전히 다루기 가능함을 보이는 것.

실험 결과

연구 질문

• RQ1 굴린 실린더에서 레벨 계획성을 테스트하는 문제인 순환 레벨 계획성은 계산적으로 다룰 수 있는가?
• RQ2 토러스 표면에서의 레벨 계획성 변종인 토러스 레벨 계획성은 다항시간 내에 결정 가능한가?
• RQ3 레벨 그래프의 수와 레벨의 수를 매개변수로 삼을 때, 동시에 레벨 계획성의 계산 복잡도는 어떻게 되는가?
• RQ4 특히 레벨 간에 반대 방향으로 간선이 향하는 두 레벨 그래프에 대한 동시에 레벨 계획성 문제는 효율적으로 해결 가능한가?
• RQ5 종수 1을 초과하는 표면에 대해 레벨 계획성의 의미 있는 일반화가 존재하는가? 그리고 그러한 프레임워크는 어떻게 형식화할 수 있는가?

주요 결과

• 순환 레벨 계획성은 다항시간 내에 해결 가능하며, 그래프 도식 분야에서 오랫동안 미해결된 문제를 해결한다.
• 토러스 레벨 계획성 역시 다항시간 내에 해결 가능하며, 레벨 계획성이 토러스 표면으로 효율적으로 확장됨을 입증한다.
• 두 개의 그래프가 두 레벨에 존재하는 동시에 레벨 계획성 문제를 순환 레벨 계획성으로 감소시킴으로써 이차시간 알고리즘이 가능해진다.
• 동시에 레벨 계획성 문제의 복잡도는 이분법을 보인다: 레벨 수나 그래프 수가 유한할 경우 다항시간 내에 해결 가능하지만, 그렇지 않은 경우 NP-난이도가 된다.
• 제안된 감소 방법은 추가 레벨 하나를 통해 연결성을 유지하며, 기하학적 및 고정 간선 동시에 레벨 임베딩으로도 확장 가능하다.
• 결과적으로 굴린 실린더와 토러스에서의 레벨 계획성은 4차 시간 내에 테스트 가능하다. 다만 더 날카운 복잡도 상한은 여전히 열려 있는 도전 과제이다.