Захопити весь випадок
Додайте окремі, різкі зображення повної дошки, кожного підозрюваного і кожної підказки.
Безкоштовний інструмент / Від Detective Sudoku
Розв’язувач детективного судоку
Приведіть загадку, перебудуйте її кімнати і підказки, і попросіть справжню підказку, перш ніж розкрити розташування.
Почати тут
Додайте кожну частину головоломки
Фотографуйте дошку, список підозрюваних і всі сторінки підказки. Ви можете додати до восьми зображень того ж випадку, перш ніж попросити підказку або розв’язання. Зображення використовуються тільки для повернення цього аналізу і не приєднані до облікового запису.
0 фото головоломка
Редактор Case
Відновити договір і підказки
1
Створіть кімнати, відзначте стіл і блокуйте об'єкти, а потім введіть інструкцію, надруковану для кожної людини.
борту
Виберіть інструмент, а потім натисніть на клітини. Кольори кімнати показують межі; етикетки об'єктів показують, чи можна зайняти клітину.
Люди та інструкції
Додайте фотографії вище як додаткові докази, або використовуйте редактор самостійно.
Розширений: редагувати можливі клітини безпосередньо
Кандидат Fallback
Марки можливих клітин
1
Виберіть підозрюваного, а потім натисніть клітини, щоб ввести або вивести їх згідно з друкованими підказками.
Можливі клітини для АДА
Готово
Введіть те, що вам розповідають підручники.
Використовуйте приклад, якщо ви хочете побачити, як працює перевірка підказки та розв’язання.
Як це працює
Попередня статтяЯк зупинитися перед спойлером
Переглянути те, що прочитано
Перевірте вилучені підказки та попередження. Додайте ще одну фотографію, коли частина справи відсутня або неясна.
Виберіть рівень допомоги
Запитайте про одне логічні висновки спочатку, або розкрийте запропонований порядок тільки тоді, коли ви навмисно хочете відповіді.
За найкращий результат
Включіть повну дошку та всі написані підказки на ваших фотографіях. Тримайте сторінки прямими, уникайте блискавки і переконайтеся, що імена, межі приміщення та невеликий текст читаються. Завжди переглядайте вилучені докази, перш ніж довіряти вирішенню.
Убивство Судоку-Рішувач - це незалежний інструмент Detective Sudoku Він не пов'язаний або затверджений будь-яким третім видавцем головоломки.
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] ≤ 1and∀ 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):
- 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)
- Ada:
- Step-by-step propagation: Dorian is fixed at R4C1, locking Column 1 and eliminating
R1C1from Ada’s domain. This forces Ada = R1C2. Ada atR1C2locks Column 2 and eliminatesR2C2from Bram’s domain, forcing Bram = R2C3. Bram atR2C3locks Column 3 and eliminatesR3C3from Clara’s domain, forcing Clara = R3C4. - 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 |