Friday, 22nd November 2024
Puzzles Solved Yesterday: 114
Forum Index
 
Weak analysis technique
Tilps
Kwon-Tom Obsessive
Puzzles: 6720
Best Total: 18m 37s
Posted - 2009.04.12 03:44:53
I was thinking a bit about edge pair restrictions, and I discovered that I had missed something they could do. (and as a result, my solver cannot take advantage of this...)



In this puzzle, some advanced use of edge pair restrictions allows for static proof of two lines meeting at the 0, without a trial.
However, this scenario seems hideously contrived, and I am wondering whether anyone uses this kind of analysis regularly during solving of puzzles?
Jankonyex
Kwon-Tom Obsessive
Puzzles: 5680
Best Total: 9m 35s
Posted - 2009.04.12 08:24:32
¡Ï¡@¡Ï¡@¡Ï¡@¡Ï¡@¡Ï
¡@¢¯¡@¡@¡ý¡@¡@¢²¡@
¡Ï¡@¡Ï¢é¡Ï¢ê¡Ï¡@¡Ï
¡@¡@¢ð¡@£A¡@¢ë¡@¡@
¡Ï¡Ð¡Ï£A¡Ï£A¡Ï¡Ð¡Ï
¡@¡@¢ï¡@£A¡@¢ì¡@¡@
¡Ï¡@¡Ï¢î¡Ï¢í¡Ï¡@¡Ï
¡@¢²¡@¡@¡ý¡@¡@¢²¡@
¡Ï¡@¡Ï¡@¡Ï¡@¡Ï¡@¡Ï
a+b+c+d+e+f+g+h=4
b+c<=1
d+e<=1
f+g<=1
therefore a+h>=1

replace 0 by 3 gives another example.
I used this technique to due with the 3-2-...-2-3 pattern.
Last edited by Jankonyex - 2009.04.12 08:26:45

Forum Index