8x8 legal-guided queens looks like complete loss

SanchoGGP / ggp-base

The General Game Playing Base Package

8 stars 4 forks source link

8x8 legal-guided queens looks like complete loss #381

Open arr28 opened 8 years ago

arr28 commented 8 years ago

At some point, we've stopped being able to solve the (simple) 8x8 legal-guided queens problem. Sancho decides it's a complete loss and plays "quit" (which is also interesting because it usually tries to prolong the agony - so perhaps it thinks "quit" is the only legal move).

arr28 commented 8 years ago

As per hunch above, we remove all the legal robot ( place x y ) props from the propnet and the all the does props end up completely disconnected.

Goes wrong between propnet_016_IrrelevantRemoved.dot and propnet_018_RedundantRemoved.dot - i.e. in this line of code...

      OptimizingPolymorphicPropNetFactory.removeRedundantConstantsAndGates(fullPropNet, false);

...which might be directly to blame or might be doing valid pruning based on a previous erroneous propnet manipulation.

arr28 commented 8 years ago

So it's actually removeIrrelevantBasesAndInputs that's doing the damage. This is starting to feel a bit like groundhog day. Steve, I think this is the routine where...

I discovered a problem (with Hidato originally) but failed to figure out how to fix.
We discussed when you visited.
You subsequently fixed (see #360).
Then broke.
Then fixed.

And now it looks like it's broken again.

But perhaps I'm not remembering quite right. When I get time, I'll try to chop the history to see when the most recent break was introduced.