[논문 리뷰] 3-regular matchstick graphs with given girth

Sascha Kurz, Giuseppe Mazzuoccolo|arXiv (Cornell University)|2014. 01. 17.

Advanced Graph Theory Research참고 문헌 7인용 수 5

한 줄 요약

이 논문은 주어진 둘레를 가진 3-정규 매치스틱 그래프에 필요한 정점의 최소 수를 규명하며, 둘레가 4인 경우에만 정점 수가 짝수이면서 최소 20개 이상일 때 이러한 그래프가 존재함을 증명한다. 또한 180개의 정점을 가진 둘레 5인 3-정규 매치스틱 그래프를 구성하고, 오일러의 공식과 면각 분석을 통해 엄밀한 조합적 및 기하적 제약 조건을 도출하여 더 작은 구성이 불가능함을 입증한다.

ABSTRACT

We consider 3-regular planar matchstick graphs, i.e. those which have a planar embedding such that all edge lengths are equal, with given girth g. For girth 3 it is known that such graphs exist if and only if the number of vertices n is an even integer larger or equal to 8. Here we prove that such graphs exist for girth g=4 if and only if n is even and at least 20. We provide an example for girth g=5 consisting of 180 vertices.

연구 동기 및 목표

• 주어진 둘레를 가진 3-정규 평면 매치스틱 그래프에 필요한 정점의 최소 수를 결정하는 것.
• 20개 이하의 정점을 가진 3-정규 매치스틱 그래프 중 둘레가 4인 것이 존재하는지 여부를 해결하는 열린 문제를 해결하는 것.
• 정점 수가 정확히 180개인 3-정규 매치스틱 그래프의 구성적 예를 제시하는 것.
• 오일러의 공식과 면각 합 논증을 통해 필요로 하는 기하학적 및 조합적 제약 조건을 설정하는 것.
• 둘레가 6 이상인 유한한 3-정규 매치스틱 그래프가 존재하지 않음을 증명하는 것. 유일한 예외는 무한한 꿀벌집 격자 구조이다.

제안 방법

• 3-정규 평면 매치스틱 그래프에서 면 수와 정점 수 간의 제약 조건을 유도하기 위해 오일러의 다면체 공식을 적용한다.
• 외부 면과 인접한 내부 면의 기하학적 각의 합을 고려하여 사각형 면의 수를 근사적으로 제한한다.
• 정삼각형이 아닌 등변 사다리형의 경우 인접한 각의 합이 π임을 이용해 면의 인접성에 대한 부등식을 유도한다.
• 3-연결성과 3-간선 연결성 가정을 통해 면이 외부 면과 어떻게 상호작용할 수 있는지 제한한다.
• 소수의 정점 수에 대해 계산적 방법을 통해 후보 그래프를 포괄적으로 생성하기 위해 plantri 소프트웨어를 활용한다.
• 이론적 한계와 계산적 검증을 결합하여 둘레가 4인 경우 20개 미만의 정점 수를 가진 모든 구성이 제거됨을 입증한다.

실험 결과

연구 질문

• RQ1 3-정규 매치스틱 그래프의 둘레가 4일 경우 필요한 정점의 최소 수는 얼마인가?
• RQ2 3-정규 매치스틱 그래프의 둘레가 5인 것이 존재하는가? 존재한다면 가장 작은 예는 무엇인가?
• RQ3 유한 평면에서 둘레가 6인 완전한 3-정규 매치스틱 그래프가 존재할 수 있는가?
• RQ4 더 높은 둘레에 대해 이러한 그래프의 존재를 제한하는 조합적 및 기하학적 제약 조건은 무엇인가?
• RQ5 주어진 평면 그래프가 일정한 거리 간격으로 매립될 수 있는지 효율적인 일반 알고리즘이 존재하는가?

주요 결과

• 3-정규 매치스틱 그래프의 둘레가 4일 경우, 정점 수가 짝수이면서 최소 20개일 때에만 존재한다.
• 저자들은 정확히 180개의 정점을 가진 둘레 5인 3-정규 매치스틱 그래프를 구성하였다.
• 둘레가 4인 경우, 오일러의 공식과 면각 제약 조건을 조합하여 20개 이하의 정점 수를 가진 모든 구성이 배제된다.
• 3-정규 매치스틱 그래프의 둘레가 5일 경우, 최소 면 수는 15 이상이므로 정점 수의 하한은 30 이상이 된다.
• 둘레가 6 이상인 경우, 무한한 꿀벌집 격자 구조를 제외하고는 어떤 유한한 3-정규 매치스틱 그래프도 존재하지 않는다.
• 면의 인접성과 각의 합에 기반한 이론적 제약 조건은 둘레가 4인 경우 16개 또는 18개의 정점 수를 가진 모든 후보 그래프를 제거하는 데에 충분하다.