I'm not sure if what I do is the same as what you're describing. But, it may prove useful.
If the 5D is in its home cell and I move the 6D to a column/freecell, then I set a flag for that column/freecell that says the 6D can not subsequently be manually moved to the home cell. The flag is cleared/updated based on subsequent moves to/from the column/freecell.
For the scenario "6a a7" being redundant for the single move "67", I always perform column-to-column scenarios before freecell-to-column scenarios. This way, I'm able to realize that a particular layout has already been reached in fewer moves. So, the "6a a7" moves are abandoned.
I use similar layout testing to prune the scenario "6a ... a7" as being redundant for "67 ...".
--- In fc-solve-discuss_at_yahoogroups.com, Shlomi Fish <shlomif_at_...> wrote:
>
> Hi all,
>
> after I had implemented the scheme I thought of in this post -
> http://tech.groups.yahoo.com/group/fc-solve-discuss/message/1135 -
> I found out that the new depth_dbm_fc_solver traversed more boards than
> the normal dbm_fc_solver for one of the impossible deals. That indicated
> that some deals were probably counted twice, so I decided to investigate.
>
> What seems to have been the problem is the fact that some irreversible moves
> actually consist of two irreversible moves. I.e: if we move the 2H from its original
> location under a non-parent card to the foundations, then it would be equivalent to two
> irreversible moves, because we may reach this in a different case by first moving it into
> a freecell (one irreversible move) and then moving it to the foundation (another
> irreversible move). So I need to account for those in both the calculation of the
> rank of irreversibility of a single move, and the number of irreversible moves performed
> by the Horne's Prune's process.
>
> After I fixed this problem, the number of derived states and their contents was identical
> between the depth_dbm_fc_solver and the dbm_fc_solver.
>
> Regards,
>
> Shlomi Fish
Received on Wed Aug 15 2012 - 09:40:58 IDT