[논문 리뷰] Capturing polynomial time using modular decomposition

Berit Grußien|arXiv (Cornell University)|2017. 06. 20.

Advanced Graph Theory Research참고 문헌 20인용 수 4

한 줄 요약

이 논문은 유도 부분그래프를 금지하는 그래프 클래스의 표준화를 선형 순서가 부여된 이진 관계로 색칠된 그들의 근본 그래프의 표준화로 줄이는 모듈러 분해 정리(Modular Decomposition Theorem)를 소개한다. 이 정리를 적용함으로써 저자들은 고정점 논리와 수세기(Fixed-Point Logic with Counting, FPC)가 순열 그래프에서 다항시간을 캡처함을 증명하고, 모듈러 분해 트리가 로그 공간에서 계산 가능함을 보여, 이는 로그 공간 내에서 코그래프의 식별과 표준화를 가능하게 한다.

ABSTRACT

The question of whether there is a logic that captures polynomial time is one of the main open problems in descriptive complexity theory and database theory. In 2010 Grohe showed that fixed point logic with counting captures polynomial time on all classes of graphs with excluded minors. We now consider classes of graphs with excluded induced subgraphs. For such graph classes, an effective graph decomposition, called modular decomposition, was introduced by Gallai in 1976. The graphs that are non-decomposable with respect to modular decomposition are called prime. We present a tool, the Modular Decomposition Theorem, that reduces (definable) canonization of a graph class C to (definable) canonization of the class of prime graphs of C that are colored with binary relations on a linearly ordered set. By an application of the Modular Decomposition Theorem, we show that fixed point logic with counting also captures polynomial time on the class of permutation graphs. As a side effect of the Modular Decomposition Theorem, we further obtain that the modular decomposition tree is computable in logarithmic space. It follows that cograph recognition and cograph canonization is computable in logarithmic space.

연구 동기 및 목표

• 유도 부분그래프를 금지하는 그래프 클래스에서 다항시간을 캡처하는 논리가 존재하는지 여부라는 열린 문제를 다루기 위해.
• 모듈러 분해를 이용해 금지된 미니어처(minors)의 경우에서의 그로헤(Grohe)의 결과를 금지된 유도 부분그래프의 경우로 확장하기 위해.
• 근본 그래프와 색칠된 관계를 통한 이러한 그래프 클래스에 대한 정의 가능한 표준화 방법을 개발하기 위해.
• 모듈러 분해 트리가 로그 공간에서 계산 가능하다는 것을 입증하기 위해.
• 코그래프의 식별과 표준화가 로그 공간 내에 있음을 보여주기 위해.

제안 방법

• 모듈러 분해 정리는 그래프 클래스 C의 표준화 문제를 그 근본 그래프의 표준화 문제로 줄이는 것으로, 근본 그래프는 선형 순서 집합 위의 이진 관계로 색칠되어 있다.
• 이 정리는 근본 그래프가 기저 사례가 되는 갈라이(Gallai)의 모듈러 분해를 활용하며, 이는 그래프를 모듈로 재귀적으로 분할한다.
• 저자들은 순열 그래프에 이 정리를 적용하여, 이중 색칠 제약 조건 하에서 그들의 근본 그래프를 분석한다.
• 표준화 절차를 근본 그래프에서 정의하기 위해 고정점 논리와 수세기(FPC)를 사용하여 FPC에서의 표현 가능성을 확보한다.
• 분해 트리의 로그 공간 계산 가능성은 정의 가능한 표준화 과정과 분해의 구조에서 유도된다.
• 코그래프 결과는 따름정리로 도출되며, 코그래프는 정확히 4개 정점의 유도 경로를 포함하지 않으며, 모듈러 분해에 대해 닫혀 있다.

실험 결과

연구 질문

• RQ1 유도 부분그래프를 금지하는 그래프 클래스, 예를 들어 순열 그래프에서 고정점 논리와 수세기가 다항시간을 캡처할 수 있는가?
• RQ2 그래프의 모듈러 분해 트리는 로그 공간에서 계산 가능한가?
• RQ3 선형 순서 집합 위의 이진 관계로 색칠된 근본 그래프의 표준화로 전체 그래프 클래스의 표준화 문제를 줄일 수 있는가?
• RQ4 모듈러 분해 정리는 금지된 미니어처를 초월한 그래프 클래스에 대해 정의 가능한 표준화를 가능하게 하는가?
• RQ5 코그래프의 식별과 표준화의 논리적 및 계산 복잡도는 무엇인가?

주요 결과

• 고정점 논리와 수세기는 순열 그래프의 클래스에서 다항시간을 캡처하며, 금지된 미니어처를 초월한 그로헤의 결과를 확장한다.
• 모든 그래프의 모듈러 분해 트리는 로그 공간에서 계산 가능하며, 이는 정의 가능한 표준화 과정에서 유도된다.
• 코그래프의 식별과 표준화 모두 로그 공간에서 계산 가능하며, 이는 정리와 분해 구조의 직접적인 결과이다.
• 모듈러 분해 정리는 근본 그래프에 색칠된 관계가 있는 표준화 문제를 일반화된 프레임워크로 줄이는 데에 기여한다.
• 선형 순서 집합 위의 이진 관계로 색칠된 근본 그래프의 정의 가능한 표준화가 전체 그래프 클래스의 완전한 표준화를 달성하는 데에 충분하다.
• 논문은 모듈러 분해, 정의 가능한 논리, 공간 제한 계산 간의 새로운 연결을 설정하며,술술 기술 이론을 풍부하게 한다.