[논문 리뷰] Computation of the Ramsey Number R(B_3, K_5)

Joshua Stinehour, Stanisław Radziszowski외 1명|arXiv (Cornell University)|2004. 01. 01.

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

한 줄 요약

이 논문은 4개의 브랜치를 가진 휠 그래프 W5(=K1 + C4)와 K5의 램지 수 R(W5, K5)가 27임을 규명한다. 이는 1989년 헨드리의 표에서 남아 있던 마지막 케이스 중 하나를 해결한 것으로, 컴퓨터 알고리즘을 통해 이 쌍에 대해 유일한 임계 램지 그래프가 존재한다는 것을 입증함으로써 정확한 값을 확인하고 구조적 유일성도 입증한다.

ABSTRACT

We determine the value of the Ramsey number R(W5, K5) to be 27, where W5 = K1 + C4 is the 4-spoked wheel of order 5. This solves one of the four remaining open cases in the tables given in 1989 by George R. T. Hendry, which included the Ramsey numbers R(G, H) for all pairs of graphs G and H having five vertices, except seven entries. In addition, we show that there exists a unique up to isomorphism critical Ramsey graph for W5 versus K5. Our results are based on computer algorithms.

연구 동기 및 목표

• W5가 순서 5인 4개의 브랜치를 가진 휠 그래프임을 고려할 때, 램지 수 R(W5, K5)의 정확한 값을 결정하는 것.
• 5개 정점으로 이루어진 그래프에 대한 헨드리의 1989년 램지 수 표에서 남아 있는 네 개의 열린 케이스 중 하나를 해결하는 것.
• (W5, K5) 쌍에 대해 임계 램지 그래프의 존재성과 이sovomorphism를 제외한 유일성을 입증하는 것.
• 계산 알고리즘을 적용하여 램지 이론에서 이론적 한계를 검증하고 최극 그래프를 구성하는 것.

제안 방법

• 시스템적으로 (W5, K5)-램지 그래프를 검색하고 존재성을 검증하기 위해 컴퓨터 알고리즘을 활용하였다.
• 완전한 열거와 그래프 이론적 제약 조건을 사용하여 모든 가능한 (W5, K5)-임계 램지 그래프를 식별하였다.
• 이sovomorphism를 고려할 때 유일한 그래프가 존재한다는 것을 확인하기 위해 그래프 이sovomorphism 테스트를 적용하였다.
• 기존의 램지 수 한계와 W5 및 K5의 구조적 성질을 활용하여 검색 공간을 축소시켰다.
• 최극 그래프의 알고리즘적 구성과 검증을 통해 결과를 검증하였다.
• 26개 정점에서 (W5, K5)-램지 그래프가 존재하지 않는다는 점을 핵심 증거로 삼아, R(W5, K5) = 27이라는 정확한 값을 확인하였다.

실험 결과

연구 질문

• RQ1 W5가 순서 5인 4개의 브랜치를 가진 휠일 때, 램지 수 R(W5, K5)의 정확한 값은 무엇인가요?
• RQ2 (W5, K5) 쌍에 대해 이sovomorphism를 제외한 유일한 임계 램지 그래프가 존재합니까?
• RQ3 계산 방법을 통해 헨드리의 1989년 5정점 그래프에 대한 램지 수 표에서 남아 있는 열린 케이스를 해결할 수 있습니까?

주요 결과

• 램지 수 R(W5, K5)는 정확히 27이며, 이는 램지 이론에서 오랫동안 미해결이었던 문제를 해결한 것이다.
• (W5, K5) 쌍에 대해 이sovomorphism를 제외한 유일한 임계 램지 그래프가 존재하여, 구조적 유일성이 확인되었다.
• 26개 정점에서 (W5, K5)-램지 그래프가 존재하지 않아, 27이 램지 수로서 최소성임을 확인하였다.
• 계산적 접근법을 통해 알고리즘적 열거와 이sovomorphism 검사로 정확한 값과 유일성을 성공적으로 검증하였다.
• 이 결과는 헨드리의 1989년 5정점 그래프에 대한 램지 수 표에서 남아 있던 마지막 미해결 항목 중 하나를 완성한 것이다.