*강좌 불펌금지입니다.

귀류법을 어렴풋이 알고 있는 경우 실제 풀이에서 응용하기가 쉽지 않습니다.
(귀류법을 처음 접하시는 분은 바로 아래 글 귀류법 기본강좌를 미리 익혀주세요.)

1. 해방대님의 [20*20]돌고래(2008-01-25) 로직을 예제로 초반 귀류법 적용방법에 대해 살펴보겠습니다.



*로직의 상단 가로 첫줄에 귀류법을 적용해보겠습니다.
*초반에는 이렇게 테두리 부분에 귀류법을 적용하는 경우가 많습니다.
*위는 실제 로직이니 내용을 숙지하신 후 나중에 한번 풀어보세요.























2. 이번에는 케지비님의 [25*20]술주전자(2008-01-23) 로직을 예제로 초반 귀류법에 대해 살펴보겠습니다.



*로직의 우측 세로 끝줄에 귀류법을 적용해보겠습니다.
*위는 실제 로직이니 내용을 숙지하신 후 나중에 한번 풀어보세요.



































*로직 풀이 중간에 귀류법을 적용하는 것도 같은 원리입니다.
*로직을 많이 풀어보시면 '이 부근에 귀류법을 적용하면 되겠구나'하는 감이 생길겁니다.
*일부러 귀류법을 적용할 필요는 없겠지만 꼭 필요한 경우가 있으니 많이 연습해보세요.^^

*강좌 불펌금지입니다.

