[논문 리뷰] On some extremal problems in graph theory

Dmitry Jakobson, Igor Rivin|ArXiv.org|1999. 07. 08.

Graph theory and applications참고 문헌 42인용 수 21

한 줄 요약

이 논문은 무게 없는 그래프와 가중치가 있는 그래프의 두 가지 상황에서 둘레, 지름, 라플라시안 고유값, 스패닝 트리 수와 같은 불변량을 분석함으로써 극값 그래프 이론 문제를 조사한다. 스패닝 트리 수를 최대화하는 근사 알고리즘을 사용하여, 3-정규 그래프의 시퀀스를 생성함으로써 g ≤ 8인 모든 알려진 (3,g)-cage가 자연스럽게 포함되도록 하였으며, 이는 극값 그래프 불변량과 기존의 cage 그래프 사이에 구축된 구성적 연결을 보여준다.

ABSTRACT

In this paper we are concerned with various graph invariants (girth, diameter, expansion constants, eigenvalues of the Laplacian, tree number) and their analogs for weighted graphs -- weighing the graph changes a combinatorial problem to one in analysis. We study both weighted and unweighted graphs which are extremal for these invariants. In the unweighted case we concentrate on finding extrema among all (usually) regular graphs with the same number of vertices; we also study the relationships between such graphs.

연구 동기 및 목표

• girth, 지름, 스패닝 트리 수와 같은 핵심 불변량에 대해 가중치가 있는 그래프 공간에서 국소 극값을 가지는 무게 없는 그래프를 규명하는 것.
• 특히 스패닝 트리 수와 같은 그래프 불변량이 극값 그래프 구조, 예를 들어 cage와 라만두잔 그래프 사이의 관계를 탐색하는 것.
• 스패닝 트리 수를 최대화하기 위해 간선을 반복적으로 삽입함으로써 극값 3-정규 그래프를 구성적으로 생성하는 방법을 개발하는 것.
• 기존의 (3,g)-cage가 테트라하드론에서 시작하는 탐욕적 3-정규 그래프 시퀀스에서 자연스럽게 나타남을 보여주는 것.
• 스패닝 트리 수를 초월한 그래프 불변량 최적화를 통해 새로운 극값 그래프를 발견하는 프레임워크를 제공하는 것.

제안 방법

• 스패닝 트리 수를 최대화하는 방식으로 새로운 간선을 선택하여 3-정규 그래프에 반복적으로 간선을 삽입하는 탐욕 알고리즘을 사용한다.
• 알고리즘은 K₄인 테트라하드론에서 시작하여, 각 단계에서 두 개의 새로운 정점과 그 사이의 간선을 추가함으로써 2n-정점 3-정규 그래프의 시퀀스를 구성한다.
• 스패닝 트리 수는 킬리호프의 행렬 나무 정리에 따라 비영인 라플라시안 고유값의 곱과 관련되어 계산된다.
• 알고리즘이 3-정규 그래프의 시퀀스를 생성하고, 그 결과 그래프의 구조적 성질인 둘레와 지름을 분석한다.
• 특히 18, 24, 30 정점에서의 작은 순서를 초월한 그래프의 생성과 검증을 위해 컴퓨터 프로그램을 사용한다.
• 간선 분할과 완벽 매칭을 통한 구조적 구성 방법을 사용하여, 페터센, 히우드, 투트-코엑서 그래프와 같은 기존의 케이지 그래프를 더 작은 기초 그래프로부터 유도한다.

실험 결과

연구 질문

• RQ1 girth, 지름, 스패닝 트리 수와 같은 불변량에 대해, 가중치가 있는 그래프 공간에서 국소 극값을 가지는 무게 없는 그래프는 무엇인가?
• RQ2 스패닝 트리 수를 최대화하는 탐욕적 간선 삽입 과정이 (3,g)-cage와 같은 알려진 극값 그래프를 생성할 수 있는가?
• RQ3 스패닝 트리 수의 점근적 증가율과 첫 번째 비영인 라플라시안 고유값과 같은 스펙트럼 성질 사이의 관계는 무엇인가?
• RQ4 간선 분할과 완벽 매칭을 기반으로 한 구성 방법은 알려진 케이지 그래프의 등장과 어떻게 관련되어 있는가?
• RQ5 k ≥ 4인 k-정규 그래프에 대해 유사한 탐욕 알고리즘을 적용하여 새로운 극값 그래프를 발견할 수 있는가?

주요 결과

• 테트라하드론에서 시작하는 탐욕적 간선 삽입으로 생성된 3-정규 그래프 시퀀스에는 각각 g = 5, 6, 7, 8에 해당하는 페터센 그래프(10정점), 히우드 그래프(14정점), 맥기 그래프(24정점), 투트-코엑서 그래프(30정점)가 포함되어 있으며, 이들은 모두 (3,g)-cage이다.
• 이 시퀀스의 12정점 그래프는 페터센 그래프에 간선 삽입을 적용하여 얻었으며, 9800개의 스패닝 트리를 가지며, 12정점 3-정규 그래프 중에서 알려진 최대값이다.
• 이 시퀀스의 8정점 그래프는 392개의 스패닝 트리를 가지는 모비우스 래더이며, 6정점 그래프는 K₃,₃이며, 각각의 정점 클래스에서 최대값으로 확인되었다.
• 스패닝 트리 수는 급격히 증가한다: 페터센 그래프에서 2000개에서 다음 그래프에서 9800개로 증가하여, 탐욕 규칙 하에서 강한 극값 행동을 보인다.
• 이 구성 방법은 알려진 (3,g)-cage가 스패닝 트리 수를 최대화하는 과정에서 자연스럽게 나타남을 설명하며, 이들의 등장에 대한 통합 원리를 시사한다.
• 저자는 12정점 그래프와 16개 이상의 정점 수를 가진 시퀀스의 그래프들이 새로운 발견임을 확인하였으며, 이전의 그래프들은 기존 표와 일치함을 확인하였다.