English
Related papers

Related papers: Beyond hypergraph acyclicity: limits of tractabili…

200 papers

Tolerance graphs model interval relations in such a way that intervals can tolerate a certain degree of overlap without being in conflict. This subclass of perfect graphs has been extensively studied, due to both its interesting structure…

Computational Complexity · Computer Science 2010-02-03 George B. Mertzios , Ignasi Sau , Shmuel Zaks

We study fundamental reachability problems on pseudo-orbits of linear dynamical systems. Pseudo-orbits can be viewed as a model of computation with limited precision and pseudo-reachability can be thought of as a robust version of classical…

Logic in Computer Science · Computer Science 2022-07-07 Julian D'Costa , Toghrul Karimov , Rupak Majumdar , Joël Ouaknine , Mahmoud Salamati , James Worrell

Hyperbolicity is a graph parameter related to how much a graph resembles a tree with respect to distances. Its computation is challenging as the main approaches consist in scanning all quadruples of the graph or using fast matrix…

Discrete Mathematics · Computer Science 2021-11-23 David Coudert , André Nusser , Laurent Viennot

Probabilistic guarantees of safety and performance are important in constrained dynamical systems with stochastic uncertainty. We consider the stochastic reachability problem, which maximizes the probability that the state remains within…

Optimization and Control · Mathematics 2020-12-01 Abraham P. Vinod , Meeko M. K. Oishi

A weakness of next-hop routing is that following a link or router failure there may be no routes between some source-destination pairs, or packets may get stuck in a routing loop as the protocol operates to establish new routes. In this…

Data Structures and Algorithms · Computer Science 2014-11-12 Glencora Borradaile , W. Sean Kennedy , Gordon Wilfong , Lisa Zhang

Probabilistic inferences distill knowledge from graphs to aid human make important decisions. Due to the inherent uncertainty in the model and the complexity of the knowledge, it is desirable to help the end-users understand the inference…

Social and Information Networks · Computer Science 2019-08-21 Chao Chen , Yifei Liu , Xi Zhang , Sihong Xie

Polynomial optimization problems often arise in sequences indexed by dimension, and it is of interest to compute bounds on the optimal values of all problems in the sequence. Examples include certifying inequalities between symmetric…

Optimization and Control · Mathematics 2025-11-03 Eitan Levin , Venkat Chandrasekaran

Polynomial optimization problems are infinite-dimensional, nonconvex, NP-hard, and are often handled in practice with the moment-sums of squares hierarchy of semidefinite programming bounds. We consider problems where the objective function…

Optimization and Control · Mathematics 2025-11-25 Igor Klep , Victor Magron , Tobias Metzlaff , Jie Wang

The Subtree Isomorphism problem asks whether a given tree is contained in another given tree. The problem is of fundamental importance and has been studied since the 1960s. For some variants, e.g., ordered trees, near-linear time algorithms…

Computational Complexity · Computer Science 2015-10-16 Amir Abboud , Arturs Backurs , Thomas Dueholm Hansen , Virginia Vassilevska Williams , Or Zamir

We continue the study of graph classes in which the treewidth can only be large due to the presence of a large clique, and, more specifically, of graph classes with bounded tree-independence number. In [Dallard, Milani\v{c}, and…

Data Structures and Algorithms · Computer Science 2022-09-27 Martin Milanič , Paweł Rzążewski

Graph pattern matching is a routine process for a wide variety of applications such as social network analysis. It is typically defined in terms of subgraph isomorphism which is NP-Complete. To lower its complexity, many extensions of graph…

Databases · Computer Science 2018-04-13 Houari Mahfoud

We define a new graph invariant called the scramble number. We show that the scramble number of a graph is a lower bound for the gonality and an upper bound for the treewidth. Unlike the treewidth, the scramble number is not minor monotone,…

Combinatorics · Mathematics 2021-11-08 Michael Harp , Elijah Jackson , David Jensen , Noah Speeter

We introduce a new bilevel version of the classic shortest path problem and completely characterize its computational complexity with respect to several problem variants. In our problem, the leader and the follower each control a subset of…

Data Structures and Algorithms · Computer Science 2026-02-19 Dorothee Henke , Lasse Wulf

In this paper, we give a constructive proof of the fact that the treewidth of a graph is at most its divisorial gonality. The proof gives a polynomial time algorithm to construct a tree decomposition of width at most $k$, when an effective…

Discrete Mathematics · Computer Science 2020-05-13 Hans L. Bodlaender , Josse van Dobben de Bruyn , Dion Gijswijt , Harry Smit

We present precise bit and degree estimates for the optimal value of the polynomial optimization problem $f^*:=\text{inf}_{x\in \mathscr{X}}~f(x)$, where $\mathscr{X}$ is a semi-algebraic set satisfying some non-degeneracy conditions. Our…

Optimization and Control · Mathematics 2024-07-25 Boulos El Hilany , Elias Tsigaridas

In this paper, we relate the seemingly unrelated concepts of treewidth and boxicity. Our main result is that, for any graph G, boxicity(G) <= treewidth(G) + 2. We also show that this upper bound is (almost) tight. Our result leads to…

Combinatorics · Mathematics 2007-05-23 L. Sunil Chandran , Naveen Sivadasan

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

This paper presents a pseudo-spectral method for Dynamic Optimization Problems (DOPs) that allows for tight polynomial bounds to be achieved via flexible sub-intervals. The proposed method not only rigorously enforces inequality…

Optimization and Control · Mathematics 2026-04-08 Eduardo M. G. Vila , Eric C. Kerrigan , Paul Bruce

In this survey we consider polynomial optimization problems, asking to minimize a polynomial function over a compact semialgebraic set, defined by polynomial inequalities. This models a great variety of (in general, nonlinear nonconvex)…

Optimization and Control · Mathematics 2025-01-16 Monique Laurent , Lucas Slot

We show that some natural problems that are XNLP-hard (which implies W[t]-hardness for all t) when parameterized by pathwidth or treewidth, become FPT when parameterized by stable gonality, a novel graph parameter based on optimal maps from…

Data Structures and Algorithms · Computer Science 2022-02-15 Hans L. Bodlaender , Gunther Cornelissen , Marieke van der Wegen