로직을 많이 풀어보신 분이라면 기본풀이법만 가지고 로직을 끝까지 풀 수 없는 경우를 종종 접하셨을 것입니다. 숫자 힌트만으로 더 이상 공통부분을 찾을 수 없는 때가 그 같은 상황이죠. 이럴 경우 어떻게 하면 될까요? 이때 귀류법을 사용하면 새로운 공통부분을 찾을 수 있는 경우가 있습니다. 물론 처음부터 잘못 만들어진 로직이라면 아무리 귀류법을 쓰더라도 더 이상 풀이가 진행되지 않겠죠. 로또식 완전 찍기로 풀 수도 있겠지만 그건 로직이 아니죠.;; 자, 그럼 본격적으로 귀류법에 대해서 알아보도록 하겠습니다. 1. 귀류법의 뜻 귀류법은 '어떤 명제가 참임을 증명하려 할 때 그 명제의 결론을 부정함으로써 가정(假定) 또는 공리(公理) 등이 모순됨을 보여 간접적으로 그 결론이 성립한다는 것을 증명하는 방법'입니다. @.@ 다들 수학시간에 한번씩 들어보셨죠? 여기서는 그냥 한번 읽고 넘어가세요~ㅎㅎ 로직에서 귀류법이란 숫자힌트만 가지고 공통부분을 찾을 수 없을때 일단 하나의 점을 o로 가정하고 로직을 풀어나가다 모순이 생기면 처음 점을 x로 칠하는 것입니다. 스스로 귀류법을 체득하신 분은 무슨 뜻인지 금방 아실텐데 그렇지 않은 분은 아직 무슨 뜻인지 잘 모르시겠죠? 예제를 통해 알아보도록 하겠습니다. <풀어보세요> 이 로직을 푸실 수 있다면 이미 귀류법을 알고 계신 겁니다. 숫자힌트만 가지고는 공통부분을 전혀 찾을 수가 없죠? 귀류법은 이런 경우에 쓰면 유용한 풀이법입니다. 2. 귀류법 적용방법 여기서는 가로 첫째줄에서 귀류법을 적용해보겠습니다. 보시는대로 가로 첫줄 힌트 2만 가지고는 4칸 중에서 공통부분을 전혀 찾을 수 없습니다. 이때 2가 제일 왼쪽 칸부터 칠해진다고 '가정'해봅니다. <풀어보세요> 제일 왼쪽부터 칠해진다 가정했으므로 첫줄 제일 왼쪽 칸을 o표시하고 로직을 풀어봅니다. 그러면 풀이과정에서 로직에 모순이 생기는 것을 발견하게 됩니다.(왼쪽 로직에서 직접 확인해보세요.) 이는 처음 가정이 잘못되었다는 뜻이므로 처음 칠한 o는 x가 되어야 하는 것입니다. Tip) Shift키를 누르고 클릭하면 작은 회색점을 시험삼아 찍을 수 있습니다. <모순예시1> * 풀이순서에 따라 형태는 다를 수 있습니다. <풀이결과> 귀류법에 의해 첫줄 제일 왼쪽 칸이 x가 되는 것을 알았습니다. x표시 하나로 로직풀이에 광명이 보이는 것을 아실겁니다.^^ 이제는 기본풀이법만 적용하면 로직을 끝까지 풀 수 있습니다. 왼쪽 그림처럼 x표시를 하고 오른쪽 로직을 풀어보세요. <풀어보세요> 3. 또 다른 귀류법 적용방법 <풀어보세요> 무조건 제일 왼쪽 칸에 귀류법을 적용할 필요는 없습니다. 첫줄 제일 오른쪽부터 2가 칠해진다고 가정할 수도 있으니까요. 이 경우에는 첫줄 제일 오른쪽 칸을 o표시하고 로직을 풀어나가야겠죠?(왼쪽 로직에서 직접 연습해보세요.) 오른쪽 예시처럼 로직에 모순이 생기는 것을 볼 수 있습니다. <모순예시2> * 풀이순서에 따라 형태는 다를 수 있습니다. <풀이결과> 앞에서 그랬듯이 가정에 모순이 생겼으니 처음 o로 가정했던 첫줄 제일 오른쪽 칸을 x로 바꿉니다. 이번에도 x표시 하나로 로직을 쉽게 풀 수 있게 됩니다. 왼쪽 그림처럼 x표시를 하고 오른쪽 로직을 풀어보세요. <풀어보세요> 잘 따라오셨습니다. 귀류법 강좌는 여기까지입니다. 이제 귀류법이 무엇이고 어떻게 쓰는 것인지 아시겠나요? 쉬운 예로 설명드렸으니 실전 문제에 적용하는 것은 여러분에게 남겨진 몫입니다. 여기서 다시 한번 귀류법을 사용하는 목적을 생각해볼까요? 귀류법을 사용하면 숨겨진 x를 찾을 수 있고 이를 통해 새로운 공통부분을 찾을 수 있습니다. 기본풀이법이 o를 찾는 과정이라면 귀류법은 x를 찾는 과정이라고 보면 되겠죠. 귀류법을 활용하면 기본풀이법에서는 알 수 없었던 숨겨진 힌트를 찾는 재미를 느끼실 수 있습니다. 기계적으로 공통부분을 찾는 방법보다 고차원적인 풀이라고 할 수 있겠네요. 개인 취향에 따라 다르겠지만 적절하게 귀류법이 섞인 로직이라면 더 큰 재미를 줄 수도 있겠구요.(저 개인적으로는 로직을 만들때 귀류법이 쓰이는 것을 되도록 피하기는 합니다만...^^;;) 자, 근데 이쯤에서 몇몇분이 의문을 가지실지도 모르겠네요. 처음 o표시할 점을 선택하는 과정이 어차피 찍기가 아니냐하는 의문인데요. 귀류법과 찍기의 차이점은 o표시할 때의 마음가짐이 아닐까 합니다. 찍기 귀류법 ①한 점을 o로 찍어서 끝까지 풀어보겠다. ①한 점을 o로 가정하여 모순이 생길때까지만 풀어보겠다. ②막히면 새로운 점을 찍어서 다시 푼다. ②막히면 처음 o를 x표시하고 새로운 공통부분이 생기는지 확인한다. 귀류법은 한 점을 o로 선택해서 풀이를 시작하기는 하지만 절대 끝까지 푸는 것이 아닙니다. 귀류법으로 시작했지만 모순이 없다고 한번에 끝까지 풀어 버리면 이때는 찍기와 차이가 없다고 봐야겠죠. 하지만 귀류법은 모순없이 너무 많이 풀어진다 싶으면 중단하고 다른 점에서 새롭게 귀류법을 적용합니다. 이런 의미에서 귀류법과 찍기는 엄연히 다른 것이라고 봅니다. 지금까지 귀류법 적용법과 찍기와의 차이점에 대한 약간 개인적인 견해를 적어보았습니다. 아무쪼록 여러분의 로직풀이에 조금이나마 도움이 되었으면 좋겠네요.^^ *강좌 불펌금지입니다.