램지의 정리
위키백과 ― 우리 모두의 백과사전.
충분히 큰 완전 그래프의 변(edge)를 색칠하게 되면, 동일한 색의 변으로만 구성된 완전 그래프가 포함되어 있다. 양의 정수 (r,s)에 대해, 정수 R(r,s)이 존재하는데, R(r,s) 이상의 꼭지점(vertices)을 가지는 완전 그래프의 변을 빨강과 파랑 두가지 색으로 칠하게 되면, 그 그래프는 r개 이상의 꼭지점을 가지는 파랑 완전 그래프나 s개 이상의 꼭지점을 가지는 빨강 완전 그래프, 둘 중의 어느 하나를 서브 그래프로 포함하게 된다. 이것을 램지의 정리라고 한다. 당연히 정수 R(r,s)은 r과 s에 달려있다. 또한 세 가지 이상의 색이 칠해진 경우, 그러니까 R(r,s,t,...)도 부분적으로 연구되고 있다.
[편집] 예제: R(3,3)=6
6개의 꼭지점을 가지는 완전 그래프의 각 변을 빨강과 파랑으로 칠한다. 한 꼭지점 v를 보면, 그 꼭지점에는 5개의 변이 연결되어 있다. 비둘기집 원리에 의해, 적어도 그 중 3개는 같은 색이다. 그 색을 파랑이라고 가정 하고, 그 3개의 변에 연결된 꼭지점을 각각 r, s, t라고 하자. 만약 (r, s), (r, t), (s, t)중의 어느 하나라도 파랑이면, v와 함께 파랑색의 삼각형(3개의 꼭지점을 가지는 완전 그래프)이 생긴다. 만약 어느 하나도 파랑색이 아니면, (r, s), (r, t), (s, t)는 모두 빨강색이므로 빨강색의 삼각형이 생긴다. 그러므로, 6개의 꼭지점을 가지는 완전그래프 K6의 변을 두 가지 색으로 칠하는 경우, 동일한 색의 K3를 포함하게 된다. 즉, R(3,3) ≤ 6이다. 그런데, K5를 두가지 색으로 칠하는 방법 중에는 동일한 색의 삼각형을 만들지 않는 경우가 존재한다(오른쪽 그림). 그러므로, R(3,3) > 5 이다. 그래서, 결론적으로 R(3,3)=6 이다.
