4색정리

장잉정신이 돋보이는 글입니다.
얼마나 할 짓이 없었으면 이런 일을 했을까 하며 부탁을 랄랄치는 글입니다.
너 이새끼 화이팅

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

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

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

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