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.
Boost-Build list run by bdawes at acm.org, david.abrahams at rcn.com, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk