KOApp Store에서 이용 가능

무료 도구 / Detective Sudoku 제공

살인 스도쿠 풀이기

퍼즐을 가져 와서 방과 힌트를 재건하고 배열을 밝히기 전에 실제 힌트를 요청하십시오.

다양한 퍼즐 사진3×3–12×12 격자가입 필요 없음

여기서 시작

퍼즐의 모든 부분을 추가

힌트나 풀이을 요청하기 전에 동일한 사례의 최대 8개의 이미지를 추가할 수 있습니다.

사례 편집자

보드와 힌트를 재구성하기

1

객실을 만들고, 좌석 테이블과 차단 객체를 선택한 다음 각 사람에 대한 인쇄된 지침을 입력합니다.

방들

보드

도구를 선택한 다음 칸을 탭합니다.룸 색상은 경계를 표시합니다.개체 표시는 해당 칸을 사람이 차지할 수 있는지 알려 줍니다.

사람과 지침

위의 사진을 추가 증거로 추가하거나 편집기를 직접 사용하십시오.

고급: 가능한 칸을 직접 편집

후보 직접 입력

가능한 칸 표시

1

용의자를 선택한 다음 칸을 탭하여 인쇄된 힌트에 따라 그들을 입력하거나 끄십시오.모든 용의자는 가능한 한 각 칸에서 시작합니다.

Ada에 대한 가능한 칸

준비됨

링크가 당신에게 말하는 것을 입력하십시오.

힌트 및 정답 확인이 어떻게 작동하는지 보려면 예제를 사용하십시오.

어떻게 작동하는지

스포일러 전에 멈출 수있는 풀이기.

01

전체 케이스 캡처

전체 보드, 모든 용의자 및 모든 힌트에 대한 분리된, 날카로운 이미지를 추가합니다.확대 사진는 인쇄 된 텍스트가 작을 때 도움이됩니다.

02

읽은 것을 재검토

추출된 힌트와 경고를 확인합니다. 케이스의 일부가 없거나 불명확한 경우 다른 사진을 추가합니다.

03

도움말 레벨을 선택하세요

먼저 한 가지 예산을 요청하거나 의도적으로 답을 원할 때에만 제안된 조정을 공개하십시오.

최상의 결과를 위해

전체 보드를 포함하고 사진을 통해 모든 쓰인 힌트를 포함합니다. 페이지를 똑바로 유지하고, 반짝이는 것을 피하고, 이름, 방 경계 및 작은 텍스트가 읽을 수 있는지 확인하십시오.

살인 추리 스도쿠 풀이기는 독립적 인 도구입니다. Detective Sudoku그것은 어떤 제 3 자 퍼즐 출판사와 관련이 없거나 승인되지 않습니다.

Mathematical Method & Worked Example

How does the Murder Sudoku constraint solver compute forced placements?

The 살인 스도쿠 풀이기 models an N×N case board as a binary constraint-satisfaction and bipartite matching problem where each suspect s ∈ {1..K} is assigned a cell (r, c) ∈ {1..N}² such that no two suspects share a row or column, blocking objects are excluded, every spatial clue predicate holds simultaneously, and the victim’s room contains exactly two occupants.

Plain-Text Constraint Satisfaction Equations

Let binary decision variable x[s, r, c] ∈ {0, 1} equal 1 if suspect s is placed at row r, column c. The solver enforces five formal constraint families before enumerating valid completions:

  • Single placement per suspect: ∀ s ∈ {1..K}: ∑_{r=1..N} ∑_{c=1..N} x[s, r, c] = 1
  • Row & column uniqueness (Latin rook constraint): ∀ r ∈ {1..N}: ∑_{s=1..K} ∑_{c=1..N} x[s, r, c] ≤ 1 and ∀ c ∈ {1..N}: ∑_{s=1..K} ∑_{r=1..N} x[s, r, c] ≤ 1
  • Blocking & sittable furniture domain pruning: ∀ (r, c) ∈ BlockedObjects: x[s, r, c] = 0
  • Murder room two-occupant constraint: For victim at (r_V, c_V) ∈ Room(V), ∑_{s=1..K} ∑_{(r,c) ∈ Room(V)} x[s, r, c] = 2 (the victim plus exactly one murderer).
  • Forced-move intersection (Real Hint): Over the solution set S = {A_1, A_2, ..., A_m}, a placement (s, r, c) is reported as a forced logical hint when ∀ A ∈ S: A(s) = (r, c).

Worked 4×4 Example With Real Coordinates & Solved Result

In the built-in 4×4 candidate example (16 cells indexed 0–15, or Row 1 Column 1 through Row 4 Column 4) with 4 suspects (Ada, Bram, Clara, Dorian):

  1. Initial clue-pruned candidate domains:
    • Ada: {R1C1, R1C2} (cells 0, 1 — 2 candidates)
    • Bram: {R2C2, R2C3} (cells 5, 6 — 2 candidates)
    • Clara: {R3C3, R3C4} (cells 10, 11 — 2 candidates)
    • Dorian: {R4C1} (cell 12 — 1 candidate, naked single)
  2. Step-by-step propagation: Dorian is fixed at R4C1, locking Column 1 and eliminating R1C1 from Ada’s domain. This forces Ada = R1C2. Ada at R1C2 locks Column 2 and eliminates R2C2 from Bram’s domain, forcing Bram = R2C3. Bram at R2C3 locks Column 3 and eliminates R3C3 from Clara’s domain, forcing Clara = R3C4.
  3. Verified unique output (1 solution): Ada: Row 1, Column 2 · Bram: Row 2, Column 3 · Clara: Row 3, Column 4 · Dorian: Row 4, Column 1.

Murder Sudoku Clue Types & Spatial Constraint Reference Table

Clue Category Spatial / Algebraic Rule Wall & Room Boundary Behavior Candidate Elimination Yield (4×4–6×6 Grid) Worked Deduction Example
Room Membership (r, c) ∈ Room(R) Strictly bounded by room walls Eliminates 60%–85% of board cells (10–30 cells) “Ben was in the Poolside” restricts Ben to Poolside tiles
Orthogonal Adjacency (“Beside”) |r - r'| + |c - c'| = 1 and Room(r,c) = Room(r',c') Blocked by walls; diagonals excluded Reduces domain to 1–4 orthogonal neighbor cells “Daniel was beside a bench (R1C2)” → R1C1 or R1C3
Cardinal Direction (North / South / East / West) Same column (c = c', r < r' or r > r') or same row (r = r') Line-of-sight or room-bounded per clue Eliminates 3–5 entire rows or columns “Carl was directly west of a table (R1C4)” → R1C1 or R1C3
Exact Vector Distance (r_A, c_A) = (r_B + Δr, c_B + Δc) Couples two suspects across rooms Locks paired coordinates to 1–3 valid vectors “Alice was 3 cells SE of Daniel (R1C3)” → Alice at R4C6
Room Corner / Furniture Seat Cell touches 2 perpendicular room walls or has objectType = sittable Defined by room perimeter geometry Restricts suspect to 2–6 corner/chair squares “Fiona was in a corner of the room” → room corner cells only
Victim Alone With Murderer ∑_{(r,c) ∈ Room(Victim)} x[s,r,c] = 2 Applies to the victim’s enclosed room Forces exactly 1 suspect into the victim’s room Victim at R6C1 (Gazebo) + row/col blocks → culprit at R5C2