램지의 정리

램지 이론에서 램지의 정리()는 충분히 큰 완전 그래프의 변을 색칠할 경우, 동색의 클릭을 찾을 수 있다는 정리이다.

정의 
집합 의, 크기가 인 부분 집합들의 집합을 이라고 표기하자.

임의의
 양의 정수  ("색깔의 수")
 양의 정수  ("초변의 크기")
 양의 정수  ("주어진 색깔의 초변의 수")
가 주어졌다고 하자. 램지의 정리에 따르면 다음 조건을 만족시키는 양의 정수 가 존재한다.
임의의 집합  및 의 개 조각으로의 분할 에 대하여, 만약 라면, 다음 조건을 만족시키는 부분 집합 와 가 존재한다.
이며, 이다.

이는 그래프 이론으로 해석할 수 있다. -초그래프()는 꼭짓점과 -초변()들로 구성된 조합론적 구조이며, 여기서 -초변은 개의 꼭짓점들로 구성된 집합이다. (즉, 2-초그래프는 그래프와 같은 개념이다.) 임의의 꼭짓점 집합 에 대하여, 초변 집합이 인 초그래프를 완전 -초그래프라고 하자. (즉, 완전 2-초그래프는 완전 그래프이다.) 이 경우, 의 개 조각으로의 분할은 완전 초그래프의 초변들을 개의 색깔로 색칠하는 것과 같다. 이 경우, 위와 같은 성질을 갖는 는 동색의 클릭이라고 한다.

따라서, 램지 정리에 따르면, 개 이상의 꼭짓점을 가진 완전 -초그래프의 초변들을 개의 색깔로 색칠한다면, 1번 색깔의, 크기 의 클릭을 가지거나, 아니면 2번 색깔의, 크기 의 클릭을 가지거나, …… 또는 번 색깔의, 크기 의 클릭을 갖는다.

램지 정리에 따라 존재하는 양의 정수 을 램지 수()라고 한다. 일반적으로, 일 경우 로 표기한다.

무한 램지 정리 
위의 (유한) 램지 정리의 확장으로, 다음과 같은 무한 램지 정리() 역시 성립한다.
임의의  및 임의의 가산 무한 집합  및 의 개 조각으로의 분할 에 대하여, 가 성립하는 무한 부분 집합 와 가 존재한다.
즉, 이는

로 생각할 수  있다.

자명한 경우 
는 와 표준적으로 일대일 대응하므로, 완전 1-초그래프는 집합과 동치인 개념이다. 이 경우, 일 경우 램지 정리는 비둘기집 원리와 같다. 즉, 램지 정리는 비둘기집 원리의 일반화로 생각할 수 있다. 이 경우 물론

이다.

일 경우, 램지 정리는 자명하게 성립하며, 이 경우 자명하게

이다.

일 경우 다음과 같은 램지 수들은 자명하다.

알려진 몇 가지 램지 수 
대부분의 경우 램지 수의 정확한 값은 거의 알려져 있지 않고, 범위의 형태로만 확인되어 있다. 알려진 램지 수는 다음과 같다.

일 경우, 알려진 유일한 (자명하지 않은) 램지 수는

이다.

R(3,3)=6의 증명

6개의 꼭짓점을 가지는 완전 그래프의 각 변을 빨강과 파랑으로 칠한다. 한 꼭짓점 v를 보면, 그 꼭짓점에는 5개의 변이 연결되어 있다. 비둘기집 원리에 의해, 적어도 그 중 3개는 같은 색이다. 그 색을 파랑이라고 가정 하고, 그 3개의 변에 연결된 꼭짓점을 각각 r, s, t라고 하자.

만약 변 (r, s), 변 (t, r), 변 (s, t) 중 어느 하나라도 파랑이면, v와 함께 파란색 삼각형(3개의 꼭짓점을 가지는 완전 그래프)이 생긴다. 만약 어느 하나도 파란색이 아니면, (r, s), (t ,r), (s, t)는 모두 빨간색이므로 빨간색의 삼각형이 생긴다. 그러므로, 6개의 꼭짓점을 가지는 완전그래프 K6의 변을 두 가지 색으로 칠하는 경우, 동일한 색의 K3를 포함하게 된다. 즉, R(3,3) ≤ 6이다.

한편, K5를 두가지 색으로 칠하는 방법 중에는 동일한 색의 삼각형을 만들지 않는 경우가 존재한다(오른쪽 그림). 그러므로, R(3,3) > 5이다. 결론적으로 R(3,3)=6

역사 
프랭크 램지가 1930년에 1차 논리의 특정 부분 집합의 결정 문제를 증명하는 도중 보조정리로서 증명하였다. 이는 훗날 에르되시 팔 등에 의하여 발전된 램지 이론의 시초로 여겨진다.

참고 문헌

외부 링크

같이 보기 
 램지 이론

그래프 이론 정리
램지 이론