홈 > FAQ 1 페이지

접속 : 11 (회원 0)

홈

공지

FAQ

자주 묻는 질문(FAQ)

*궁금한 내용을 검색해 보세요.

[포인트]

레벨별 포인트

[회원정보]

로직홈 아이콘 설명

[포인트]

포인트 적립 방법

[로직일반]

로직 인쇄하는 법

[로직풀이]

로직 귀류법 응용강좌

[로직풀이]

로직 귀류법 기본강좌

*강좌 불펌금지입니다.

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

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

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

*강좌 불펌금지입니다.

[로직풀이]

로직 기본풀이법(ver2.1)

*강좌 불펌금지입니다.

▒로직풀이 기본원칙▒

1. 가로, 세로 각 행과 열에 있는 숫자만큼 칸을 연속적으로 칠한다.

2. 한 줄에 숫자가 둘 이상 있을 경우 순서대로 칸을 칠하되 숫자 사이에는 한 칸 이상의 공백이 있어야 한다.

이 두 가지 기본원칙을 생각하면서 필연적으로 칠해지는 공통부분과 아닌 부분을 찾다 보면 어느 순간 로직이 완성됩니다. 예시를 통해서 원칙의 좀 더 명확한 의미를 알아보겠습니다.

[예시1] 한 줄에 숫자가 하나일 경우

10칸 중에 8칸을 칠하는 경우의 수는 3가지입니다. 그런데 어느 경우라도 중간의 6칸은 필연적으로 칠해집니다.

이러한 공통부분을 쉽게 찾는 법은 숫자를 제일 왼쪽부터 칠할 경우와 제일 오른쪽부터 칠할 경우만 따진 후 겹치는 부분을 칠하는 것입니다. 기억하세요.

[예시2] 한 줄에 숫자가 둘 이상일 경우

1,6을 칠하는 방법은 여러 가지가 있겠지만 제일 위쪽부터 칠할 경우와 제일 아래부터 칠할 경우만 생각합니다. 그리고 겹치는 공통부분을 칠합니다.

주의할 점은 '같은 숫자'의 공통부분만 칠하는 것입니다. 왼쪽 그림에서 보라색은 보라색끼리, 파란색은 파란색끼리만 공통부분을 찾아야 합니다. 그래서 체크표시부분은 공통부분이 될 수 없습니다.

이제 운영자로직 kkr05를 직접 풀면서 기본원칙을 적용해보겠습니다.

☞여기를 클릭하신 후 직접 풀면서 기본원칙을 확실히 익혀보세요.

①로직을 풀 때 제일 먼저 할 일은 가장 큰 힌트를 찾는 것 입니다. 여기서는 10이 있는 세로줄부터 공통부분을 찾아보겠습니다. 노란색으로 표시된 부분에서 기본원칙을 이용해서 공통부분을 찾을 수 있습니다. 기본원칙을 이해하셨다면 쉽게 칠할 수 있을 것입니다. 여기서 막힌다면 처음으로 돌아가 다시 한번 기본원칙을 읽어보세요.

② 이번에는 가로줄에서 공통부분을 찾아보겠습니다. 노란색 표시부분에서 왼쪽 그림처럼 공통부분을 찾을 수 있습니다.

③ 공통부분을 찾고 난 다음에는 [x]표시를 합니다. 가로줄부터 살펴보겠습니다.

1 1
1,1중 1이 칠해졌으니 양옆에 [x]표시

3 2
3이 첫칸부터 칠해지면 4가 되므로 첫칸은 3의 일부분이 될 수 없으니 [x]표시

8
이미 7칸이 칠해졌으니 첫칸은 8의 일부분이 될 수 없으므로 [x]표시

7
이미 칠해진 부분은 서로 이어져서 7이 되어야 하므로 [●]표시, 나머지는 [x]표시

2 1 1
2는 다 칠해졌으므로 왼쪽 전부, 오른쪽 한칸 [x]표시, 1도 칠해졌으므로 양옆 [x]표시

3 2 1
첫칸은 3의 일부분이 될 수 없으므로 [x]표시

④ 다시 세로줄을 살펴봅니다.

2
2를 칠할 부분이 정해졌으니 칠하고 나머지는 [x]표시

4 1
4의 공통부분을 찾아 [●]표시

