정규 그래프

testwiki
둘러보기로 이동 검색으로 이동

틀:위키데이터 속성 추적

페테르센 그래프는 3-정규 그래프이다.
완전 이분 그래프 K3,3는 3-정규 그래프이다.

정규 그래프(定規graph, 틀:Llang)는 모든 꼭짓점이 동일한 수의 이웃을 가지는 그래프이다. 즉, 모든 꼭짓점이 같은 차수를 가진다.

정의

자연수 k가 주어졌다고 하자. 만약 어떤 그래프에서 모든 꼭짓점의 차수(꼭짓점에 잇닿은 변의 수)가 k라면, 이 그래프를 k-정규 그래프(k-定規graph, 틀:Llang)라고 한다.

3-정규 그래프는 삼차 그래프(三次graph, 틀:Llang)라고도 한다.

성질

내시윌리엄스 정리(틀:Llang)에 따르면, 2k+1개의 꼭짓점을 갖는 k-정규 그래프는 항상 해밀턴 순환을 갖는다.

3-정규 그래프의 최소 교차점 개수(틀:Llang)를 찾는 문제는 NP-난해이다.[1]

존재

두 자연수 n,k이 주어졌을 때, 다음 두 조건이 서로 동치이다.

  • n개의 꼭짓점을 갖는 k-정규 그래프가 존재한다.
  • nk+1이며 2nk이다.

0-정규 그래프는 무변 그래프이다. 1-정규 그래프의 연결 성분은 경로 그래프 K2=P2이다. 2-정규 그래프의 연결 성분은 순환 그래프나 무한 경로 그래프이다.

n개의 꼭짓점의 완전 그래프 Knn1-정규 그래프이다.

역사

1880년피터 거스리 테이트는 모든 삼차 그래프는 해밀턴 경로를 가진다는 추측을 내놓았지만, 1946년윌리엄 토머스 텃이 46개 꼭짓점을 가진 반례를 찾았다.

1971년윌리엄 토머스 텃은 모든 이분 삼차 그래프는 해밀턴 회로가 있을 것이라고 추측했지만, 조지프 호턴(틀:Llang)이 96개 꼭짓점을 가진 반례를 찾아냈다.

모든 이분 삼차 그래프가 해밀턴 회로가 짝수개 존재한다는 것은 증명되어 있다.

내시윌리엄스 정리는 영국의 수학자 크리스핀 내시윌리엄스(틀:Llang)가 증명하였다.

같이 보기

각주

틀:각주

외부 링크