[논문 리뷰] On the crossing number of some complete multipartite graphs

Pak Tung Ho|arXiv (Cornell University)|2013. 10. 16.

Computational Geometry and Mesh Generation참고 문헌 6인용 수 10

한 줄 요약

이 논문은 $K_{1,1,1,1,n}$, $K_{1,2,2,n}$, $K_{1,1,1,2,n}$, 및 $K_{1,4,n}$의 교차 수를 결정한다. 이는 $K_{5,n}$에 대한 Kleitman의 결과를 확장하고 조합적 수세기 및 그림의 구조적 분석을 활용한 것이다. 주요 기여는 완전 이분 그래프에 대한 Zarankiewicz의 추측을 이러한 다분할 그래프로 일반화하는 정확한 공식을 수립한 것이다.

ABSTRACT

In this paper, we find the crossing number of the complete multipartite graphs $K_{1,1,1,1,n}$, $K_{1,2,2,n}$, $K_{1,1,1,2,n}$ and $K_{1,4,n}$.

연구 동기 및 목표

• 잘 알려진 완전 이분 그래프의 경우를 초월하여 완전 다분할 그래프의 교차 수를 결정하는 것.
• 완전 이분 그래프 $K_{m,n}$의 교차 수에 대한 Zarankiewicz의 추측을 특정 완전 4- 및 5-분할 그래프로 확장하는 것.
• 구조적 및 조합적 방법을 사용하여 $K_{1,1,1,1,n}$, $K_{1,2,2,n}$, $K_{1,1,1,2,n}$, 및 $K_{1,4,n}$의 교차 수에 대한 정확한 공식을 제공하는 것.
• 제안된 공식이 낮은 값으로 이르는 경우 하위 그래프의 알려진 교차 수와 모순이 되므로, 그림을 구성하여 주장된 교차 수에 도달하고, 귀납법 및 수세기로 하한을 증명함으로써 그 정확성을 검증하는 것.

제안 방법

• 다분할 그래프에 대한 경계를 유도하기 위해 $K_{5,n}$의 교차 수에 대한 Kleitman의 결과를 기초 도구로 활용한다.
• n-분할 집합에서 한 정점을 제거하여 형성된 부분그래프에 대해 재귀적 수세기 방법을 적용하여 $K_{1,1,1,1,n}$의 교차 수를 $K_{1,1,1,1,n-1}$의 교차 수와 연결한다.
• $K_{2,3}$ 및 $K_{1,2,2}$의 비이형도 그림에 대한 케이스 분석을 통해 고차수 경계를 가진 영역의 수를 제한하며, 이는 교차 수에 영향을 준다.
• 분해 공식 $cr_{ heta}(A igcup B) = cr_{ heta}(A) + cr_{ heta}(B) + cr_{ heta}(A,B)$를 사용하여 간선 집합을 분할하고 총 교차 수를 계산한다.
• 귀납법과 부등식 체인을 활용하여 교차 수에 하한을 도출하며, 임의의 더 작은 값은 하위 그래프의 알려진 교차 수와 모순이 됨을 보여준다.
• $K_{1,4,n}$의 경우, 구조적 그림에 의존하지 않고 다수의 부분그림에서의 간선 교차를 기반으로 기본적인 수세기 방법을 적용한다.

실험 결과

연구 질문

• RQ1 완전 5분할 그래프 $K_{1,1,1,1,n}$의 교차 수는 무엇이며, 이는 Zarankiewicz 함수 $Z(4,n)$로 표현될 수 있는가?
• RQ2 $K_{1,2,2,n}$의 교차 수는 $Z(5,n)$와 어떻게 비교되며, $K_{1,2,2}$의 비이형도 그림은 경계를 결정하는 데 어떤 역할을 하는가?
• RQ3 $K_{1,1,1,2,n}$의 교차 수는 유사한 기법을 사용하여 결정할 수 있으며, $Z(5,n)$보다 정확히 $2n$만큼 초과하는가?
• RQ4 $K_{1,4,n}$의 교차 수는 무엇이며, 이는 패턴 $Z(5,n) + 2\big\rfloor{n/2}\big\rfloor$를 따르는가?
• RQ5 $K_{1,1,3,n}$ 및 $K_{2,4,n}$에 대한 제안된 공식은 타당한가? 그리고 동일한 방법으로 증명될 수 있는가?

주요 결과

• $K_{1,1,1,1,n}$의 교차 수는 정확히 $Z(4,n) + n$이며, 여기서 $Z(4,n)$는 $K_{4,n}$에 대한 Zarankiewicz 함수이다.
• $K_{1,2,2,n}$의 교차 수는 $Z(5,n) + \big\rfloor{3n/2}\big\rfloor$이며, $K_{1,2,2}$의 그림에 대한 구조적 분석과 간선 교차 분해를 통해 유도되었다.
• $K_{1,1,1,2,n}$의 교차 수는 $Z(5,n) + 2n$이며, $n$에 대한 케이스 분석과 귀납법을 통해 확인되었다.
• $K_{1,4,n}$의 교차 수는 $Z(5,n) + 2\big\rfloor{n/2}\big\rfloor$이며, 부분그림에 대한 기본적인 수세기 방법을 통해 확립되었다.
• 이 논문은 $K_{1,4,n}$의 그림에서 $Z(5,n) + 2\big\rfloor{n/2}\big\rfloor$보다 적은 교차 수가 존재할 경우, 하위 그래프의 알려진 교차 수와 모순이 됨을 증명한다.
• 후속 연구에서 $K_{1,1,3,n}$ 및 $K_{2,4,n}$에 대한 추측된 값들이 확인되었으며, 이는 본 논문의 방법론적 접근 방식의 타당성을 입증한다.