3
3이 칠해졌으니 나머지 모두 [x]표시

3 1
3이 칠해졌으니 윗부분 모두와 아래 한칸 [x]표시

1 5
5가 맨 아래칸부터 칠해지면 6이 되므로 맨 아래칸은 5의 일부가 될 수 없으니 [x]표시

1 3 1
3의 윗칸 [x]표시

4
아래부분은 4의 자리가 없으므로 [x]표시, 윗부분에서 공통부분 [●]표시

⑤ 세로를 봤으니 다시 가로입니다.

3 2
3이 들어갈 자리가 정해졌으므로 [●]표시

2 1 1 1
2,1 옆에 [x]표시

4 1
4의 남은 한 칸 [●]표시, 나머지 [x]표시

2 1 1
남은 칸에 [●]표시

3 2 1
남은 칸에 [●], [x]표시

1 2
이미 칠해진 [●]가 2의 일부라면 1이 들어갈 자리가 없으므로 1이 되고 나머지 칸에 2의 자리가 저절로 정해진다.

⑥ 다시 세로입니다.

4 1

맨 아래칸은 4의 일부가 될 수 없으므로 [x]표시

⑦ 다시 가로입니다.

8의 나머지 한 칸 [●]표시

⑧ 다시 세로입니다.

4를 완성하고 나머지 [x]표시

⑨ 가로입니다.

3 2

2의 공통부분 [●]표시

나머지 칸 [x]표시

⑩ 세로입니다.

4 1

4 완성

1 3 1

남은 칸 [x]표시

⑪ 가로입니다.

1 1

남은 칸 [x]표시

2 1 1 1

남은 칸 [●]표시

⑫ 세로입니다.

1 5

남은 칸 [x]표시

1 6

남은 칸 [●]표시

⑬ 완성입니다.

정확히 풀었다면 그림이 [■]로 변하게 됩니다.

기본원칙을 열심히 적용하다보니 어느새 로직이 완성되었습니다.

지금까지는 설명의 편의를 위해서 가로를 전부 확인한 다음 세로를 전부 확인하고 다시 가로 전부, 세로 전부 이런 순서로 살펴보았지만 실전에서는 가로와 세로를 복합적으로 번갈아 보면서 풀이를 합니다. 이 점을 더 연습하시면 더욱 빠르고 손쉬운 풀이가 가능할 것입니다. 연습 많이 하세요~^^

*강좌 불펌금지입니다.

[로직일반]

로직빌더 사용법(로직제작방법)

1. 로직빌더를 다운받아 설치합니다.

☞LogicBuilder 1.71 Download
LogicBuilder.zip 파일을 다운받은 후 원하는 폴더에 압축을 풉니다.

2. 로직빌더를 이용해 로직을 만듭니다.

*압축을 풀면 아래와 같은 파일목록을 확인할 수 있습니다.
[그림1]

로직빌더 바로가기를 더블클릭하여 로직빌더를 실행합니다.

만약 실행후 알집등의 압축프로그램으로 연결이 된다면 연결설정을 변경해야 합니다.
알집의 경우 [알집설정]-[환경설정]-[아이콘]으로 이동후 .jar항목의 '알집에 연결'을 해제합니다.

*새 로직을 만들 경우 [File]-[New]를 선택합니다.
[그림2]

*이어지는 메뉴에서 사이즈를 선택합니다.
[그림3]

*사이즈를 직접 정하려면 [Choose]를 누릅니다.
[그림4]

*숫자를 직접 입력할 수 있습니다.
[그림5]

사이즈 선택을 마쳤으면 이제 로직을 만듭니다.
*완성후 [File]-[Save]에서 저장합니다.
[그림6]

(예제는 운영자로직 kkr05를 사용하였습니다.)

3. 로직분석기를 이용해 로직이 풀리는지 확인합니다.

프로그램를 이용해서 로직이 풀리는지 확인하는 법을 살펴보겠습니다.
물론 직접 풀면서 로직검증을 할 수도 있습니다.
이 경우 LogicBuilder폴더에 생성된 로직html파일을 열어서 확인합니다.

LogicBuilder폴더의 로직분석기 실행파일을 더블클릭합니다.

*실행 후 [열기]를 누르고 분석할 파일(lim)을 선택합니다.
[그림7]