일반화 페테르센 그래프
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.
1. 개요
일반화 페테르센 그래프는 정수 n과 k를 사용하여 정의되는 그래프의 한 종류이다. GPG(n, k)로 표기하며, n이 3 이상이고, k는 n의 배수가 아니며, n이 짝수일 경우 k는 n/2의 배수가 아니어야 한다. 이 그래프는 2n개의 꼭짓점과 3n개의 변을 가지는 삼차 그래프이며, 왓킨스, 콕서터 표기법 등 다양한 방식으로 표현될 수 있다. 일반화 페테르센 그래프는 정점 추이 그래프, 변 추이 그래프, 이분 그래프, 케일리 그래프 등 다양한 성질을 가지며, 해밀턴 순환과 경로, 교차수, 색칠수 등 그래프 이론의 여러 개념과 관련된다. 대표적인 예시로는 페테르센 그래프, 뒤러 그래프, 데자르그 그래프 등이 있으며, 역사적으로 뒤러의 판화, 페테르센, 콕서터, 왓킨스 등에 의해 연구되었다.
더 읽어볼만한 페이지
- 정규 그래프 - 페일리 그래프
페일리 그래프는 유한체와 제곱수를 기반으로 구성되며, 강하게 정규적이고 자기 여 그래프이며 해밀턴 순환 그래프이다. - 정규 그래프 - 완전 그래프
완전 그래프는 그래프 내 모든 꼭짓점 쌍이 변으로 연결된 그래프로, 꼭짓점 수 n에 따라 Kn으로 표기되며 n(n-1)/2개의 변을 가지고, 사회 연결망 분석 등 다양한 분야에 응용된다. - 그래프 - 매케이 화살집
매케이 화살집은 유한군 G의 기약 표현을 꼭짓점으로, 텐서곱 분해를 통해 변을 정의하여 군의 표현론적 구조를 시각적으로 나타내는 도구이다. - 그래프 - 완전 그래프
완전 그래프는 그래프 내 모든 꼭짓점 쌍이 변으로 연결된 그래프로, 꼭짓점 수 n에 따라 Kn으로 표기되며 n(n-1)/2개의 변을 가지고, 사회 연결망 분석 등 다양한 분야에 응용된다.
일반화 페테르센 그래프 | |
---|---|
일반 정보 | |
![]() | |
종류 | 그래프 이론 |
꼭짓점 | 10 |
변 | 15 |
정규성 | 3-정규 그래프 |
지름 | 2 |
둘레 | 5 |
채색수 | 3 |
색인 | 3 |
대칭성 | 5 |
그래프 속성 | 큐빅 비평면 그래프 비해밀턴 그래프 무어 그래프 스트롱리 레귤러 그래프 |
군 | 대칭군 S5 |
명명법 | |
쇼산 표기법 | G(5, 2) |
관련 그래프 | |
관련 그래프 | 일반화된 페테르센 그래프 테테르 그래프 |
2. 정의
3 이상의 정수 과, 의 배수가 아닌 정수 , 가 주어졌다고 하자. 또한, 만약 이 짝수라면 라고 하자.
'''일반화 페테르센 그래프''' 는 다음과 같은 그래프이다.
:
:
여기서 첨자는 법 으로 계산한다. 즉, 및 로 간주한다.
일반화 페테르센 그래프의 변 가운데, 꼴의 변을 '''바큇살'''(spoke영어)이라고 한다.
당연히
:
이므로, 보통
:
를 가정한다.
왓킨스(Watkins)가 제시한 표기법 ''G''(''n'', ''k'')는 정점 집합 과 간선 집합 을 갖는 그래프이다. 여기서 아래첨자는 모듈로 ''n''으로 읽으며, ''k'' < ''n''/2이다. 일부 저자는 ''GPG''(''n'', ''k'') 표기법을 사용한다. 같은 그래프에 대한 콕서터 표기법은 {''n''} + {''n''/''k''}인데, 이 표기법은 그래프가 형성되는 정다각형 및 별 다각형의 슐레플리 기호를 조합한 것이다. 페테르센 그래프 자체는 ''G''(5, 2) 또는 {5} + {5/2}이다.
어떤 일반화된 페테르센 그래프든 두 개의 정점, 두 개의 자기 루프, 그리고 하나의 다른 간선을 가진 전압 그래프로부터 구성될 수도 있다.[3]
2. 1. 왓킨스 표기법
왓킨스(Watkins)가 제시한 표기법 ''G''(''n'', ''k'')는 정점 집합 과 간선 집합 을 갖는 그래프이다.[3] 여기서 아래첨자는 모듈로 ''n''으로 읽으며, ''k'' < ''n''/2이다.[3] 일부 저자는 ''GPG''(''n'', ''k'') 표기법을 사용한다.[3] 같은 그래프에 대한 콕서터 표기법은 {''n''} + {''n''/''k''}인데, 이 표기법은 그래프가 형성되는 정다각형 및 별 다각형의 슐레플리 기호를 조합한 것이다.[3] 페테르센 그래프 자체는 ''G''(5, 2) 또는 {5} + {5/2}이다.[3]2. 2. 콕서터 표기법
콕서터(Coxeter) 표기법은 {''n''} + {''n''/''k''}이며, 그래프가 형성되는 정다각형 및 별 다각형의 슐레플리 기호를 조합한 것이다.[3] 페테르센 그래프 자체는 ''G''(5, 2) 또는 {5} + {5/2}이다.[3]Watkins의 표기법에서, ''G''(''n'', ''k'')는 다음과 같은 정점 집합을 갖는 그래프이다.
:
그리고 간선 집합은 다음과 같다.
:
여기서 아래첨자는 모듈로 ''n''으로 읽으며, ''k'' < ''n''/2이다. 일부 저자는 ''GPG''(''n'', ''k'') 표기법을 사용한다.
어떤 일반화된 페테르센 그래프든 두 개의 정점, 두 개의 자기 루프, 그리고 하나의 다른 간선을 가진 전압 그래프로부터 구성될 수 있다.[3]
2. 3. 전압 그래프
Watkins의 표기법에서 ''G''(''n'', ''k'')는 다음과 같은 정점 집합을 갖는 그래프이다.[3]:{u0, u1, …, un-1, v0, v1, …, vn-1}
그리고 간선 집합은 다음과 같다.
:{uiui+1, uivi, vivi+k | 0 ≤ i ≤ n-1}
여기서 아래첨자는 모듈로 ''n''으로 읽으며, ''k'' < ''n''/2이다. 일부 저자는 ''GPG''(''n'', ''k'') 표기법을 사용한다.[3] 같은 그래프에 대한 Coxeter의 표기법은 {''n''} + {''n''/''k''}인데, 이 표기법은 그래프가 형성되는 정다각형 및 별 다각형의 슐레플리 기호를 조합한 것이다.[3] 페테르센 그래프 자체는 ''G''(5, 2) 또는 {5} + {5/2}이다.[3]
어떤 일반화된 페테르센 그래프든 두 개의 정점, 두 개의 자기 루프, 그리고 하나의 다른 간선을 가진 전압 그래프로부터 구성될 수 있다.[3]
3. 성질
- ''G''(''n'', ''k'')는 정점-추이 그래프이다. 단, (''n'', ''k'') = (10, 2)이거나 ''k''2 ≡ ±1 (mod ''n'')인 경우에만 해당된다.
- ''G''(''n'', ''k'')는 변-추이 그래프(모든 변을 다른 변으로 옮기는 대칭성을 가짐)는 다음 일곱 가지 경우에만 해당된다: (''n'', ''k'') = (4, 1), (5, 2), (8, 3), (10, 2), (10, 3), (12, 5), (24, 5).[5] 따라서 이 일곱 개의 그래프는 유일한 대칭 그래프 일반화 페테르센 그래프이다.
- ''G''(''n'', ''k'')는 ''n''이 짝수이고 ''k''가 홀수인 경우에만 이분 그래프이다.
- ''G''(''n'', ''k'')는 케일리 그래프이다. 단, ''k''2 ≡ 1 (mod ''n'')인 경우에만 해당된다.
- ''G''(''n'', ''k'')는 ''n''이 6을 법으로 5와 합동이고 ''k'' = 2, ''n'' − 2 또는 (''n'' ± 1)/2일 때 저해밀턴 그래프이다(이 네 가지 ''k'' 선택은 동형 그래프로 이어진다).[6] 또한 ''n''이 4로 나누어지고, 8 이상이며, ''k'' = ''n''/2일 때 해밀턴 그래프가 아니다. 다른 모든 경우에는 해밀턴 순환을 갖는다.[6] ''n''이 6을 법으로 3과 합동일 때 ''G''(''n'', 2)는 정확히 세 개의 해밀턴 순환을 갖는다.[7] ''G''(''n'', 2)의 경우 해밀턴 순환의 수는 ''n''을 6으로 나눈 나머지에 따라 달라지며 피보나치 수를 포함하는 공식을 사용하여 계산할 수 있다.[8]
3. 1. 기본 성질
일반화 페테르센 그래프 는 개의 꼭짓점과 개의 변을 가지는 삼차 그래프이며, 완벽 부합을 갖는다. 구체적으로, 은 완벽 부합을 이룬다.일반화 페테르센 그래프는 여러 흥미로운 속성을 가지고 있다.
- 는 정점-추이 그래프이다. 단, 이거나 인 경우에만 해당된다.
- 는 변-추이 그래프는 다음 일곱 가지 경우에만 해당된다: .[5] 따라서 이 일곱 개의 그래프는 유일한 대칭 그래프 일반화 페테르센 그래프이다.
- 는 이 짝수이고 가 홀수인 경우에만 이분 그래프이다.
- 는 케일리 그래프이다. 단, 인 경우에만 해당된다.
- 는 이 6을 법으로 5와 합동이고 또는 일 때 저해밀턴 그래프이다(이 네 가지 선택은 동형 그래프로 이어진다).[6] 또한 이 4로 나누어지고, 8 이상이며, 일 때 해밀턴 그래프가 아니다. 다른 모든 경우에는 해밀턴 순환을 갖는다.[6] 이 6을 법으로 3과 합동일 때 는 정확히 세 개의 해밀턴 순환을 갖는다.[7]
3. 2. 동형
임의의 정수 및 정수4. 예시
일반화 페테르센 그래프 가운데 일부는 다음과 같은 특별한 이름을 갖는다.
- '''페테르센 그래프'''는 일반화 페테르센 그래프 GPG(5, 2)이다. 이는 완전 그래프 K5의 선 그래프의 여 그래프와 동형이다.
- '''뒤러 그래프'''(Dürer graph영어)는 일반화 페테르센 그래프 GPG(6,2)이다.
- 일반화 페테르센 그래프 GPG(10,2)는 정십이면체의 꼭짓점 및 변들로 구성된 그래프와 같다.
- '''데자르그 그래프'''(Desargues graph영어)는 일반화 페테르센 그래프 GPG(10, 3)이다.
- 일반화 페테르센 그래프 GPG(n,1)는 n각형 각기둥의 꼭짓점 및 변들로 구성된 그래프와 같다.
일반화 페테르센 그래프에는 ''n''-각기둥 ''G''(n, 1), 뒤러 그래프 ''G''(6, 2), 뫼비우스-칸토어 그래프 ''G''(8, 3), 정십이면체 ''G''(10, 2), 데자르그 그래프 ''G''(10, 3) 및 나우루 그래프 ''G''(12, 5)가 있다.
세 개의 각기둥, 다섯 개의 각기둥, 뒤러 그래프, 그리고 ''G''(7, 2)를 포함한 네 개의 일반화 페테르센 그래프는 정규 그래프, 3-정점 연결 그래프이며, 모든 극대 독립 집합이 동일한 크기를 갖는 잘 덮인 그래프인 일곱 개의 그래프 중 하나이다.[4]
5. 역사
알브레히트 뒤러의 1514년 판화 《멜란콜리아 1》(Melancholia Ⅰde)에는 다면체가 등장하는데, 그 꼭짓점과 변으로 구성된 그래프는 뒤러 그래프이다.
1898년에 덴마크의 수학자 율리우스 페테르센은 이 그래프를 다룬 3쪽의 논문을 출판하였으며,[24] 이로부터 명명되었다. 페테르센은 이 그래프를, 임의의 변을 제거하더라도 연결 그래프로 남는 연결 삼차 그래프는 모두 변 색칠수가 3 이하라는 (잘못된) 추측에 대한 반례로 제시하였다.
“데자르그 그래프”라는 이름은 프랑스의 수학자 지라르 데자르그의 이름을 딴 것이다. 데자르그가 연구한 사영기하학의 한 정리에서 등장하는 작도에서, 각 직선과 점에 그래프 꼭짓점을 대응시키고, 서로 인접하는 점과 직선 사이를 변으로 이으면 데자르그 그래프가 된다.
해럴드 스콧 맥도널드 콕서터는 1950년에 일반화 페테르센 그래프를 도입하였다.[25] 콕서터는 일반화 페테르센 그래프
1969년에 마크 왓킨스(Mark E. Watkins영어)가 이 그래프 족을 “일반화 페테르센 그래프”(generalized Petersen graph영어)라고 명명하였다.[26]
“나우루 그래프”(Nauru graph영어)라는 이름은 데이비드 아서 엡스타인(David Arthur Eppstein영어)이 도입하였으며, 이 그래프의 구성에 등장하는 12각 별 모양이 나우루의 국기에 등장하는 별과 흡사하기 때문에 붙여졌다.
참조
[1]
논문
Self-dual configurations and regular graphs
[2]
논문
A Theorem on Tait Colorings with an Application to the Generalized Petersen Graphs
[3]
서적
Topological Graph Theory
Wiley
[4]
논문
A characterisation of well-covered cubic graphs
[5]
논문
The groups of the generalized Petersen graphs
[6]
논문
The classification of Hamiltonian generalized Petersen graphs
[7]
논문
Cubic graphs with three Hamiltonian cycles are not always uniquely edge colorable
[8]
논문
Enumeration of Hamiltonian cycles in certain generalized Petersen graphs
[9]
논문
All generalized Petersen graphs are unit-distance graphs
http://preprinti.imf[...]
2017-04-07
[10]
논문
The isomorphism classes of the generalized Petersen graphs
[11]
논문
Component connectivity of generalized Petersen graphs
http://danielaferrer[...]
2018-10-20
[12]
논문
Every generalized Petersen graph has a Tait coloring
[13]
서적
Extremal Graph Theory
Dover
[14]
논문
Every Generalized Petersen Graph has a Tait Coloring
[15]
논문
Perfect 2-colorings of the generalized Petersen graph GP(n,3)
[16]
서적
The Petersen graph
https://archive.org/[...]
Cambridge University Press
[17]
저널
http://preprinti.imf[...]
2017-07-05
[18]
저널
[19]
저널
http://danielaferrer[...]
2017-07-05
[20]
저널
https://archive.org/[...]
[21]
저널
[22]
저널
Every generalized Petersen graph has a Tait coloring
[23]
저널
[24]
저널
Sur le théorème de Tait
https://babel.hathit[...]
[25]
저널
Self-dual configurations and regular graphs
[26]
저널
A theorem on Tait colorings with an application to the generalized Petersen graphs
본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.
문의하기 : help@durumis.com