“42 정리는 NP 문제가 아니었나 봐요?” 하하, 실은 NPoll 가까웠지. 하지만 인간이 모든 경우에 4색무 해주 지. 그래도 걸린 시간은 어마어마했지. 거의 사흘 동안 여러 대 컴퓨터가 쉬지 않고 계산했으니까 말이다.

=

aT

c

으로 가능한지를 조사할 필요가 없도록 많은 가지치기

mu

》오

1

1852년 드 모르간이 제자가 질문했던 4색 문제를 풀지 못하면 서 4색 정리의 역사는 시작되었지. 그런데 우리가 앞에서 보았던

다섯 왕자 이야기를 4색 정리의 시작으로 보는 사람들도 있어.

증명은 잘못된 것으로 드러나고 말

하켄이 들려주는 4색 정리 이야기