[잡담] 4색 정리라는 수학 문제 재밌더라

[Hybrid Theory]

"어떤 형태의 지도가 있든 간에 4가지 색만 있으면 인접한 도형에 같은 색을 칠하지 않고 전부 색칠할 수 있다"

논란이 되는 것은 증명 방식인데 다름 아닌 컴퓨터 노가다로 증명한 것 때문에 말이 많았다고 함

뭔가 깔끔하고 아름다운 증명이 된게 아니라 그냥 모든 경우 때려박기 식으로 증명했다나.

[★Beanie★]

근데 노가다 방법이 잘못된 건 아니잖

[쉐퍼]

노가다 방식은 '그 어떤 형태의 지도에도 적용 가능한가?'라는 문제를 해결하지 못 하거든

[Sieg Choys]

같은 색끼리 편 먹고 세계대전 벌이면 노란색이 이기겠는데

[제3사도]

저게 그래도 그냥 닥치고 노가다를 했다는 뜻이 아니라
위상수학을 이용해서 '동치관계인 축소된 경우의 지도' 를 계속 좁히고 좁혀가서
최종으로 남은걸 가지고 컴퓨터로 돌려서 증명을 한거.

[Sieg Choys]

그런데 어떤 나라든 하나가 넷 이상의 다른 나라와 국경을 접하고 있으면 4색으로 부족한 거 아님?

[제3사도]

그런 이상한 경우까지 다 포함한거

[루리웹-2533335882]

a가 b,c,d,e와 국경을 접해도 c와 b가 국경을 접한다는 보장은 없는 거라

[Sieg Choys]

아하