Jump to content

Talk:Solve a Hidato puzzle: Difference between revisions

Line 223:
Putting g6 into the model and resolving again solves the problem by hand.
 
It is apparent that the number of equations increases rapidly with probemproblem 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==
2,172

edits

Cookies help us deliver our services. By using our services, you agree to our use of cookies.