[논문 리뷰] Graph polynomials and their applications I: The Tutte polynomial

Joanna A. Ellis-Monaghan, Criel Merino|ArXiv.org|2008. 03. 20.

Graph theory and applications참고 문헌 81인용 수 23

한 줄 요약

이 논문은 삭제-수축 감소를 통해 수많은 그래프 불변량을 통합하는 기본적인 이변수 그래프 다항식인 투트 다항식에 대한 종합적인 서베이를 제공한다. 이는 '요리법 정리'를 통해 다항식의 보편성을 확립하고, 색칠, 유량, 네트워크 신뢰성 및 물리 모델 등 응용을 보여주며, 유계 트리너비 그래프에 대한 계산 복잡도와 알고리즘 접근법을 제시한다.

ABSTRACT

In this survey of graph polynomials, we emphasize the Tutte polynomial and a selection of closely related graph polynomials. We explore some of the Tutte polynomial's many properties and applications and we use the Tutte polynomial to showcase a variety of principles and techniques for graph polynomials in general. These include several ways in which a graph polynomial may be defined and methods for extracting combinatorial information and algebraic properties from a graph polynomial. We also use the Tutte polynomial to demonstrate how graph polynomials may be both specialized and generalized, and how they can encode information relevant to physical applications. We conclude with a brief discussion of computational complexity considerations.

연구 동기 및 목표

• 삭제-수축 연산을 통한 다항식의 보편성 불변량을 설정하기 위해 투트 다항식을 정의한다.
• 투트 다항식이 그래프의 다양한 조합적 및 물리적 성질을 어떻게 코딩하는지 보여준다.
• 재귀적, 생성함수, 특수화 기법을 사용한 그래프 다항식 분석을 위한 방법론적 프레임워크를 제공한다.
• 다른 그래프 다항식을 연구하는 데 중심적인 기준점으로서 다항식의 역할을 부각시킨다.
• 계산 복잡도를 다루고, 특히 트리너비나 클리크너비가 유계인 그래프에 대해 처리 가능한 경우를 식별한다.

제안 방법

• 그래프의 간선 삭제 및 수축 연산을 사용하여 투트 다항식을 재귀적으로 정의한다.
• 스패닝 서그래프와 그 랭크 및 뉴리티를 기반으로 생성함수 접근법을 사용하여 투트 다항식을 수립한다.
• '요리법 정리'를 적용하여, 삭제-수축 감소를 갖는 임의의 곱셈 그래프 불변량에 대해 투트 다항식의 보편성을 증명한다.
• 투트 다항식을 특수화하여 기존의 불변량을 복원한다: 색칠 다항식(정점 색칠), 유량 다항식(간선 유량), 신뢰성 다항식(네트워크 신뢰성).
• 투트 다항식의 계수, 근, 도함수를 분석하여 구조적 및 조합적 정보를 추출한다.
• 유계 트리너비 그래프에 대해 트리 분해에 기반한 동적 프로그래밍과 같은 계산 기법을 사용하여 다항식을 효율적으로 계산한다.

실험 결과

연구 질문

• RQ1 투트 다항식은 삭제-수축 연산을 통해 다양한 그래프 불변량을 어떻게 통합하는가?
• RQ2 투트 다항식의 특정 평가에서 유도되는 조합적 및 물리적 해석은 무엇인가?
• RQ3 투트 다항식은 어떻게 일반화 또는 특수화되어 다양한 그래프 이론적 현상을 모델링할 수 있는가?
• RQ4 투트 다항식을 계산하는 데 있어 계산 복잡도는 무엇이며, 어떤 그래프 클래스에서 처리 가능한가?
• RQ5 투트 다항식의 계수, 근, 도함수는 기저가 되는 그래프의 구조를 어떻게 반영하는가?

주요 결과

• 투트 다항식은 보편적이다: 삭제-수축 감소를 갖는 임의의 곱셈 그래프 불변량은 모두 그 평가값이다.
• 투트 다항식의 평가는 고전적 불변량을 복원한다: 색칠 다항식(T(1−x,0) = x^k P(G,x)), 유량 다항식(T(0,1−y)), 신뢰성 다항식.
• 유계 트리너비 그래프에 대해서는 트리 분해에 기반한 동적 프로그래밍을 사용하여 선형 시간에 다항식을 계산할 수 있다.
• 투트 다항식의 계수는 랭크와 뉴리티에 따라 부분그래프를 세며, 그 근은 그래프의 연결성 및 물리 모델에서의 상전이에 대한 정보를 제공한다.
• 특정 점에서의 다항식 도함수는 스패닝 트리의 수 및 베타 불변량과 같은 불변량을 산출한다.
• 작은 그래프(약 100개 이하 간선)에 대해 컴퓨터 대칭계산 시스템 및 웹 기반 도구(http://homepages.mcs.vuw.ac.nz/~djp/tutte/)에서의 구현이 존재한다.