Hi all,
I ran the solver on the first 1,000 Baker’s Dozen Deals and here are the
results, which can be found here:
https://github.com/shlomif/fc-solve-bakers-dozen-1-to-1K
1. At first I've ran the solver in various configuration on the first 1,000
deals and generated a table (using the "table" command in the ANALYZE.bash file)
of which configurations solved what. An excerpt from it is:
[QUOTE]
1 I S S S S S I I I I I I
2 S S S S I I S S I S I I
3 I I I I S S I I S S I I
4 S S S S I S I I I I S I
5 S S S S S S S S S S S S
6 S S S S S S S S S S S S
7 S S S S I I S S S S I I
8 I I I I S S I I I I S S
9 S S S S I I S S S S I I
10 S S I I S S I I I I S I
11 I I S S S S I I S S S S
12 S S S S I I S S S S I I
[/QUOTE]
"S" is solved, "I" is intractable and "U" is unsolved. There were 926 deals
which were solved in any configuration like that, deal #64 which was reported
as unsolvable by all the scans (and was the only one reported as unsolvable)
and 73 deals which were all intractable. These deals were:
37, 46, 74, 78, 79, 93, 100, 134, 154, 185, 188, 192, 206, 210, 216, 219, 238, 247, 248,
290, 297, 300, 306, 319, 333, 336, 342, 381, 417, 448, 454, 462, 464, 476, 477, 480, 506,
520, 537, 553, 554, 558, 578, 607, 650, 664, 677, 715, 745, 763, 764, 766, 804, 817, 822,
835, 837, 844, 846, 860, 862, 866, 871, 878, 908, 922, 926, 930, 944, 949, 950, 952, 969
2. Next I've ran the go_over_unsolved_indexes function from ANALYZE.bash and it
generated bakers_dozen_unsolved_indexes-2.txt . All the deals from it where
solved except for 4 intractables:
238, 417, 477, 952
3. SCAN3.bash came next. It solved deal No. 952, proved #477 to be impossible and the
two other deals (#238 and #417) remained intractable. The results are in
bakers_dozen_unsolved_indexes__3.txt .
4. SCAN4.bash was able to solve deal #238 - the results are in bakers_dozen_unsolved_indexes__4.txt .
5. Deal #417 remains intractable.
--------------
So to sum up:
1) Two (2) deals are provably impossible - #477 and #64.
2) 997 deals were solved.
3) One deal (#417) remains intractable and I suspect it to be impossible as
well.
Regards,
Shlomi Fish
--
-----------------------------------------------------------------
Shlomi Fish http://www.shlomifish.org/
Chuck Norris/etc. Facts - http://www.shlomifish.org/humour/bits/facts/
A: I’m hungry today.
B: Well, wait until tomorrow. Maybe this feeling will pass.
Please reply to list if it's a mailing list post - http://shlom.in/reply .
Received on Tue Jul 10 2012 - 05:14:27 IDT