무료 논로그램 솔버 — 모든 크기의 퍼즐을 단계별로 해결
논로그램 솔버는 일본식 크로스워드, 그리들러, 픽크로스의 어떤 단서 조합이든 처리해 완전한 단계별 해답 경로를 보여주는 무료 온라인 도구입니다. 5×5부터 30×30까지 아홉 가지 모든 그리드 크기를 지원하며, 고급 풀이자가 사용하는 제약 전파 알고리즘과 가설 선택 전략을 그대로 적용해 정확한 해답 도구이자 분석용 학습 자료로 활용할 수 있습니다.
솔버가 하는 일
이 솔버는 선택한 그리드 크기의 행과 열 단서를 모두 입력받아 다음을 제공합니다.
• 완전한 해답 그리드 — 모든 칸이 채움 또는 빈칸으로 표시됨
• 단계별 논리 경로 — 어떤 줄이 어떤 순서로, 왜 해결되었는지
• Expert부터 Evil까지의 구성 — 선택된 가설 칸, 시험한 가정, 그리고 해답을 이끈 연쇄 과정
• 모호한 단서 조합 — 임의로 하나를 고르는 대신, 여러 유효 상태를 가진 칸이 무엇인지 식별
이 단계별 출력이야말로 이 솔버를 단순한 정답 조회 도구와 구분하는 핵심입니다. 해답 경로는 이 솔버를 진짜 학습 자료로 만들어 주며, 풀이 경로를 따라가며 자신의 방식과 비교하면 최종 답만 확인할 때보다 실력이 더 빨리 늘어납니다.
솔버 알고리즘
이 솔버는 그리드 크기와 관계없이 모든 구성에 대해 세 단계 알고리즘을 적용합니다.
1단계 — 초기화: 최소 간격 검증을 포함한 재귀적 좌→우 블록 배치 알고리즘으로 각 줄의 모든 유효 배치를 열거합니다. 각 줄에서 모든 배치에 공통인 칸(초기 확정 칸)은 즉시 추출합니다.
2단계 — 제약 전파: 아크 일관성 전파 알고리즘이 배치 수가 적은 순서로 정렬된 우선순위 큐를 사용해 모든 줄을 처리합니다. 확정된 칸은 즉시 교차하는 모든 줄에 반영되어 배치 집합을 줄이고, 추가 확정을 만들어낼 수 있습니다. 이 전파는 직접 추론으로 더 이상 확정할 수 없을 때까지 계속됩니다.
3단계 — 가설 해소: 완전 전파로 해결되지 않는 구성에서는, 남은 모호한 네트워크를 제약 그래프로 분석해 최적의 가설 칸을 찾습니다. 두 가정 상태를 병렬로 추적하며, 모순을 일으키는 가정이 반대 상태를 확정하고 이는 전체 네트워크로 전파됩니다. 중첩된 가설 트리는 조건부 제약 세계 안에서 이 과정을 재귀적으로 적용해 처리합니다.
그리드 크기 선택
퍼즐의 그리드 크기에 맞는 솔버를 선택하세요:
→ 10×10 솔버 | 12×12 솔버 | 15×15 솔버
→ 20×20 솔버 | 25×25 솔버 | 30×30 솔버
솔버를 사용할 때
솔버는 다음 네 가지 상황에서 특히 유용합니다.
특정 퍼즐에서 막혔을 때: 사용할 수 있는 모든 기법을 적용했지만 다음 확정 칸을 찾지 못한 경우, 솔버가 즉시 찾아내고 현재 제약 상태에서 왜 그렇게 되는지 설명합니다.
가설 기법을 배울 때: 가설-검증 실력을 키우는 중이고 기준점을 원할 때, 솔버의 가설 선택 — 대상 칸, 가정, 연쇄 과정 — 이 자신의 풀이를 평가하는 참고점이 됩니다.
진행 상황을 확인할 때: 현재 그리드 상태가 유일한 해답과 일치하는지 확인한 뒤 더 시간을 들일지 판단할 수 있습니다.
완료 후 풀이 경로를 분석할 때: 내가 푼 경로가 최적이었는지, 아니면 더 짧은 추론 경로가 있었는지 알고 싶을 때 유용합니다.
솔버의 정확도와 보장
이 솔버는 모든 잘 구성된 논로그램 — 즉, 모든 단서를 만족하는 유효한 칸 배치가 정확히 하나뿐인 퍼즐 — 에 대해 유일한 해답을 찾아냅니다. 단서 조합이 모호한 퍼즐(해답이 여러 개인 경우)에서는 임의 선택 대신 모호함 자체를 식별합니다. 반환되는 모든 해답은 표시 전에 전체 단서 집합과 대조해 검증됩니다.
또한 이 솔버는 진행 중인 퍼즐 세션을 수정하지 않습니다. 언제든지 솔버를 확인한 뒤, 떠났던 정확한 상태로 퍼즐로 돌아갈 수 있습니다.
다시 플레이하기
솔버의 결과를 확인한 뒤에는 플레이 가능한 퍼즐로 돌아가 다음 시도에 배운 점을 적용해 보세요: