주메뉴바로가기 본문바로가기

[엄상일 교수의 따끈따끈한 수학] 4색 정리의 응용판! 베크너의 문제

 4색 정리는 컴퓨터로 해결한 대표적인 수학 문제입니다. 컴퓨터의 손을 빌린 만큼 증명 과정도 너무 길어서 다 읽고 확인한 사람이 없지요. 결국 검증도 컴퓨터의 도움을 받고 말았습니다. 4색 정리의 응용문제 역시 2016년 컴퓨터의 도움으로 해결했는데요, 최근 덴마크 수학자가 기발한 아이디어로 컴퓨터를 쓰지 않고 이 문제를 풀었습니다. &...(계속)
글 : 엄상일(KAIST 수리과학과 교수)
참고자료 : 카르스텐 토마센 ‘The square of a planar cubic graph is 7-colorable’, 스티븐 하케, 브레트 토마스, 소골 야한베캄 ‘The chromatic number of the square of subcubic planar graphs’
진행 : 조가현 기자(gahyun@donga.com)
일러스트 : 오승만

수학동아 2017년 10월호
이전
다음
1
위의 콘텐츠는 유료 서비스입니다. 기사 내용 전체를 보시거나 잡지용 PDF를 보시려면 유료 서비스를 이용해주시기 바랍니다. 종이잡지 정기독자는 구독중인 잡지의 모든 콘텐츠를 구독 기간 동안 무료로 이용하실 수 있습니다.
수학동아 2017년 10월호 다른추천기사