문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 4색정리 (문단 편집) == 의의 == 수많은 수학 난제들이 그러하듯 사실 정리의 증명 자체는 크게 실용성이 없었다.[* 사실 컴퓨터 공학에서 4색정리와 관련된 내용들이 알게모르게 쓰이기는 한다(보통 이러한 문제를 Graph Coloring 문제라고 함). 몇가지 예시를 들자면 컴파일러에서 레지스터를 어떻게 효율적으로 할당할지를 정하는 문제가 이 문제와 관련이 있다. [[https://en.wikipedia.org/wiki/Graph_coloring#Applications|#1]] [[https://en.wikipedia.org/wiki/Register_allocation|#2]]] 지도 색칠은 색을 적게 쓰는 것보다는 알아보기 편하도록 적재적소에 알맞은 색을 쓰는 것이 중요하기 때문이다. 그러나 그 과정에서 나온 수많은 중간 결과물들이 다른 난제를 푸는 데 도움이 되거나 새로운 난제를 낳았다. 먼저 이 문제를 통해 [[위상수학]]과 [[그래프(이산수학)|그래프 이론]]이 한층 더 발전할 수 있었다. 실제로 위상수학을 통해 5개 이상 영역이 완전그래프를 이루지 않으면 4색 채색이 충분히 가능함을 증명했고, 역으로 완전그래프를 이루는 꼭지점(영역)의 최대 개수만큼 색상 수를 선택해야 모든 영역을 같은 색상이 인접하지 않도록 그릴 수 있음도 증명했다.[* 꼭지점 5개가 완전그래프를 이루는 경우는 평면 그래프가 아니다.] 또 복잡한 계산이나 모델화, 검증과 같은 증명 과정에 컴퓨터를 사용하는 것이 일반화하여 이제 컴퓨터는 수학과 뗄 수 없는 도구가 되었다.저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기