simon-svn: puzzles: simon

[Commits to Tartarus CVS repository.]

SVN root:       svn://svn.tartarus.org/sgt
Changes by:     simon
Revision:       9543
Date:           2012-05-31 19:10:11 +0100 (Thu, 31 May 2012)

Log message (11 lines):
Bridges solver enhancement. In the stage 3 solver, we were considering
the possibility that an island might form an isolated subgraph by
connecting to one of its neighbours (and, if so, reducing the maximum
bridge count in that direction so that some bridge would have to go
elsewhere), but we were not also considering the possibility that it
might form an isolated subgraph by connecting to _more_ than one of
its neighbours. For instance, if you have a 3 adjacent to a 1, a 2 and
something else, then at least one bridge must go to the something-else.

Previously insoluble test case:
10x10m2:a2b4a5a2a2a1ga2d3b33a3a4c2aa3e1a22b2a4b4aa3b1a2b33a1e3aa2a1a2c23a3a3a4a2a

Modified files:
U   puzzles/bridges.c

Links:
http://svn.tartarus.org/sgt/?rev=9543&view=rev
http://svn.tartarus.org/sgt/puzzles/bridges.c?rev=9543&r1=9542&r2=9543