English
Related papers

Related papers: Solving Hard Computational Problems Efficiently: A…

200 papers

The graph matching optimization problem is an essential component for many tasks in computer vision, such as bringing two deformable objects in correspondence. Naturally, a wide range of applicable algorithms have been proposed in the last…

Computer Vision and Pattern Recognition · Computer Science 2022-08-01 Stefan Haller , Lorenz Feineis , Lisa Hutschenreiter , Florian Bernard , Carsten Rother , Dagmar Kainmüller , Paul Swoboda , Bogdan Savchynskyy

We present an algorithm to color a graph $G$ with no triangle and no induced $7$-vertex path (i.e., a $\{P_7,C_3\}$-free graph), where every vertex is assigned a list of possible colors which is a subset of $\{1,2,3\}$. While this is a…

Combinatorial optimization algorithms for graph problems are usually designed afresh for each new problem with careful attention by an expert to the problem structure. In this work, we develop a new framework to solve any combinatorial…

In this paper, we settle the open complexity status of interval constrained coloring with a fixed number of colors. We prove that the problem is already NP-complete if the number of different colors is 3. Previously, it has only been known…

Discrete Mathematics · Computer Science 2009-12-17 Jaroslaw Byrka , Andreas Karrenbauer , Laura Sanita

The $H$-Coloring problem is a well-known generalization of the classical NP-complete problem $k$-Coloring where the task is to determine whether an input graph admits a homomorphism to the template graph $H$. This problem has been the…

Computational Complexity · Computer Science 2025-09-08 Ambroise Baril , Miguel Couceiro , Victor Lagerkvist

A $k$-coloring of a graph is an assignment of integers between $1$ and $k$ to vertices in the graph such that the endpoints of each edge receive different numbers. We study a local variation of the coloring problem, which imposes further…

Combinatorics · Mathematics 2018-09-24 Jie You , Yixin Cao , Jianxin Wang

A natural way of increasing our understanding of NP-complete graph problems is to restrict the input to a special graph class. Classes of $H$-free graphs, that is, graphs that do not contain some graph $H$ as an induced subgraph, have…

Data Structures and Algorithms · Computer Science 2022-04-19 Christoph Brause , Petr Golovach , Barnaby Martin , Daniël Paulusma , Siani Smith

A linearly ordered (LO) $k$-colouring of a hypergraph is a colouring of its vertices with colours $1, \dots, k$ such that each edge contains a unique maximal colour. Deciding whether an input hypergraph admits LO $k$-colouring with a fixed…

Computational Complexity · Computer Science 2023-12-21 Marek Filakovský , Tamio-Vesa Nakajima , Jakub Opršal , Gianluca Tasinato , Uli Wagner

Matrix Completion is the problem of recovering an unknown real-valued low-rank matrix from a subsample of its entries. Important recent results show that the problem can be solved efficiently under the assumption that the unknown matrix is…

Computational Complexity · Computer Science 2014-04-11 Moritz Hardt , Raghu Meka , Prasad Raghavendra , Benjamin Weitz

Until now, Computer Scientists have concerned themselves with identifying efficient algorithms for solving the general case of some problem -- that is finding one which performs well when the size of the input tends to infinity. In this…

Computational Complexity · Computer Science 2026-04-21 Mircea-Adrian Digulescu

Given a set of obstacles and two points, is there a path between the two points that does not cross more than $k$ different obstacles? This is a fundamental problem that has undergone a tremendous amount of work. It is known to be NP-hard,…

Computational Geometry · Computer Science 2017-12-13 Eduard Eiben , Iyad Kanj

We investigate the classical and distributed complexity of \emph{$k$-partial $c$-coloring} where $c=k$, a natural generalization of Brooks' theorem where each vertex should be colored from the palette $\{1,\ldots,c\} = \{1,\ldots,k\}$ such…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-08-27 Jan Bok , Avinandan Das , Anna Gujgiczer , Nikola Jedličková

We present a new algorithm for the exact uniform sampling of proper \(k\)-colorings of a graph on \(n\) vertices with maximum degree~\(\Delta\). The algorithm is based on partial rejection sampling (PRS) and introduces a soft relaxation of…

Data Structures and Algorithms · Computer Science 2026-04-07 Sarat Moka , Ava Vahedi

We consider the problem of coloring a grid using k colors with the restriction that in each row and each column has an specific number of cells of each color. In an already classical result, Ryser obtained a necessary and sufficient…

Data Structures and Algorithms · Computer Science 2009-04-22 Christoph Durr , Flavio Guinez , Martin Matamala

We prove a complexity dichotomy theorem for Holant Problems on 3-regular graphs with an arbitrary complex-valued edge function. Three new techniques are introduced: (1) higher dimensional iterations in interpolation; (2) Eigenvalue Shifted…

Computational Complexity · Computer Science 2011-08-09 Michael Kowalczyk , Jin-Yi Cai

This thesis focuses on two concepts which are widely studied in the field of computational geometry. Namely, visibility and unit disk graphs. In the field of visibility, we have studied the conflict-free chromatic guarding of polygons, for…

Computational Geometry · Computer Science 2021-11-02 Onur Çağırıcı

We introduce and study a novel generalization of the classical Knapsack Problem (KP), called the Colored Knapsack Problem (CKP). In this problem, the items are partitioned into classes of colors and the packed items need to be ordered such…

Optimization and Control · Mathematics 2026-02-13 Fabio Ciccarelli , Alexander Helber , Erik Mühmer

We introduce a generalization of the well known graph (vertex) coloring problem, which we call the problem of \emph{component coloring of graphs}. Given a graph, the problem is to color the vertices using minimum number of colors so that…

Discrete Mathematics · Computer Science 2012-11-06 Ajit Diwan , Soumitra Pal , Abhiram Ranade

In the field of algorithmic self-assembly, a long-standing unproven conjecture has been that of the NP-hardness of binary pattern tile set synthesis (2-PATS). The $k$-PATS problem is that of designing a tile assembly system with the…

Computational Complexity · Computer Science 2014-04-04 Lila Kari , Steffen Kopecki , Pierre-Étienne Meunier , Matthew J. Patitz , Shinnosuke Seki

In this paper we propose a new approach for developing a proof that P=NP. We propose to use a polynomial-time reduction of a NP-complete problem to Linear Programming. Earlier such attempts used polynomial-time transformation which is a…

Computational Complexity · Computer Science 2023-02-20 Malay Dutta , Anjana K. Mahanta