Talk:Solve a Hidato puzzle: Difference between revisions
Content added Content deleted
Line 223: | Line 223: | ||
Putting g6 into the model and resolving again solves the problem by hand. |
Putting g6 into the model and resolving again solves the problem by hand. |
||
It is apparent that the number of equations increases rapidly with |
It is apparent that the number of equations increases rapidly with problem size. A method exists which makes this increase linear see http://en.wikipedia.org/wiki/Tseitin-Transformation. |
||
--[[User:Nigel Galloway|Nigel Galloway]] ([[User talk:Nigel Galloway|talk]]) 14:12, 30 December 2013 (UTC) |
|||
==extra credit suggestion== |
==extra credit suggestion== |