[논문 리뷰] A most general edge elimination graph polynomial

Ilia Averbouch, Benny Godlin외 1명|arXiv (Cornell University)|2007. 12. 19.

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

한 줄 요약

이 논문은 간선 삭제, 수축, 추출을 포함하는 재귀 관계를 통해 투트-다항식, 매칭 다항식, 색칠 다항식 등 다양한 그래프 불변량을 통합하는 새로운 그래프 다항식 ξ(G,x,y,z)를 제안한다. 이는 ξ(G,x,y,z)가 이러한 다항식 중 가장 일반적인 형태임을 증명하며, 동시에 유도 가능한 재귀 정의와 명시적 집합 전개 공식을 제공하고, ξₗₐb(G,x,y,z,t̄)를 통해 간선 레이블이 부여된 그래프로의 프레임워크를 확장한다.

ABSTRACT

We look for graph polynomials which satisfy recurrence relations on three kinds of edge elimination: edge deletion, edge contraction and deletion of edges together with their end points. Like in the case of deletion and contraction only (W. Tutte, 1954), it turns out that there is a most general polynomial satisfying such recurrence relations, which we call $ξ(G,x,y,z)$. We show that the new polynomial simultaneously generalizes the Tutte polynomial, the matching polynomial, and the recent generalization of the chromatic polynomial proposed by K.Dohmen, A.Pönitz and P.Tittman (2003), including also the independent set polynomial of I. Gutman and F. Harary, (1983) and the vertex-cover polynomial of F,M. Dong, M.D. Hendy, K.T. Teo and C.H.C. Little (2002). We establish two definitions of the new polynomial: first, the most general confluent recursive definition, and then an explicit one, using a set expansion formula, and prove their identity. We further expand this result to edge-labeled graphs as was done for the Tutte polynomial by T. Zaslavsky (1992) and B. Bollobás and O. Riordan (1999). The edge labeled polynomial $ξ_{lab}(G,x,y,z, \bar{t})$ also generalizes the chain polynomial of R.C. Read and E.G. Whitehead Jr. (1999). Finally, we discuss the complexity of computing $ξ(G,x,y,z)$.

연구 동기 및 목표

• 간선 삭제, 수축, 추출(간선 및 그 끝점 제거)에 대한 선형 재귀 관계를 만족하는 가장 일반적인 그래프 다항식을 규명하는 것.
• 기존의 그래프 다항식—예를 들어 투트 다항식, 매칭 다항식, 색칠 다항식—을 하나의 프레임워크로 통합하는 것.
• 새로운 다항식에 대해 재귀적 정의와 명시적 집합 전개 정의를 수립하고, 이 둘의 동치성을 증명하는 것.
• 프레임워크를 간선 레이블이 부여된 그래프로 확장하여 체인 다항식 및 기타 레이블 기반 불변량을 일반화하는 것.
• ξ(G,x,y,z)와 ξₗₐb(G,x,y,z,t̄)의 계산 복잡도를 분석하며, 특히 트리 폭과 클리크 폭과의 관계를 고려하는 것.

제안 방법

• 삭제(G−e), 수축(G/e), 추출(G†e)의 세 가지 기본 간선 제거 연산을 정의하며, 이는 간선과 그 끝점을 제거한다.
• 이들 연산에 기반한 ξ(G,x,y,z)의 유도 가능한 재귀 정의를 제안하며, 빈 그래프와 단일 정점 그래프에 대한 기본 사례를 설정한다.
• 간선의 부분집합을 삭제, 수축, 추출 구성요소로 분할하여 ξ(G,x,y,z)의 명시적 집합 전개 공식을 유도한다.
• 구조적 그래프 분해와 수학적 귀납법을 사용하여 재귀 정의와 명시적 정의 간의 동치성을 증명한다.
• 각 간선에 레이블을 할당하는 t̄를 도입하여 ξₗₐb(G,x,y,z,t̄)라는 레이블된 변형을 도입함으로써 다항식을 간선 레이블이 부여된 그래프로 확장한다.
• 단일 이차 논리(MSOL)를 사용하여 ξ(G)와 ξₗₐb(G)가 트리 폭이 유계인 그래프에서 고정 매개변수 다항시간 복잡도를 가짐을 보인다.

실험 결과

연구 질문

• RQ1 간선 삭제, 수축, 추출에 대한 선형 재귀 관계를 만족하는 가장 일반적인 그래프 다항식은 무엇인가?
• RQ2 새로운 다항식 ξ(G,x,y,z)는 투트 다항식, 매칭 다항식, 색칠 다항식을 동시에 일반화할 수 있는가?
• RQ3 ξ(G,x,y,z)에 대해 닫힌 형태의 집합 전개 공식이 존재하는가? 그리고 이는 재귀 정의와 일치하는가?
• RQ4 이 프레임워크는 간선 레이블이 부여된 그래프로 확장될 수 있으며, 레이블 다항식은 기존의 체인 다항식과 같은 알려진 불변량을 일반화하는가?
• RQ5 ξ(G,x,y,z)와 ξₗₐb(G,x,y,z,t̄)는 트리 폭 또는 클리크 폭이 유계인 그래프에서 다항시간에 계산 가능한가?

주요 결과

• ξ(G,x,y,z)는 간선 삭제, 수축, 추출에 대한 재귀 관계를 만족하는 가장 일반적인 그래프 다항식이다.
• ξ(G,x,y,z)의 재귀 정의와 명시적 집합 전개 정의는 구조적 귀납법을 통해 동치임을 증명하였다.
• ξ(G,x,y,z)는 투트 다항식, 매칭 다항식, Dohmen–Pönitz–Tittman 색칠 다항식을 특정 치환 사례로 일반화한다.
• 간선 레이블이 부여된 변형 ξₗₐb(G,x,y,z,t̄)는 Read와 Whitehead의 체인 다항식을 일반화하며, MSOL에서 정의 가능하다.
• ξ(G,x,y,z)와 ξₗₐb(G,x,y,z,t̄)는 트리 폭이 유계인 그래프에서 다항시간에 계산 가능하며, 실행 시간의 지수는 트리 폭 매개변수에 영향을 받지 않는다.
• ξ(G,x,y,z)의 계산은 일반적으로 #P-난이도이지만, 트리 폭이 유계인 그래프에서는 고정 매개변수 다항시간 복잡도를 가지며, MSOL 기반 방법에서 숨겨진 상수는 실용성에 제한을 줄 수 있다.