CONO-SUR 2002 Problem 3
Arnaldo and Bernardo play a Super Naval Battle. Each has a board . Arnaldo puts boats on his board (at least one but not known how many). Each boat occupies the houses of a line or a column and the boats they can not overlap or have a common side. Bernardo marks houses (representing shots) on your board. After Bernardo marked the houses, Arnaldo says which of them correspond to positions occupied by ships. Bernardo wins, and then discovers the positions of all Arnaldo's boats. Determine the lowest value of for which Bernardo can guarantee his victory.
Dataset text AI-MO AoPS. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.