The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph Decompositions

12/29/2020
by   Georg Gottlob, et al.
20

Constraint Satisfaction Problems (CSPs) play a central role in many applications in Artificial Intelligence and Operations Research. In general, solving CSPs is NP-complete. The structure of CSPs is best described by hypergraphs. Therefore, various forms of hypergraph decompositions have been proposed in the literature to identify tractable fragments of CSPs. However, also the computation of a concrete hypergraph decomposition is a challenging task in itself. In this paper, we report on recent progress in the study of hypergraph decompositions and we outline several directions for future research.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/12/2020

Complexity Analysis of General and Fractional Hypertree Decompositions

Hypertree decompositions (HDs), as well as the more powerful generalized...
research
02/12/2020

Complexity Analysis of Generalized and Fractional Hypertree Decompositions

Hypertree decompositions (HDs), as well as the more powerful generalized...
research
09/15/2012

Tractable Optimization Problems through Hypergraph-Based Structural Restrictions

Several variants of the Constraint Satisfaction Problem have been propos...
research
11/20/2018

HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings

To cope with the intractability of answering Conjunctive Queries (CQs) a...
research
03/08/2011

The tractability of CSP classes defined by forbidden patterns

The constraint satisfaction problem (CSP) is a general problem central t...
research
12/11/2018

Semantic Width of Conjunctive Queries and Constraint Satisfaction Problems

Answering Conjunctive Queries (CQs) and solving Constraint Satisfaction ...
research
02/03/2019

Study, representation and applications of hypergraph minimal transversals

This work is part of the field of the hypergraph theory and focuses on h...

Please sign up or login with your details

Forgot password? Click here to reset