설문조사 (100 point 적립)
새 로직홈에 가입하셨나요?

  
로직 솔버(Logic Solver)
로직 데이터를 입력하면 자동으로 로직을 풀어줍니다. 로직을 제작하거나 어려운 로직을 풀 때 사용해보세요.
(풀이과정에서 귀류법은 사용하지 않습니다.)

로직솔버 출력 공간

※로그인 후 사용 가능합니다.
※로직솔버를 사용하려면 무료 자바를 설치해 주세요.
Get Java
로직 솔버 사용법
솔버 텍스트 상자에 로직 힌트를 입력하고 '시작'을 누르면 새 창에서 로직풀이가 진행됩니다.
텍스트 상자에 로직힌트를 넣을 때 다음의 형식을 꼭 지켜주세요. 잘못된 형식을 사용할 경우 풀이가 되지 않습니다.

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


로직솔버에 힌트를 입력하고 '시작'을 누릅니다.
조금 기다리면 아래와 같은 결과를 볼 수 있습니다.



위와 같이 모든 칸이 빠짐없이 채워지면 주어진 힌트로 로직이 잘 풀리는 것입니다.
혹시 풀이 도중에 멈춘다면 주어진 힌트로는 로직이 풀리지 않는다는 뜻입니다.
선을 굵게 한다든지 로직힌트를 보강해서 다시 풀리는지 확인해보세요.

단, 경우에 따라 복잡하거나 크기가 큰 로직은 풀이가 불가능할 수도 있습니다.
또한 로직솔버는 귀류법을 사용하지 않으므로 귀류법으로 풀리는 경우가 있습니다.

솔버를 통해 최종적으로 풀리는 로직은 회원창작로직란에 올리시면 됩니다.^^
로직 올리는 법을 모르시면 자주묻는질문(FAQ)을 참고하세요.
  
logichome.org