[논문 리뷰] Modified vertex Folkman numbers

Aleksandar Bikov, Nedyalko Nenov|arXiv (Cornell University)|2015. 11. 06.

Limits and Structures in Graph Theory참고 문헌 11인용 수 3

한 줄 요약

이 논문은 $Ϫ{F}({m}ig|_{6};m-1) = m+10$ 를 $m \geq 8$ 에 대해 정확히 규명하며, 완전 탐색 및 그래프 생성 알고리즘 기반의 계산적 접근을 사용한다. 저자들은 클리크 수가 $m-1$ 미만인 상태에서 팔크만 조건을 만족하는 순서 $m+10$ 의 그래프가 존재하지 않음을 증명하여, 수정된 정점 팔크만 수의 프레임워크에서 $p=6$ 케이스를 해결한다.

ABSTRACT

Let $a_1, ..., a_s$ be positive integers. For a graph $G$ the expression $$ G \overset{v}{ ightarrow} (a_1, ..., a_s) $$ means that for every coloring of the vertices of $G$ in $s$ colors ($s$-coloring) there exists $i \in \{1, ..., s\}$, such that there is a monochromatic $a_i$-clique of color $i$. If $m$ and $p$ are positive integers, then $$ G \overset{v}{ ightarrow} {m}\big\vert_{p} $$ means that for arbitrary positive integers $a_1, ..., a_s$ ($s$ is not fixed), such that $\sum_{i = 1}^{s}(a_i - 1) + 1 = m$ an $\max{\{a_1, ..., a_s\}} \leq p$ we have $G \overset{v}{ ightarrow} (a_1, ..., a_s)$. Let $$ \widetilde{\mathcal{H}}({m}\big\vert_{p}; q) = \{G : G \overset{v}{ ightarrow} {m}\big\vert_{p} \mbox{ and } ω(G) < q\}. $$ The modified vertex Folkman numbers are defined by the equality $$ \widetilde{F}({m}\big\vert_{p}; q) = \min{\{|V(G)| : G \in \widetilde{\mathcal{H}}({m}\big\vert_{p}; q)\}}. $$ If $q \geq m$ these numbers are known and they are easy to compute. In the case $q = m - 1$ we know all of the numbers when $p \leq 5$. In this work we consider the next unknown case $p = 6$ and we prove with the help of a computer that $$ \widetilde{F}({m}\big\vert_{6}; m - 1) = m + 10. $$

연구 동기 및 목표

• 모든 $m \geq 8$ 에 대해 수정된 정점 팔크만 수 $Ϫ{F}({m}\big|_{6};m-1)$ 의 정확한 값을 결정함으로써, $p \leq 5$ 에 대해 알려진 결과를 확장함.
• 수정된 정점 팔크만 수 프레임워크에서 이전까지 알려지지 않았던 $p=6$ 케이스를 해결함. 이는 임의의 $s$-색칠에서 단색 클리크를 유도하는 그래프의 순서를 제한하고, 클리크 크기를 제한하는 문제를 포함함.
• 순서 $m+10$ 인 그래프 중 클리크 수가 $m-1$ 미만이면서 팔크만 조건을 만족하는 그래프가 존재하지 않음을 증명함으로써, 그 경계의 최소성 입증.

제안 방법

• 저자들은 수정된 정점 팔크만 수 $Ϫ{F}({m}\big|_{p};q)$ 를 정의하며, $G \overset{v}{\rightarrow} m\big|_p$ 이고 $\omega(G) < q$ 를 만족하는 그래프 $G$ 의 최소 순서로 정의한다. 여기서 $m = \sum (a_i - 1) + 1$ 이고 $\max a_i \leq p$ 이다.
• 두 가지 특화된 알고리즘을 사용한다: 독립수 2 초과인 최대 그래프를 생성하는 알고리즘 3.2, 독립수 정확히 2인 그래프를 생성하는 알고리즘 3.4. 둘 다 기본 완전 그래프에서 시작하여 독립 정점들을 추가함.
• 검색은 중첩된 집합 $\widetilde{\mathcal{H}}({m}\big|_{6};{m-1};{m+9})$ 을 통해 재귀적으로 수행되며, $m = 9, 10, 11$ 에 대해 이 집합 내 최대 그래프의 존재하지 않음을 검증함.
• 증명는 $m = 9, 10, 11$ 에 대해 $\widetilde{\mathcal{H}}({m}\big|_{6};{m-1};{m+9})$ 내에 그러한 그래프가 존재하지 않음을 검증하는 데 의존하며, 이는 $\widetilde{F}({m}\big|_{6};m-1) > m+9$ 를 의미하고, 따라서 $\widetilde{F}({m}\big|_{6};m-1) = m+10$ 를 증명함.
• 계산은 독립수 제약 조건과 그래프 확장 기법을 사용하여 관련된 모든 집합 내 최대 그래프의 존재하지 않음을 검증함으로써 검증됨.

실험 결과

연구 질문

• RQ1 모든 $m \geq 8$ 에 대해 수정된 정점 팔크만 수 $\widetilde{F}({m}\big|_{6};m-1)$ 의 정확한 값은 무엇인가요?
• RQ2 순서 $m+10$ 인 그래프 중 $G \overset{v}{\rightarrow} m\big|_6$ 를 만족하고 클리크 수가 $m-1$ 미만인 그래프가 존재하는가요?
• RQ3 $m = 9, 10, 11$ 에 대해 재귀적 그래프 생성 및 독립수 제약 조건을 사용하여 그러한 그래프의 존재하지 않음을 계산적으로 검증할 수 있는가요?

주요 결과

• 모든 $m \geq 8$ 에 대해 수정된 정점 팔크만 수 $\widetilde{F}({m}\big|_{6};m-1)$ 는 정확히 $m+10$ 이며, 이는 $p=6$ 케이스를 해결함.
• $\widetilde{\mathcal{H}}({8}\big|_{6};{7};{17})$ 내에 최대 그래프가 존재하지 않음을 확인하여 $\widetilde{F}({8}\big|_{6};{7}) = 18$ 를 확인함.
• $m = 9, 10, 11$ 에 대해 $\widetilde{\mathcal{H}}({m}\big|_{6};{m-1};{m+9})$ 내에 최대 그래프가 존재하지 않음을 통해 $\widetilde{F}({m}\big|_{6};m-1) > m+9$ 를 유도함으로써, 정확한 값이 $m+10$ 임을 증명함.
• 두 알고리즘을 사용하여 증명가능성을 검증함: 독립수 2 초과인 그래프에 대한 알고리즘과 독립수 정확히 2인 그래프에 대한 알고리즘. 둘 다 중첩된 그래프 집합을 통해 재귀적으로 적용됨.
• 이전까지 알려진 지식($p \leq 5$)을 넘어서, 수정된 정점 팔크만 수 시퀀스에서 다음 열린 케이스에 대해 새로운 정확한 값을 설정함.