On Wednesday 14 July 2010 11:05:59 Shlomi Fish wrote:
> Hi all,
>
> On Sunday 11 Jul 2010 09:59:07 Shlomi Fish wrote:
> > Below one can find the report about the solvability of 2-freecell deals.
> > The executive summary is that:
> >
> > 1. 25,367 deals were successfully solved.
> >
> > 2. 6,600 deals are provably unsolvable.
> >
> > 3. The other 33 deals are "intractable" - meaning my computer ran out of
> > resources trying to solve them (I limited the range of iterations to
> > 8,200,000, but some of them were killed by the "out-of-memory" daemon
> > earlier).
>
> I've now posted this report on the Freecell Solver blog:
>
> http://fc-solve.blogspot.com/2010/07/solvability-statistics-of-two-
> freecell.html
>
> (short URL - http://xrl.us/bhsq5n ).
>
> There's some extra information there.
>
Well, thanks to Michael Keller's input, it turns out I read the wrong part of
the Freecell FAQ, and in fact Danny A. Jones solver proved that some of the
deals that I reported as intractables were in fact solvable or provably
unsolvable. Out of the deals I reported as intractables, Jones reported:
[quote]
Of the 33 you have listed, he reported:
8 impossible (891, 7214, 14445, 15957, 16462, 17184, 19678, 27799),
11 intractable (982, 3129, 11266, 12038, 12064, 14790, 15804, 20792, 21779,
26124,
29577),
14 solved (5435, 6090, 7728, 9034, 13659, 13705, 14262, 16322, 17684, 17760,
17880,
18446, 19671, 28188)
[/quote]
Now, after running my solver using the Random-DFS scan with ranges of
different seeds, and then running the solver using the 64 GB HPC machine
provided by Amadiro's university, the University of Oslo (
http://www.uio.no/english/ ), I reached these
conclusions:
1. I was able to solve deals No. 6090 , 9034, 13705, 18446, 28188 (all
reported as solved).
2. I solved 13659, 14262, 16322 and 17684 on the HPC machine (also all
reported as solved).
3. The following deals were shown to be impossible by the solver: Deals No.:
* 891 (reportedly impossible by D. A. J.)
* 3129 (reportedly intractable by D. A. J.)
* 7124 (reportedly impossible)
* 12038 (reportedly intractable)
* 12064 (reportedly intractable)
* 14445 (reportedly impossible)
* 14790 (reportedly intractable)
* 15804 (reportedly intractable)
* 15957 (reportedly impossible)
* 16462 (reportedly impossible)
* 17184 (reportedly impossible)
* 19678 (reportedly impossible)
* 20792 (reportedly intractable)
* 21779 (reportedly intractable)
* 26124 (reportedly intractable)
* 29577 (reportedly intractable)
* 27799 (reportedly impossible)
These include all the impossible deals and 9 out of 11 intractable deals
leaving only 2 intractable deals to show as solvable or unsolvable - 982 and
11266). That and my solver crashed on some deals that were reported as
solvable by Danny A. Jones's solver, but I may be able to find good searches
to solve them semi-manually.
The future: hopefully Amadiro can convnince his university to provide him with
access to a computer with more resources so we can run it on the remaining
deals. Furthermore, I have some ideas on how to further reduce the memory
consumption of Freecell Solver and I'd like to pursue them.
Regards,
Shlomi Fish
--
-----------------------------------------------------------------
Shlomi Fish http://www.shlomifish.org/
"The Human Hacking Field Guide" - http://shlom.in/hhfg
<rindolf> She's a hot chick. But she smokes.
<go|dfish> She can smoke as long as she's smokin'.
Please reply to list if it's a mailing list post - http://shlom.in/reply .
Received on Tue Sep 28 2010 - 12:06:00 IST