4색정리: 두 판 사이의 차이
K-위키
새 문서: 지도상의 모든 국가 혹은 지역을 4가지 색만 써서 전부 칠할 수 있다는 문제이다. 다만 현실의 지도는 바다도 있고 호수도 있고 하여튼 여... |
편집 요약 없음 |
||
| 1번째 줄: | 1번째 줄: | ||
[[지도]]상의 모든 국가 혹은 지역을 4가지 색만 써서 전부 칠할 수 있다는 문제이다. | |||
다만 현실의 지도는 바다도 있고 호수도 있고 하여튼 여러 조건들이 있기 때문에 4가지 색만으로는 못 칠한다. | 다만 현실의 지도는 바다도 있고 호수도 있고 하여튼 여러 조건들이 있기 때문에 4가지 색만으로는 못 칠한다. | ||
1800년대 후반에 문제가 나와서 | 1800년대 후반에 문제가 나와서 1976년에 케네스 아펠과 볼프강 하켄에 의해 증명이 되었는데 지구상에는 상상 이상으로 잉여로운 사람들이 많다는 것을 보여준다. | ||
특별할건 없지만 증명 방법이 컴퓨터를 써서 가능한 가짓수를 다 시도해서 반례가 없음을 찾아냈기 때문에 최초로 컴퓨터를 사용해 증명한 문제가 되었다. | 특별할건 없지만 증명 방법이 컴퓨터를 써서 가능한 가짓수를 다 시도해서 반례가 없음을 찾아냈기 때문에 최초로 컴퓨터를 사용해 증명한 문제가 되었다. | ||
2017년 7월 21일 (금) 13:42 판
지도상의 모든 국가 혹은 지역을 4가지 색만 써서 전부 칠할 수 있다는 문제이다.
다만 현실의 지도는 바다도 있고 호수도 있고 하여튼 여러 조건들이 있기 때문에 4가지 색만으로는 못 칠한다.
1800년대 후반에 문제가 나와서 1976년에 케네스 아펠과 볼프강 하켄에 의해 증명이 되었는데 지구상에는 상상 이상으로 잉여로운 사람들이 많다는 것을 보여준다.
특별할건 없지만 증명 방법이 컴퓨터를 써서 가능한 가짓수를 다 시도해서 반례가 없음을 찾아냈기 때문에 최초로 컴퓨터를 사용해 증명한 문제가 되었다.