English
Related papers

Related papers: Complexity lower bounds for succinct binary struct…

200 papers

We consider a variant of treewidth that we call clique-partitioned treewidth in which each bag is partitioned into cliques. This is motivated by the recent development of FPT-algorithms based on similar parameters for various problems. With…

Data Structures and Algorithms · Computer Science 2023-02-20 Thomas Bläsius , Maximilian Katzmann , Marcus Wilhelm

We identify a sufficient condition, treewidth-pliability, that gives a polynomial-time algorithm for an arbitrarily good approximation of the optimal value in a large class of Max-2-CSPs parameterised by the class of allowed constraint…

Discrete Mathematics · Computer Science 2024-01-04 Miguel Romero , Marcin Wrochna , Stanislav Živný

In pursuit of a deeper understanding of Boolean Promise Constraint Satisfaction Problems (PCSPs), we identify a class of problems with restricted structural complexity, which could serve as a promising candidate for complete…

Computational Complexity · Computer Science 2025-10-01 Katzper Michno

When searching for characteristic subpatterns in potentially noisy graph data, it appears self-evident that having multiple observations would be better than having just one. However, it turns out that the inconsistencies introduced when…

Machine Learning · Computer Science 2012-06-22 Novi Quadrianto , Chao Chen , Christoph Lampert

The decoding problem is a ubiquitous algorithmic task in fault-tolerant quantum computing, and solving it efficiently is essential for scalable quantum computing. Here, we prove that minimum-weight decoding is NP-hard in three…

Quantum Physics · Physics 2026-03-24 Shouzhen Gu , Lily Wang , Aleksander Kubica

Tree-width has been proven to be a useful parameter to design fast and efficient algorithms for intractable problems. However, while tree-width is low on relatively sparse graphs can be arbitrary high on dense graphs. Therefore, we…

Data Structures and Algorithms · Computer Science 2021-11-04 Chris Aronis

After a brief discussion of the computational complexity of Clifford algebras, we present a new basis for even Clifford algebra Cl(2m) that simplifies greatly the actual calculations and, without resorting to the conventional matrix…

Mathematical Physics · Physics 2009-06-25 Marco Budinich

It has recently been shown that the problem of testing global convexity of polynomials of degree four is {strongly} NP-hard, answering an open question of N.Z. Shor. This result is minimal in the degree of the polynomial when global…

Optimization and Control · Mathematics 2019-03-14 Amir Ali Ahmadi , Georgina Hall

Given a simplicial complex with $n$ simplices, we consider the Connected Subsurface Recognition (c-SR) problem of finding a subcomplex that is homeomorphic to a given connected surface with a fixed boundary. We also study the related…

Computational Geometry · Computer Science 2022-03-16 Mitchell Black , Nello Blaser , Amir Nayyeri , Erlend Raa Vågset

Within the model-theoretic framework for supervised learning introduced by Grohe and Tur\'an (TOCS 2004), we study the parameterized complexity of learning concepts definable in monadic second-order logic (MSO). We show that the problem of…

Logic in Computer Science · Computer Science 2025-01-20 Steffen van Bergerem , Martin Grohe , Nina Runde

We give lower bounds on the communication complexity of graph problems in the multi-party blackboard model. In this model, the edges of an $n$-vertex input graph are partitioned among $k$ parties, who communicate solely by writing messages…

Data Structures and Algorithms · Computer Science 2021-03-15 Christian Konrad , Peter Robinson , Viktor Zamaraev

In the Minimum Consistent Subset (MCS) problem, we are presented with a connected simple undirected graph $G=(V,E)$, consisting of a vertex set $V$ of size $n$ and an edge set $E$. Each vertex in $V$ is assigned a color from the set…

Computational Geometry · Computer Science 2025-09-19 Aritra Banik , Sayani Das , Anil Maheshwari , Bubai Manna , Subhas C Nandy , Krishna Priya K M , Bodhayan Roy , Sasanka Roy , Abhishek Sahu

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

For any particular class of graphs, algorithms for computational problems restricted to the class often rely on structural properties that depend on the specific problem at hand. This begs the question if a large set of such results can be…

The celebrated theorem of Robertson and Seymour states that in the family of minor-closed graph classes, there is a unique minimal class of graphs of unbounded tree-width, namely, the class of planar graphs. In the case of tree-width, the…

Combinatorics · Mathematics 2017-02-01 A. Collins , J. Foniok , N. Korpelainen , V. Lozin , V. Zamaraev

For a well-studied family of domination-type problems, in bounded-treewidth graphs, we investigate whether it is possible to find faster algorithms. For sets $\sigma,\rho$ of non-negative integers, a $(\sigma,\rho)$-set of a graph $G$ is a…

Computational Complexity · Computer Science 2023-06-07 Jacob Focke , Dániel Marx , Fionn Mc Inerney , Daniel Neuen , Govind S. Sankar , Philipp Schepper , Philip Wellnitz

The Constraint Shortest Path (CSP) problem is as follows. An $n$-vertex graph is given, each edge/arc assigned two weights. Let us call them "cost" and "length" for definiteness. Finding a min-cost upper-bounded length path between a given…

Data Structures and Algorithms · Computer Science 2022-04-12 Adil Erzin , Roman Plotnikov , Ilya Ladygin

In a recent paper, Brusco, K\"ohn and Steinley [Ann. Oper. Res. 206:611-626 (2013)] conjecture that the 2 bins special case of the one-dimensional minimax bin-packing problem with bin size constraints might be solvable in polynomial time.…

Data Structures and Algorithms · Computer Science 2014-02-10 Mariona Vilà , Jordi Pereira

A graph is c-closed if every pair of vertices with at least c common neighbors is adjacent. The c-closure of a graph G is the smallest number such that G is c-closed. Fox et al. [ICALP '18] defined c-closure and investigated it in the…

Discrete Mathematics · Computer Science 2022-06-22 Tomohiro Koana , Christian Komusiewicz , Frank Sommer

In the minimum constraint removal ($MCR$), there is no feasible path to move from the starting point towards the goal and, the minimum constraints should be removed in order to find a collision-free path. It has been proved that $MCR$…

Computational Geometry · Computer Science 2023-02-21 Bahram Sadeghi Bigham