[논문 리뷰] Distance Hereditary Graphs and the Interlace Polynomial

Joanna A. Ellis-Monaghan, Irasema Sarmiento|ArXiv.org|2006. 04. 04.

Algorithms and Data Compression참고 문헌 32인용 수 4

한 줄 요약

이 논문은 메디얼 그래프를 통해 정점-공백(nullity) 상호연결 다항식과 투트 투틀 다항식 사이의 연결고리를 설정하며, 일반적으로 상호연결 다항식을 계산하는 것이 #P-어려움을 증명한다. 또한 다항식을 다항시간 내에 계산할 수 있는 다루기 쉬운 클래스로 이분 거리 유전 그래프를 특정하며, 이들의 특성을 γ 불변량—구체적으로 γ = 2—으로 특성화한다. 이는 시리즈-패러럴 그래프가 β = 1로 특성화되는 것과 유사하다.

ABSTRACT

The vertex-nullity interlace polynomial of a graph, described by Arratia, Bollobás and Sorkin as evolving from questions of DNA sequencing, and extended to a two-variable interlace polynomial by the same authors, evokes many open questions. These include relations between the interlace polynomial and the Tutte polynomial and the computational complexity of the vertex-nullity interlace polynomial. Here, we prove that the one-variable vertex-nullity interlace polynomial is in general #P-hard to compute. We also show a relation between the two-variable interlace polynomial and the topological Tutte polynomial of Bollobás and Riordan. We define the γinvariant as the coefficient of x^1 in the vertex-nullity interlace polynomial, analogously to the βinvariant, which is the coefficient of x^1 in the Tutte polynomial. We then turn to distance hereditary graphs, and show that graphs in this class have γinvariant of 2^{n+1} when n true twins are added in their construction. We furthermore show that bipartite distance hereditary graphs are exactly the class of graphs with γinvariant 2, just as the series-parallel graphs are exactly the class of graphs with βinvariant 1. In addition, we show that a bipartite distance hereditary graph arises precisely as the circle graph of any Euler circuit in the oriented medial graph of a series-parallel graph. From this we conclude that the vertex-nullity interlace polynomial is polynomial time to compute for bipartite distance hereditry graphs, just as the Tutte polynomial is polynomial time to compute for series-parallel graphs.

연구 동기 및 목표

• 메디얼 그래프 구축을 통해 정점-공백 상호연결 다항식과 고전적 투틀 다항식 간의 관계를 명확히 하기.
• 정점-공백 상호연결 다항식의 계산 복잡도를 조사하여, 일반적으로 #P-어려움임을 증명하기.
• 상호연결 다항식을 다항시간 내에 계산할 수 있는 비자명한 그래프 클래스를 특정하기.
• 투틀 다항식의 β 불변량과 유사하게, q_N의 x¹ 계수인 γ 불변량을 이용해 의미 있는 그래프 클래스를 특성화하기.
• 이분 거리 유전 그래프와 시리즈-패러럴 그래프의 방향성 있는 메디얼 그래프에서의 올림피아 순환의 원형 그래프 사이의 구조적 연결 고리를 설정하기.

제안 방법

• 평면 그래프의 메디얼 그래프 구축을 사용하여, x = y일 때 정점-공백 상호연결 다항식과 투틀 다항식을 연결한다.
• 이중변수 상호연결 다항식을 적용하고, 동일한 메디얼 그래프 프레임워크를 통해 보불로스와 리오단의 위상적 투틀 다항식과 연결한다.
• γ 불변량을 정점-공백 상호연결 다항식에서 x¹의 계수로 정의하며, 이는 투틀 다항식의 β 불변량과 유사하다.
• 매달린 정점과 진짜 쌍둥이 정점을 포함하는 구성적 과정을 통해 거리 유전 그래프를 특성화하고, n개의 진짜 쌍둥이 정점이 추가될 때 γ 불변량을 2^{n+1}로 계산한다.
• 이분 거리 유전 그래프가 정확히 γ = 2인 그래프 클래스임을 증명하며, 방향성 있는 메디얼 그래프에서의 올림피아 순환으로 유도된 원형 그래프의 구조를 활용한다.
• 거리 유전 그래프의 다항시간 식별 가능성과 기존의 시리즈-패러럴 그래프에 대한 투틀 다항식의 다항시간 계산 가능성에 기반하여, 이분 거리 유전 그래프에 대한 q_N의 다항시간 계산 가능성은 입증한다.

실험 결과

연구 질문

• RQ1 평면 그래프에 대해 정점-공백 상호연결 다항식은 고전적 투틀 다항식과 어떻게 관련이 있는가?
• RQ2 정점-공백 상호연결 다항식을 계산하는 데 있어 계산 복잡도는 무엇이며, 모든 그래프에 대해 여전히 #P-어려움인가?
• RQ3 정점-공백 상호연결 다항식을 다항시간 내에 계산할 수 있는 비자명한 그래프 클래스가 존재하는가?
• RQ4 q_N의 x¹ 계수인 γ 불변량은 투틀 다항식의 β 불변량과 유사하게 의미 있는 그래프 클래스를 특성화하는 데 사용될 수 있는가?
• RQ5 이분 거리 유전 그래프와 시리즈-패러럴 그래프의 방향성 있는 메디얼 그래프에서의 올림피아 순환으로 유도된 원형 그래프 사이의 구조적 관계는 무엇인가?

주요 결과

• 정점-공백 상호연결 다항식은 일반적으로 계산하기 어렵고, 메디얼 그래프를 통한 투틀 다항식과의 관련성과 함께, 투틀 다항식이 #P-어려움임이 알려져 있기 때문이다.
• 평면 그래프에 대해 정점-공백 상호연결 다항식은 q_N(G;x) = t(G;x,x)를 만족하며, 이는 두 다항식 간의 직접적 연결 고리를 확립한다.
• 이중변수 상호연결 다항식은 메디얼 그래프 구축을 통해 보불로스와 리오단의 위상적 투틀 다항식과 관련이 있다.
• 거리 유전 그래프의 γ 불변량은 구성 순서에서 n개의 진짜 쌍둥이 정점이 추가될 때 2^{n+1}이 되며, 이는 정확한 대수적 특성화를 보여준다.
• 이분 거리 유전 그래프는 정확히 γ = 2인 그래프 클래스이며, 이는 시리즈-패러럴 그래프가 β = 1로 특성화되는 것과 유사하다.
• 이분 거리 유전 그래프는 정확히 시리즈-패러럴 그래프의 방향성 있는 메디얼 그래프에서의 올림피아 순환으로 유도된 원형 그래프로서 나타나며, 이는 이 클래스에 대한 정점-공백 상호연결 다항식의 다항시간 계산 가능성을 가능하게 한다.