[논문 리뷰] The vertex Folkman numbers $F_v(a_1, ..., a_s; m - 1) = m + 9$, if $\max\{a_1, ..., a_s\} = 5$

Aleksandar Bikov, Nedyalko Nenov|arXiv (Cornell University)|2015. 03. 29.

Limits and Structures in Graph Theory참고 문헌 16인용 수 4

한 줄 요약

이 논문은 정점 폴크만 수 $F_v(a_1, \dots, a_s; m-1) = m + 9$가 $\max\{a_1, \dots, a_s\} = 5$일 때 항상 성립함을 입증하여, 이러한 모든 표준 폴크만 수에 대한 정확한 값을 도출한다. 계산적 검증과 그래프 이론적 구성 기법을 통해 저자들은 $F_v(2,2,5;6) = 16$를 확인하고 이를 일반 공식으로 확장하며, 최대 클리크 크기가 6일 경우 $m+9 \leq F_v(\dots; m-1) \leq m+10$의 범위를 확립한다.

ABSTRACT

For a graph $G$ the expression $G \overset{v}{ ightarrow} (a_1, ..., a_s)$ means that for any $s$-coloring of the vertices of $G$ there exists $i \in \{1, ..., s\}$ such that there is a monochromatic $a_i$-clique of color $i$. The vertex Folkman numbers $$F_v(a_1, ..., a_s; m - 1) = \min\{\vert V(G) \vert : G \overset{v}{ ightarrow} (a_1, ..., a_s) \mbox{ and } K_{m - 1} ot\subseteq G\}.$$ are considered, where $m = \sum_{i = 1}^{s}(a_i - 1) + 1$. With the help of computer we show that $F_v(2, 2, 5; 6) = 16$ and then we prove $$F_v(a_1, ..., a_s; m - 1) = m + 9,$$ if $\max\{a_1, ..., a_s\} = 5$. We also obtain the bounds $$m + 9 \leq F_v(a_1, ..., a_s; m - 1) \leq m + 10,$$ if $\max\{a_1, ..., a_s\} = 6$. Keywords: Folkman number, Ramsey number, clique number, independence number, chromatic number

연구 동기 및 목표

• 튜플의 최대 클리크 크기가 5일 때 정점 폴크만 수 $F_v(a_1, \dots, a_s; m-1)$의 정확한 값을 결정하는 것.
• $F_v(2,2,5;6)$의 계산이 열려 있는 문제를 해결함으로써 일반 사례의 기초를 다지는 것.
• $\max\{a_1, \dots, a_s\} = 5$인 모든 표준 정점 폴크만 수에 대해 결과를 확장하여 $F_v(\dots; m-1) = m + 9$임을 증명하는 것.
• $\max\{a_1, \dots, a_s\} = 6$인 경우에 대해 좁은 범위를 확립하여 $m+9 \leq F_v(\dots; m-1) \leq m+10$임을 보이는 것.

제안 방법

• 컴퓨터 기반 검증을 통해 16-정점 최극 그래프를 구성하고 분석함으로써 $F_v(2,2,5;6) = 16$임을 확인한다.
• 저자들은 특정 크기의 단색 클리크를 유도하지만 $K_q$ 부분그래프를 피하는 그래프 집합 $\mathcal{H}(a_1, \dots, a_s; q)$를 정의하고 분석한다.
• 보완 그래프와 결합 연산을 포함한 그래프 구성 기법을 적용하여 최극 그래프를 생성한다.
• 기존 최극 그래프로부터 간선 제거 및 추가를 반복함으로써 $\mathcal{H}(a_1, \dots, a_s; q; n)$ 내의 최대 그래프를 재귀적으로 생성하는 절차를 사용한다.
• 기존 문헌의 결과, 특히 정리 1.1과 정리 7.2를 활용하여 범위와 등호 사례를 유도한다.
• $m = 7$과 $m = 8$에 대해 각각 상한선을 확인하는 17-정점 그래프 $\Gamma_1$과 $\Gamma_2$를 구성함으로써 일반화를 가능하게 한다.

실험 결과

연구 질문

• RQ1 정점 폴크만 수 $F_v(2,2,5;6)$의 정확한 값은 무엇인가?
• RQ2 모든 표준 튜플에 대해 $\max\{a_1, \dots, a_s\} = 5$일 때 $F_v(a_1, \dots, a_s; m-1) = m + 9$가 성립하는가?
• RQ3 최대 클리크 크기가 6일 경우 $F_v(a_1, \dots, a_s; m-1)$에 대해 가장 좁은 가능한 범위는 무엇인가?
• RQ4 최대 클리크 크기가 5인 경우 $F_v(a_1, \dots, a_s; m-1)$의 최극 그래프를 체계적으로 구성할 수 있는가?
• RQ5 $\mathcal{H}(a_1, \dots, a_s; q)$ 내의 최대 및 이중비판적 그래프의 성질이 폴크만 수 결정에 어떻게 기여하는가?

주요 결과

• 정점 폴크만 수 $F_v(2,2,5;6)$는 정확히 16이며, 16-정점 최극 그래프의 컴퓨터 지원 구성으로 확인되었다.
• 모든 표준 튜플에 대해 $\max\{a_1, \dots, a_s\} = 5$인 경우, 정점 폴크만 수는 $F_v(a_1, \dots, a_s; m-1) = m + 9$를 만족하며, 여기서 $m = \sum_{i=1}^s (a_i - 1) + 1$이다.
• 최대 클리크 크기가 6인 경우, 상한선 $F_v(a_1, \dots, a_s; m-1) \leq m + 10$이 확립되었으며, 하한선 $m + 9$와도 일치한다.
• 최극 그래프 $F_v(2,2,5;6)$는 유일하며, $m = 8$일 때 $K_{m+9} - C_{11}$과 동형임을 확인하였다. 이는 기존의 최극 그래프 구조와 일치한다.
• 저자들은 $m = 7$과 $m = 8$에 대해 각각 최극 값을 실현하는 명시적 17-정점 그래프 $\Gamma_1$과 $\Gamma_2$를 구성하여 일반 공식을 확인하였다.
• 증명은 $\mathcal{H}(a_1, \dots, a_s; q; n)$ 내의 최대 그래프 존재성을 기반으로 하며, 반복적인 간선 수정을 통한 체계적 방법으로 이러한 그래프를 생성하고 검증한다.