3263
2015-12-26 10:07:35
0
반례가 꼭 최대한 많은 선을 이어야 할 필요는 없고, 어떤 그래프에서 선을 더 이으면 원래 것보다 더 많(거나 같) 은 색이 필요하다는 사실을 이용해 새로운 반례를 만든 것입니다.
그래프론의 정리중 많은 것이 이런 식으로 진행됩니다.
"반례 A가 있다고 하자. 그러면 이걸 이렇게 저렇게 바꿔보면 반례 A' 을 얻을 수 있고, 이걸 이렇게 저렇게 바꾸면 A''을 얻는다. A''을 이렇게 저렇게 관찰해 보면 p이면서 p가 아니기도 하다는 것을 알 수 있다. 이건 모순이다. 따라서.."
선의 개수를 최대한으로 늘리는 과정 2가 A -> A' 의 과정으로 이해하시면 되겠습니다.