资源论文On the Complexity of Global Scheduling Constraints under Structural Restrictions

On the Complexity of Global Scheduling Constraints under Structural Restrictions

2019-11-11 | |  77 |   52 |   0
Abstract We investigate the computational complexity of two global constraints, C UMULATIVE and I NTER D ISTANCE. These are key constraints in modeling and solving scheduling problems. Enforcing domain consistency on both is NP-hard. However, restricted versions of these constraints are often sufficient in practice. Some examples include scheduling problems with a large number of similar tasks, or tasks sparsely distributed over time. Another example is runway sequencing problems in air-traffic control, where landing periods have a regular pattern. Such cases can be characterized in terms of structural restrictions on the constraints. We identify a number of such structural restrictions and investigate how they impact the computational complexity of propagating these global constraints. In particular, we prove that such restrictions often make propagation tractable.

上一篇:Comprehensive Score: Towards Efficient Local Search for SAT with Long Clauses

下一篇:Breaking Symmetries in Graph Representation Michael Codish Alice Miller and Patrick Prosser Peter J. Stuckey

用户评价
全部评价

热门资源

  • 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...