English
Related papers

Related papers: Tractable Optimization Problems through Hypergraph…

200 papers

The complexity of the maximum common connected subgraph problem in partial $k$-trees is still not fully understood. Polynomial-time solutions are known for degree-bounded outerplanar graphs, a subclass of the partial $2$-trees. On the other…

Data Structures and Algorithms · Computer Science 2017-08-10 Nils Kriege , Florian Kurpicz , Petra Mutzel

We consider the problem of translating between irreducible closed sets and implicational bases in closure systems. To date, the complexity status of this problem is widely open, and it is further known to generalize the notorious hypergraph…

Data Structures and Algorithms · Computer Science 2025-11-04 Oscar Defrain , Arthur Ohana , Simon Vilmin

Hypertree decompositions of hypergraphs are a generalization of tree decompositions of graphs. The corresponding hypertree-width is a measure for the cyclicity and therefore tractability of the encoded computation problem. Many NP-hard…

Data Structures and Algorithms · Computer Science 2008-10-12 Georg Gottlob , Marko Samer

We consider the problem of finding a subgraph of a given graph which minimizes the sum of given functions at vertices evaluated at their subgraph degrees. While the problem is NP-hard already when all functions are the same, we show that it…

Combinatorics · Mathematics 2023-05-30 Shmuel Onn

We give polynomial-time approximation schemes for monotone maximization problems expressible in terms of distances (up to a fixed upper bound) and efficiently solvable in graphs of bounded treewidth. These schemes apply in all fractionally…

Data Structures and Algorithms · Computer Science 2021-05-06 Zdeněk Dvořák , Abhiruk Lahiri

Many combinatorial optimization problems can be phrased in the language of constraint satisfaction problems. We introduce a graph neural network architecture for solving such optimization problems. The architecture is generic; it works for…

Artificial Intelligence · Computer Science 2020-02-12 Jan Toenshoff , Martin Ritzert , Hinrikus Wolf , Martin Grohe

Temporal graphs provide a useful model for many real-world networks. Unfortunately the majority of algorithmic problems we might consider on such graphs are intractable. There has been recent progress in defining structural parameters which…

Discrete Mathematics · Computer Science 2024-11-20 Jessica Enright , Samuel D. Hand , Laura Larios-Jones , Kitty Meeks

Optimizing an implicational base of a closure system consists in turning this implicational base into an equivalent one with premises and conclusions as small as possible. This task is known to be hard in general but tractable for a number…

Combinatorics · Mathematics 2026-03-17 Anthony Meunier , Lhouari Nourine , Simon Vilmin

We develop a new framework for generalizing approximation algorithms from the structural graph algorithm literature so that they apply to graphs somewhat close to that class (a scenario we expect is common when working with real-world…

Many real discrete optimization problems (DOPs) are $NP$-hard and contain a huge number of variables and/or constraints that make the models intractable for currently available solvers. Large DOPs can be solved due to their special tructure…

Discrete Mathematics · Computer Science 2009-03-26 O. Shcherbina

Graph-structured data is central to many scientific and industrial domains, where the goal is often to optimize objectives defined over graph structures. Given the combinatorial complexity of graph spaces, such optimization problems are…

Optimization and Control · Mathematics 2025-09-25 Shiqiang Zhang , Ruth Misener

Constraint satisfaction problems (CSPs) are an important formal framework for the uniform treatment of various prominent AI tasks, e.g., coloring or scheduling problems. Solving CSPs is, in general, known to be NP-complete and…

Computational Complexity · Computer Science 2020-07-29 Hubie Chen , Georg Gottlob , Matthias Lanzinger , Reinhard Pichler

Constraint satisfaction problems are computational problems that naturally appear in many areas of theoretical computer science. One of the central themes is their computational complexity, and in particular the border between…

Computational Complexity · Computer Science 2026-04-28 Manuel Bodirsky

Given a graph $G$ and a digraph $D$ whose vertices are the edges of $G$, we investigate the problem of finding a spanning tree of $G$ that satisfies the constraints imposed by $D$. The restrictions to add an edge in the tree depend on its…

Computational Complexity · Computer Science 2020-05-22 Luiz Alberto do Carmo Viana , Manoel Campêlo , Ignasi Sau , Ana Silva

For a first-order theory $T$, the Constraint Satisfaction Problem of $T$ is the computational problem of deciding whether a given conjunction of atomic formulas is satisfiable in some model of $T$. In this article we develop sufficient…

Logic · Mathematics 2020-12-03 Manuel Bodirsky , Johannes Greiner

Time-evolving or temporal graphs gain more and more popularity when studying the behavior of complex networks. In this context, the multistage view on computational problems is among the most natural frameworks. Roughly speaking, herein one…

Computational Complexity · Computer Science 2020-07-30 Klaus Heeger , Anne-Sophie Himmel , Frank Kammer , Rolf Niedermeier , Malte Renken , Andrej Sajenko

We study two variants of \textsc{Maximum Cut}, which we call \textsc{Connected Maximum Cut} and \textsc{Maximum Minimal Cut}, in this paper. In these problems, given an unweighted graph, the goal is to compute a maximum cut satisfying some…

Data Structures and Algorithms · Computer Science 2019-08-12 Hiroshi Eto , Tesshu Hanaka , Yasuaki Kobayashi , Yusuke Kobayashi

In this paper, we study the complexity of the periodic temporal graph realization problem with respect to upper bounds on the fastest path durations among its vertices. This constraint with respect to upper bounds appears naturally in…

Data Structures and Algorithms · Computer Science 2025-04-22 George B. Mertzios , Hendrik Molter , Nils Morawietz , Paul G. Spirakis

In this paper, the recoverable robust shortest path problem under interval uncertainty representations is discussed. This problem is known to be strongly NP-hard and also hard to approximate in general digraphs. In this paper, the class of…

Data Structures and Algorithms · Computer Science 2024-07-16 Marcel Jackiewicz , Adam Kasperski , Pawel Zielinski

Scalable addressing of high dimensional constrained combinatorial optimization problems is a challenge that arises in several science and engineering disciplines. Recent work introduced novel application of graph neural networks for solving…

Optimization and Control · Mathematics 2024-05-20 Nasimeh Heydaribeni , Xinrui Zhan , Ruisi Zhang , Tina Eliassi-Rad , Farinaz Koushanfar