06.09.2021 Views

Mind, Body, World- Foundations of Cognitive Science, 2013a

Mind, Body, World- Foundations of Cognitive Science, 2013a

Mind, Body, World- Foundations of Cognitive Science, 2013a

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

9<br />

7<br />

8<br />

4<br />

8<br />

1<br />

2<br />

4<br />

6<br />

9<br />

3<br />

1<br />

9<br />

2<br />

7<br />

8<br />

5<br />

9<br />

2<br />

1<br />

6<br />

7 6<br />

8<br />

4<br />

2<br />

2<br />

3<br />

Figure 8-3. An example Sudoku puzzle.<br />

A Sudoku puzzle can be considered as a problem to be solved by relaxation labelling.<br />

In relaxation labelling, sets <strong>of</strong> possible labels are available at different locations. For<br />

instance, at the start <strong>of</strong> the puzzle given in Figure 8-3 the possible labels at every<br />

blank cell are 1, 2, 3, 4, 5, 6, 7, 8, and 9. There is only one possible label (given in the<br />

figure) that has already been assigned to each <strong>of</strong> the remaining cells. The task <strong>of</strong><br />

relaxation labelling is to iteratively eliminate extra labels at the ambiguous locations,<br />

so that at the end <strong>of</strong> processing only one label remains.<br />

5<br />

Figure 8-4. The “there can be only one” constraint propagating from the cell<br />

labelled 5<br />

In the context <strong>of</strong> relaxation labelling, Sudoku puzzles can be solved by propagating<br />

different constraints through the grid; this causes potential labels to be<br />

removed from ambiguous cells. One key constraint, called “there can be only one,”<br />

emerges from the primary definition <strong>of</strong> a Sudoku puzzle. In the example problem<br />

given in Figure 8-3, the digit 5 has been assigned at the start to a particular location,<br />

which is also shown in Figure 8-4. According to the rules <strong>of</strong> Sudoku, this means that<br />

this digit cannot appear anywhere else in the column, row, or cage that contains<br />

372 Chapter 8

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!