쉬워 보이죠? 여러분도 한번 앞의 그림으로 시도해 보세요. 아마 네 가지 색, 그러니까 4색이면 충분히 규칙대로 색칠할 수 있을 겁니다. 어 떤 그림은 3색, 3색만 있어도 가능합니다.

하지만 특정한 지도가 아니라 OLEAN 그려진 지도에도 4색만 있 으면 충분히 인접한 나라 또는 도시와 다른 색으로 색칠할 수 있을 거라

는 예상은 수학자들을 흥분시켰습니다. 많은 수학자들이 이 문제를 중

44} 문제의 담이 ?68임을 증명하는 데는 자그마치 120년이라는 세

월이 필요했습니다. 그렇게 오랜 시간이 걸릴 것이라고는 그 문제의 해 결에 뛰어든 어느 수학자도 예상치 못했습니다. 그리고 그 증명에 컴퓨 터가 사용될 줄은 더더욱 예상하지 못했습니다. 4색 문제를 최초로 증명

하는 데 성공한 수학자는 1976년 여름, 케네스 아펠 1 App: !과 울프강 하켄. ‘……… Haken PCE 재미있는 것은 당시 수학자들 누 구도 그들의 증명을 이해하지 못했다는 겁니다. 증명 과정을 쓴 책에는

수천 줄의 프로그래밍과 그림이 대부분이었습니다. 하지만 그 증명 속

에는 EBS 연구하는 새로운 수학 기법인 “SIPS! 과 ‘그래프 이론