Friday, 20th April 2018
Puzzles Solved Yesterday: 129
Home | Register | Login | Current Puzzle | Archives | Leaderboard | Forum | Tutorial | FAQ
Forum Index
 
User Beast #073- Solution
Naivoj
Kwon-Tom Addict
Puzzles: 314
Best Total: 33m 50s
Posted - 2008.06.23 15:10:15
Quote:
Originally Posted by jankonyex
Just before setting the first big assumption:
http://www.hkedcity.net/sch_files/a/hp/hp-0210481/public_html/7301.PNG

disproved! now up to here:
http://www.hkedcity.net/sch_files/a/hp/hp-0210481/public_html/7302.PNG

Hope that I have done nothing wrong...
Hi Jankonyex, I think it is better to post solutions in separate topic, as I just quoted your partial solution links could you please edit them out of the other topic.

By "disproved" do you mean #73 is not unique?
   - I can confirm that this "disproved" position appears correct as it is part of my solution.
   - There is a forced Cross at the top of the blank square @c12r21 (path deduction), which leads to a bit more.
   - This position is really advance, if you agree that there is only one solution, please join the E.T. club.

MondSemmel, you should use current topic if you want to post your #73 saved positions
Jankonyex
Kwon-Tom Obsessive
Puzzles: 3815
Best Total: 9m 35s
Posted - 2008.06.23 16:44:28
solution

Edit:
add some explanation for the solution:

assumption, displayed:


counting analysis, displayed:



?s are assumed to be blanks.
greens are regarded as "internal lines" where others are "external lines".
there's an unique combination between external lines: red to red and blue to blue.
I call this a basic highlander analysis, displayed:


otherwise, nonunique combination, advanced highlander analysis, displayed:

(If some ? is a number instead of blank, the analysis may then be deeper.)
Last edited by Jankonyex - 2008.06.24 09:46:54
Jankonyex
Kwon-Tom Obsessive
Puzzles: 3815
Best Total: 9m 35s
Posted - 2008.06.23 16:58:19
Quote:
Originally Posted by naivoj

B....

"disproved" means "rejected" the long assumption I made.
I "believe" it's unique.

I've shown clearly when I make an assumption and when I use a highlander analysis in my solution.
Last edited by Jankonyex - 2008.06.24 04:37:21
Jankonyex
Kwon-Tom Obsessive
Puzzles: 3815
Best Total: 9m 35s
Posted - 2008.06.24 13:14:45
For highlander analysis, I havn't included it in the solution, so if you don't believe me you may try. Not so many, for basic highlander analysis (unique combination of joining external lines), you're only required to find 2 possible solutions. For advanced highlander analysis in this puzzle, only 2 combinations (4 free external lines), and you're only required to find 4 possible solutions.
MondSemmel
Kwon-Tom Obsessive
Puzzles: 3981
Best Total: 7m 47s
Posted - 2008.06.29 19:19:16
I have uploaded my solutions on Sendspace and on Rapidshare . Feel free to download from the file uploader you prefer. I personally dislike Rapidshare's waiting times (which are unnecessary for small files), so I uploaded the file somewhere else, too.

The file is a .rar archive (which you can open e.g. with WinRaR) containing 26 Loopy saves, which means you need the Loopy application to open them. In Loopy, select Load and then load the file you want to load. BotM73 is the empty puzzle, BotM73done is the finished puzzle, and all other saves are the ones I made while solving the puzzle. I have to mention that I'm somewhat obsessive with saving VERY often (no more than 8 or so saves for normal beasts though, but after Naivoj's description, I was kind of unsure ), but on the upside, this means that the solving process is documented pretty well.

Feel free to ask any questions, or to comment on parts I didn't seem to solve efficiently (assuming that's visible in those saved files).

EDIT: File names ending with "TRY" mean a trial & error exploration, so they are no logical deductions but simply assumptions I want to disprove. Highlander means I used the highlander logic for my deduction, etc.
Last edited by MondSemmel - 2008.06.29 19:24:09

Forum Index