Use Constraint Programming to Solve ROGO Puzzle

../../_images/ROGO.logo_.png

Fig. 27 Creative Maths - A world of mathematicians

The ROGO puzzle, see http://www.rogopuzzle.co.nz> or createmaths.net, challenges players to find a good path on a board, pick up treasures, and avoid pitfalls. This puzzle, and its corresponding iPhone app, were originally developed in New Zealand. In this article, I’ll explain a method for solving ROGO puzzles using constraint programming in AIMMS.

Different model formulations were tried

I started modeling this problem in a straightforward manner: x(i) in { 1 .. noCols } and y(i) in { 1 .. noRows } variable for each element i in the path. However, avoiding multiple visits of the same cell and enforcing the path would result in constraints with a lot of “OR” conditions. So my next approach was to number each cell, such that only a single variable was needed to identify a cell, albeit with a larger range. Avoiding multiple visits can then be enforced by using a cp::AllDifferent. A Deterministic finite automaton (DFA) was used to model the sequence of states that would result in a path. The use of DFA’s in constraint programming was introduced by Gilles Pesant in 2002. The DFA is implemented via a table constraint. A drawback of this approach was the additional variable for the events of a DFA, which did not contribute to the objective. My final approach was a variation on the DFA: eliminating this variable for events for efficiency.

Model preparation

In a procedure, we prepare by numbering all cells, including treasures and pitfalls, row wise and by creating both an element parameter and relation to link the row and column number with the cell number. The preparation is completed by constructing the set of allowed transitions. Consider, as an example, Intro 6, the cell no 4 in row 1, column 4 with treasure value 2. From this cell, you can go west and east, making transitions (4,3) and (4,5) allowed. The cell no 13 in row 2, column 4 is a pitfall, making (4,13) not an allowed transition.

Enforcing a cycle

Constraint c_DoStep {
    IndexDomain: s;
    Definition: (ev_evVisitCell(s--1),  ev_evVisitCell(s)) in s_Transitions;
    Comment: {
        "Go from an allowed cell to an adjacent allowed cell.
        The circular lag, denoted by \"--\", ensures that the
        previous cell of the first is the last in the sequence."
     }

This table constraint ensures that two successive cells in a path are allowed by the transitions. The circular lag operator, notation --, results in the previous element of s. With this operator, the previous of the first element is the last element, thus closing the path.

Avoiding multiple visits

Constraint c_DifferentCells {
    Definition: cp::AllDifferent(s,ev_evVisitCell(s));
    Comment: "This constraint ensures that we do not visit the same cell twice.""}

This constraint ensures that we do not visit the same cell twice.

A bit of search reduction

Constraint c_StartInCellWithValue {
    Definition: ev_evVisitCell(first(s)) in s_CellsWithValues;
    Comment: {
        "Symmetry reduction:
        If we want to have the objective some value, at least one cell should have value.
        As the sequence might begin at any place, we may as well start at least the first cell with value.
        This reduces the search, as we do not try anymore the first cell without value."
     }

If we want to give the objective some value, at least one cell should have value. As the sequence might begin at any place, we may as well start in a cell with value. This reduces the search, as we rule out the first cell without value.

Example download

The complete example is presented in this AIMMS project download

It comes with a case for each of the introductory ROGO puzzles. Psst, there is a transparent button on the ROGO logo; clicking it will open the puzzle site.

Alternative

Hakan Kjellerstrand posted an alternative symmetry breaking rule: the idea is that the first element in the path has the lowest cell number. For the introductory problems presented at the ROGO site, I compared the performance of these two symmetry breaking rules.

Instance

first with value

first lowest cell no

Intro 1

0.14

0.17

Intro 2

0.19

0.22

Intro 3

0.22

0.26

Intro 4

0.20

0.33

Intro 5

1.62

0.30

Intro 6

2.50

0.31

Intro 7

8.66

0.47

Intro 8

60

60

For the first four ROGO examples, there is hardly any difference. For ROGO puzzles 5, 6 and 7, the symmetry breaking rule of Hakan performs better. For ROGO puzzle 8 both formulations found the optimal value but were not able to prove optimality within 60 seconds. In short, Hakan’s symmetry breaking rule performs better than mine.

Reference

Gilles Pesant “A Regular Language Membership Constraint for Finite Sequences of Variables” in “Principles and Practice of Constraint Programming - CP”, 2004, pp. 482-495