Tuesday, 23rd January 2018
Puzzles Solved Yesterday: 179
Home | Register | Login | Current Puzzle | Archives | Leaderboard | Forum | Tutorial | FAQ
Forum Index
 
Weak analysis technique
Tilps
Kwon-Tom Obsessive
Puzzles: 4234
Best Total: 20m 22s
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: 3727
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