From 383c15794a517a4e6dc0b7364edac1f7056cee82 Mon Sep 17 00:00:00 2001 From: Simon Tatham Date: Fri, 12 Apr 2013 16:28:55 +0000 Subject: Patch from Rogier Goossens to speed up the Pattern solver. do_recurse() now prunes early whenever it encounters a branch of the search tree inconsistent with existing grid data (rather than the previous naive approach of proceeding to enumerate all possibilities anyway and then ruling them out one by one); do_recurse also tries to split the row up into independent sections where possible; finally the main solver loop (all three copies of which have now been factored out into a new solve_puzzle function), instead of simply looping round and round over all the rows and columns, heuristically looks at the ones most changed since the last time deduction was attempted on them, on the basis that that will probably yield the most information the fastest. [originally from svn r9828] --- LICENCE | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'LICENCE') diff --git a/LICENCE b/LICENCE index dc1b67e..a34c0f1 100644 --- a/LICENCE +++ b/LICENCE @@ -2,7 +2,7 @@ This software is copyright (c) 2004-2012 Simon Tatham. Portions copyright Richard Boulton, James Harvey, Mike Pinna, Jonas Kölker, Dariusz Olszewski, Michael Schierl, Lambros Lambrou, Bernd -Schmidt, Steffen Bauer and Lennard Sprong. +Schmidt, Steffen Bauer, Lennard Sprong and Rogier Goossens. Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files -- cgit v1.1