[🌿 다듬는 중 · growing]
네 색이면 충분하다 — 소설이 쓸 수 없는 방식으로 풀린 문제
1852년 지도 색칠에서 시작해 124년을 버틴 문제가 1,200시간짜리 기계 검사로 끝난 경위와, 손으로 증명한다는 말에 붙는 오해들을 정리했다.
tag
#graph-theory
노트 1편
tag
노트 1편
1852년 지도 색칠에서 시작해 124년을 버틴 문제가 1,200시간짜리 기계 검사로 끝난 경위와, 손으로 증명한다는 말에 붙는 오해들을 정리했다.