Numbered Room
Count from the clue by the first digit. The cell reached contains the stated digit.
Parameters
| Parameter | Meaning | Default |
|---|---|---|
| cells | The marked cells, for example r1c1-r1c2-r2c2. | Required. |
| digit | The specified digit. | Required. |
Maths
Class: first-order.
The shared predicates define the notation and every named predicate.
|cells|>0 ∧ let x=D(cells[0]); 1<=x<=|cells| ∧ D(cells[x-1])=digit
The nearest digit names a one-based position within cells. That position contains digit.
Example
---
format: open-rules
title: Numbered Room example
setter: Example
source: ""
case: ""
library: https://rules.sudoku-sleuth.com/
status: read
---
```rules
sudoku 9x9
numbered-room r1c1-r1c2-r1c3 digit 3
```
Satisfies the rule: r1c1=2, r1c2=3, r1c3=1. The first digit 2 selects a cell containing the required 3.
Breaks the rule: r1c1=2, r1c2=4, r1c3=1. The selected cell contains 4 instead of 3.