Solitaire Battleship (Tricky/Fun problem)

 Posts: 1
 Joined: Tue Jun 01, 2010 8:16 am
 Location: Melbourne, Australia
Solitaire Battleship (Tricky/Fun problem)
• Water
• A whole submarine (single unit vessel)
• An end of a vessel
• The middle segment of a vessel (only cruisers in the 7x7 problem (see image))
In a legal battleship configuration, no battleship touches any other battleship, even diagonally.The totality of the input is row and column sums, number of each type of vessel and hints.
Formulate solitaire battleships as both an Integer Programming problem and a constraint programming problem (obviously the IP formulation is also a valid CP formulation so not the same for either).
I have solved a number of LP, IP, and CP problems before in my field of work  but nothing this complicated.
Some helpful links I've been using:
http://www.cs.umbc.edu/courses/671/fall ... mith06.pdf
and
http://www.conceptispuzzles.com/index.a ... techniques
another useful pdf can be found here:
http://www.mathhelpforum.com/mathhelp/ ... oblem.html