| Logic Solver |
|
로직의 오류 유무를 확인하는 번거로운 작업에 조금이나마 도움이 되었으면 합니다.
아울러 이를 통해 오류없이 잘 풀리는 멋진 로직이 많이 제작되기를 바랍니다.
단, 로직의 재미를 위해서 로직제작 목적 외에는 사용을 자제하는 것이 좋겠죠.^^;
혹시 솔버가 보이지 않는다면 질답게시판 공지글 2번을 참고하세요.
(풀이과정에서 가정법은 사용되지 않습니다.)
Logic Solver 사용법
※ 로직분석기를 이용하면 더욱 손쉽게 로직솔버를 사용할 수 있습니다.☞로직분석기 LogicAnalysis Download : program developed by 판진
자세한 사용법은 질답게시판 공지글 5번을 참고해주세요.
솔버 텍스트 상자에 로직 힌트를 입력하고 '시작'을 누르면 새 창에서 로직풀이가 시작됩니다.
※ 로직힌트 붙여넣기(Ctrl+V)가 되지 않을 경우 마우스 우클릭하시고 '붙여넣기'를 선택하세요.
텍스트 상자에 로직힌트를 넣을때 다음의 형식을 지켜주세요. 잘못된 형식을 사용할 경우 풀이가 되지 않습니다.
width는 로직의 가로 크기입니다.
height는 로직의 세로 크기입니다.
rows 다음 줄 부터 가로 힌트가 시작됩니다.
columns 다음 줄 부터 세로 힌트가 시작됩니다.
예를 들어 운영자로직 kkr05를 풀려면 아래와 같이 힌트를 적습니다.
|
width 10 height 10 rows 1,1 3,2 2,1,1,1 4,1 8 8 7 2,1,1 3,2,1 1,2 columns 2 4,1 1,6 10 3 3,1 1,5 1,3,1 1,6 4 |
 왼쪽 힌트를 복사해서 텍스트 상자에 넣고 '시작'을 눌러보세요. 조금 기다리면 아래와 같은 결과를 볼 수 있습니다.  위와 같이 모든 칸이 빠짐없이 채워지면 로직이 주어진 힌트로 잘 풀리는 것입니다. 혹시 풀이 도중에 멈춘다면 주어진 힌트로는 로직이 풀리지 않는다는 뜻입니다. 선을 굵게 한다든지 로직힌트를 보강해서 다시 풀리는지 확인해보세요. 단, 경우에 따라 복잡하거나 크기가 큰 로직은 풀이가 불가능할 수도 있습니다. 또한 풀이시 가정법은 사용하지 않으므로 가정법으로 풀리는 경우가 있습니다. 솔버를 통해 최종적으로 풀리는 로직은 회원창작로직란에 올리시면 됩니다.^^ 로직 올리는 법을 모르시면 질답게시판 공지글 5번을 참고하세요. |