In a message dated 12/11/01 8:51:40 PM Pacific Standard Time,
aettlinger_at_worldnet.att.net writes:
> <<Raymond: All 'A's play home immediately, an 'N' plays home if the
> same-suit
> 'N-1', both 'N-2's of the opposite color, and the other same-color 'N-3'
are
> already home.>>
>
> By golly, I think you have something there. The Raymond rule is valid, if
> not grammatically
> correct. "the other same-color 'N-3' are already home." should read Note:
> should read "is
> already home." I should know because I are an engineer.
The subject of "are" is "same-suit 'N-1', both 'N-2's of the opposite color,
and the other same-color 'N-3'."
> Let me be the last to congratulate you.
Adrian, my longtime correspondant and dedicated injunear, you may be last if
you want to be last.
> So, now then, do you consider it an advantage in a solver design to assume
> the Raymond
> rule will apply? I. e., is the idea that by taking advantage of it, you
> avoid exploring
> a certain number of positions which shouldn't really exist if the Raymond
> rule were to
> be in effect?
Try this experiment: Use FcPro to solve MS deals 1-32000 using Horne's rule.
Record how much time and space were needed. Now do it again using no
automoves at all, recording the same data. Decide whether Horne's rule gives
a solver an advantage over None. Try it again using Raymond's Rule.
> <<Information theory may show that fewer bytes are necessary, but the
> smallest practical representation I've worked out is 36 bytes. >>
> Care to let us in on how you can do that? With 6-bit packing, 312 bits
> would be needed, or 39 bytes.
You appear to have made the assumption that a string of 52 cards records a
position. It does not. Rather, I was unable to do it. 6-bit packing can be
applied to a string of 60 bytes that contains 52 cards and 8 separator bytes.
The result is 45 bytes. If the separators are individual bits within the card
bytes, 6-bit packing cannot be used because the card needs 6 bits and the
separator makes 7.
I'll explain all when my solver is finished.
BR
Received on Wed Dec 12 2001 - 00:59:29 IST