资源论文Decoupled Strong Stubborn Sets

Decoupled Strong Stubborn Sets

2019-11-22 | |  50 |   42 |   0
Abstract Recent work has introduced fork-decoupled search, addressing classical planning problems where a single center component provides preconditions for several leaf components. Given a fixed center path ? C , the leaf moves compliant with ? C can then be scheduled independently for each leaf. Forkdecoupled search thus searches over center paths only, maintaining the compliant paths for each leaf separately. This can yield dramatic benefits. It is empirically complementary to partial order reduction via strong stubborn sets, in that each method yields its strongest reductions in different benchmarks. Here we show that the two methods can be combined, in the form of strong stubborn sets for fork-decoupled search. This can yield exponential advantages relative to both methods. Empirically, the combination reliably inherits the best of its components, and often outperforms both.

上一篇:Generalizing the Edge-Finder Rule for the Cumulative Constraint

下一篇:Demand Prediction and Placement Optimization for Electric Vehicle Charging Stations

用户评价
全部评价

热门资源

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • The Variational S...

    Unlike traditional images which do not offer in...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...

  • Rating-Boosted La...

    The performance of a recommendation system reli...