Re: [jamboost] Re: cool generators insight

From: Vladimir Prus (ghost_at_[hidden])
Date: 2003-06-06 00:28:28

David Abrahams wrote:
> David Abrahams <gclbb-jamboost_at_[hidden]> writes:
> > David Abrahams <gclbb-jamboost_at_[hidden]> writes:
> >> and solutions are possible... but they *are* ambiguous, as shown by
> >> the output of my algorithm, which shows three solutions with cost 9:
> >
> > I take it back: my algorithm is failing to eliminate some identical
> > states, and all those solutions are equivalent; let me fix that and it
> > should run faster.
>
> OK, I did that; It's still taking a very long time for your case,
> though I do think your case is unrealistic. 

How can it be? That's the transformation sequence that really exists! In fact, 
it's even handled by "make", though it don't work to touch that Makefile ;-)

> I think I can still find
> quite a few equivalent states to eliminate, but I'm posting the
> prototype here for reference.

OK.

- Volodya