“증명이 참 신기하네요. 그런데 최소 범인 지도가 있다고 가정 해 놓고 왜 마지막에 최소 범인 지도가 없다고 하는 거죠?”

그건 최소 범인 지도가 있다면 논리에 맞지 않는 결론이 나와 버리기 때문이지. 논리가 정확하다면 이 불합리한 논증이 애추에

을 부정할 수밖에 없단다. 이러한 증명방법을 간접 증명법 , 혹 은 ABW 이라고 한단다. 역시 《러셀이 들려주는 명제와 논리 이야기)를 읽어 보면 도움이 될 게다.

OPM 1각 나라는 최소 범인 지도에 있어서는 안 된다는 것이

밝혀졌어. 다음엔 2각 나라인데, 역시 2각 나라를 포함하고 있는

ee iS

약에 27+ 나라가 빨간색이고 22} 나라를 둘러싸고 있는 두 개의 나라가 파란색, 노란색으로 색칠되어 있다고 하자. 여기서 2각 나라와 파란색 나라와 인점하고 있는 경계선 라로 합쳐 보자. 그러면 나라의 수가 1개 더 적은 지도로 바뀌게

되지. 그러면 가정에 의해 이 지도는 4색으로 색칠할 수 있게 돼.

i 0 Zz rol 도