[논문 리뷰] Small minimal $(3, 3)$-Ramsey graphs

Aleksandar Bikov|arXiv (Cornell University)|2016. 04. 13.

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

한 줄 요약

이 논문은 최대 13개의 정점을 가진 모든 최소 (3,3)-Ramsey 그래프에 대한 계산적 수나열을 제시하며, 클리크 수가 5 미만이고 독립 수가 정확히 |V|−9인 그래프 8,903개를 규명한다. 전용 알고리즘을 사용하여 독립 수에 대한 새로운 상계와 최소 차수에 대한 하계를 확립하며, ω(G) = 3인 (3,3)-Ramsey 그래프에 대해 δ(G) ≥ 8임을 증명한다.

ABSTRACT

We say that $G$ is a $(3, 3)$-Ramsey graph if every $2$-coloring of the edges of $G$ forces a monochromatic triangle. The $(3, 3)$-Ramsey graph $G$ is minimal if $G$ does not contain a proper $(3, 3)$-Ramsey subgraph. In this work we find all minimal $(3, 3)$-Ramsey graphs with up to 13 vertices with the help of a computer, and we obtain some new results for these graphs. We also obtain new upper bounds on the independence number and new lower bounds on the minimum degree of arbitrary $(3, 3)$-Ramsey graphs.

연구 동기 및 목표

• 컴퓨터 보조 알고리즘을 사용하여 최대 13개의 정점을 가진 모든 최소 (3,3)-Ramsey 그래프를 체계적으로 수나열하는 것.
• 특히 독립 수와 최소 차수에 대한 경계를 포함한 최소 (3,3)-Ramsey 그래프의 구조적 성질을 규명하는 것.
• α(G) = |V|−9이고 ω(G) < 5인 극단적 예시, 예를 들어 29개의 정점을 가진 그래프를 식별하는 것.
• K₅와 K₄를 피하면서도 (3,3)-Ramsey 성질을 유지하는 그래프를 특성화하여 기존 결과를 확장하는 것.

제안 방법

• 최소성과 (3,3)-Ramsey 성질에 대해 최대 12개의 정점까지의 모든 그래프를 생성하고 테스트하기 위해 알고리즘 3.1을 설계 및 구현하는 것.
• 대칭성과 가지치기 기법을 활용하여 13개의 정점까지의 그래프로의 확장을 위해 알고리즘 3.11을 사용하는 것.
• 지정된 독립 수와 클리크 수 제약 조건을 가진 그래프를 체계적으로 탐색하기 위해 알고리즘 3.8을 적용하는 것.
• 전체 2색 칠하기 검사를 통해 그래프의 여부를 확인하기 위해 그래프의 여집합과 유도 부분그래프 분석을 활용하는 것.
• 기존의 구성 방법(예: K₃ + C₅, K₁ + Γ)을 기저 사례로 삼고, 그 최소성과 극단적 성질을 검증하는 것.
• 중복 계산을 방지하고 완전성을 보장하기 위해 동형미포함 생성 및 표준 레이블링을 구현하는 것.

실험 결과

연구 질문

• RQ1 클리크 수가 5 미만인 최소 (3,3)-Ramsey 그래프 중 최대 13개의 정점까지 존재하는 수는 몇 개인가?
• RQ2 클리크 수가 5 미만인 최소 (3,3)-Ramsey 그래프 중에서 최대 독립 수는 얼마인가?
• RQ3 클리프 수가 3 또는 4인 최소 (3,3)-Ramsey 그래프에 대해 최소 차수 δ(G)에 대한 가장 날카로운 하계는 무엇인가?
• RQ4 독립 수와 최소 차수에 대한 이론적 경계에 도달하는 새로운 극단적 그래프를 구성할 수 있는가?
• RQ5 클리프 수가 3이고 독립 수가 |V|−9인 비자명한 최소 (3,3)-Ramsey 그래프는 존재하는가? 존재한다면 그 수는 얼마인가?

주요 결과

• 클리프 수가 5 미만이고 독립 수가 정확히 |V|−9인 최소 (3,3)-Ramsey 그래프는 정확히 8,903개 존재하며, 가장 큰 그래프는 29개의 정점을 가진다.
• Nenov의 15개 정점 그래프 K₁ + Γ는 α(G) = |V|−8이고 ω(G) < 5인 유일한 알려진 최소 (3,3)-Ramsey 그래프이다.
• 모든 최소 (3,3)-Ramsey 그래프에 대해 ω(G) ≤ 4이면 최소 차수 δ(G) ≥ 5를 만족하며, 이 경계는 날카롭다.
• 클리프 수가 3인 최소 (3,3)-Ramsey 그래프에 대해 최소 차수 δ(G) ≥ 8를 만족하며, 이 경계 역시 날카롭다.
• 13개의 정점을 가진 그래프 G₁₃.₁₉₃₆₈₄, G₁₃.₁₉₃₇₆₀ 등은 13,000개 이상의 자동형을 가지며 높은 대칭성을 나타낸다.
• α(G) = 2 또는 α(G) = 6인 13개의 정점 최소 (3,3)-Ramsey 그래프는 모두 완전히 수나열되었으며, α(G) = 6인 경우 6개의 그래프가 발견되었다.