4색정리: 두 판 사이의 차이

2018년 9월 26일 (수) 22:09 판

지도상의 모든 국가 혹은 지역을 4가지 색만 써서 전부 칠할 수 있다는 문제이다.

다만 현실의 지도는 바다도 있고 호수도 있고 하여튼 여러 조건들이 있기 때문에 4가지 색만으로는 못 칠한다.

1800년대 후반에 문제가 나와서 1976년에 케네스 아펠과 볼프강 하켄에 의해 증명이 되었는데 지구상에는 상상 이상으로 잉여로운 사람들이 많다는 것을 보여준다.

특별할건 없지만 증명 방법이 컴퓨터를 써서 가능한 가짓수를 다 시도해서 반례가 없음을 찾아냈기 때문에 최초로 컴퓨터를 사용해 증명한 문제가 되었다.

2017년 7월 21일 (금) 13:42 판 편집 옛@하영 (토론) 편집 요약 없음 ← 이전 편집		2018년 9월 26일 (수) 22:09 판 편집 편집 취소 옛@Fundamental Interaction (토론) 편집 요약 없음 다음 편집 →
5번째 줄:		5번째 줄:
	1800년대 후반에 문제가 나와서 1976년에 케네스 아펠과 볼프강 하켄에 의해 증명이 되었는데 지구상에는 상상 이상으로 잉여로운 사람들이 많다는 것을 보여준다.		1800년대 후반에 문제가 나와서 1976년에 케네스 아펠과 볼프강 하켄에 의해 증명이 되었는데 지구상에는 상상 이상으로 잉여로운 사람들이 많다는 것을 보여준다.

	특별할건 없지만 증명 방법이 ~~컴퓨터를~~ 써서 가능한 가짓수를 다 시도해서 반례가 없음을 찾아냈기 때문에 최초로 컴퓨터를 사용해 증명한 문제가 되었다.		특별할건 없지만 증명 방법이 [[컴퓨터]]를 써서 가능한 가짓수를 다 시도해서 반례가 없음을 찾아냈기 때문에 최초로 컴퓨터를 사용해 증명한 문제가 되었다.