https://github.com/jaytwolab/four-color-theorem
Four color theorem :kr: 4색 정리(四色定理)
https://github.com/jaytwolab/four-color-theorem
Last synced: about 2 months ago
JSON representation
Four color theorem :kr: 4색 정리(四色定理)
- Host: GitHub
- URL: https://github.com/jaytwolab/four-color-theorem
- Owner: JayTwoLab
- License: mit
- Created: 2024-12-28T08:50:45.000Z (5 months ago)
- Default Branch: main
- Last Pushed: 2024-12-28T13:09:49.000Z (5 months ago)
- Last Synced: 2025-03-28T03:07:33.728Z (about 2 months ago)
- Language: Python
- Size: 7.81 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.ko.md
- License: LICENSE
Awesome Lists containing this project
README
# 4색 정리
> [English](README.md) [Korean](README.ko.md)
- https://ko.wikipedia.org/wiki/4%EC%83%89_%EC%A0%95%EB%A6%AC
4색 정리(四色定理) 또는 4색 문제(四色問題)는 평면을 유한 개의 부분으로 나누어 각 부분에 색을 칠할 때, 서로 맞닿은 부분을 다른 색으로 칠한다면 네 가지 색으로 충분하다는 정리이다. 이 문제는 지도에서 서로 맞닿은 지역에 다른 색을 칠한다는 것에서 착안해 만들어졌다.
세 가지 색으로는 평면을 칠할 수 없다는 것은 반례를 찾는 것으로 증명할 수 있다. 또한 다섯 가지 색으로 칠하는 것이 가능하다는 것도 증명되어 있다. 하지만 네 가지 색으로 가능한지에 대한 문제는 오랫동안 미해결 상태였다.
평면을 여러 개의 부분으로 나누는 가짓수를 무한 개에서 유한 개로 줄인 증명이 발표된 후, 이후 이 유한 개의 경우를 모두 컴퓨터 계산을 통해 검사하였다. 즉, 이 문제는 컴퓨터를 이용한 증명으로, 일부 사람들은 이러한 증명은 진정한 의미의 수학적인 증명이 아니라고 생각하고, 더욱 간단한 방법의 증명을 찾는 사람들도 있다.
## 예제 코드
- [four-color.py](four-color.py)
## 블로그
상세 설명은 블로그 글을 참고하세요.
- https://j2doll.tistory.com/1092