로직을 많이 풀어보신 분이라면 기본풀이법만 가지고 로직을 끝까지 풀 수 없는 경우를 종종 접하셨을 것입니다. 숫자 힌트만으로 더 이상 공통부분을 찾을 수 없는 때가 그 같은 상황이죠. 이럴 경우 어떻게 하면 될까요? 이때 귀류법을 사용하면 새로운 공통부분을 찾을 수 있는 경우가 있습니다. 물론 처음부터 잘못 만들어진 로직이라면 아무리 귀류법을 쓰더라도 더 이상 풀이가 진행되지 않겠죠. 로또식 완전 찍기로 풀 수도 있겠지만 그건 로직이 아니죠.;; 자, 그럼 본격적으로 귀류법에 대해서 알아보도록 하겠습니다.

1. 귀류법의 뜻

귀류법은 '어떤 명제가 참임을 증명하려 할 때 그 명제의 결론을 부정함으로써 가정(假定) 또는 공리(公理) 등이 모순됨을 보여 간접적으로 그 결론이 성립한다는 것을 증명하는 방법'입니다. @.@ 다들 수학시간에 한번씩 들어보셨죠? 여기서는 그냥 한번 읽고 넘어가세요~ㅎㅎ

로직에서 귀류법이란 숫자힌트만 가지고 공통부분을 찾을 수 없을때 일단 하나의 점을 o로 가정하고 로직을 풀어나가다 모순이 생기면 처음 점을 x로 칠하는 것입니다. 스스로 귀류법을 체득하신 분은 무슨 뜻인지 금방 아실텐데 그렇지 않은 분은 아직 무슨 뜻인지 잘 모르시겠죠? 예제를 통해 알아보도록 하겠습니다.

2. 귀류법 적용방법

3. 또 다른 귀류법 적용방법

잘 따라오셨습니다. 귀류법 강좌는 여기까지입니다. 이제 귀류법이 무엇이고 어떻게 쓰는 것인지 아시겠나요? 쉬운 예로 설명드렸으니 실전 문제에 적용하는 것은 여러분에게 남겨진 몫입니다. 여기서 다시 한번 귀류법을 사용하는 목적을 생각해볼까요? 귀류법을 사용하면 숨겨진 x를 찾을 수 있고 이를 통해 새로운 공통부분을 찾을 수 있습니다. 기본풀이법이 o를 찾는 과정이라면 귀류법은 x를 찾는 과정이라고 보면 되겠죠. 귀류법을 활용하면 기본풀이법에서는 알 수 없었던 숨겨진 힌트를 찾는 재미를 느끼실 수 있습니다. 기계적으로 공통부분을 찾는 방법보다 고차원적인 풀이라고 할 수 있겠네요. 개인 취향에 따라 다르겠지만 적절하게 귀류법이 섞인 로직이라면 더 큰 재미를 줄 수도 있겠구요.(저 개인적으로는 로직을 만들때 귀류법이 쓰이는 것을 되도록 피하기는 합니다만...^^;;)

자, 근데 이쯤에서 몇몇분이 의문을 가지실지도 모르겠네요. 처음 o표시할 점을 선택하는 과정이 어차피 찍기가 아니냐하는 의문인데요. 귀류법과 찍기의 차이점은 o표시할 때의 마음가짐이 아닐까 합니다.

귀류법은 한 점을 o로 선택해서 풀이를 시작하기는 하지만 절대 끝까지 푸는 것이 아닙니다. 귀류법으로 시작했지만 모순이 없다고 한번에 끝까지 풀어 버리면 이때는 찍기와 차이가 없다고 봐야겠죠. 하지만 귀류법은 모순없이 너무 많이 풀어진다 싶으면 중단하고 다른 점에서 새롭게 귀류법을 적용합니다. 이런 의미에서 귀류법과 찍기는 엄연히 다른 것이라고 봅니다.

지금까지 귀류법 적용법과 찍기와의 차이점에 대한 약간 개인적인 견해를 적어보았습니다.
아무쪼록 여러분의 로직풀이에 조금이나마 도움이 되었으면 좋겠네요.^^