English
Related papers

Related papers: Solving Hard Computational Problems Efficiently: A…

200 papers

In this paper, we present a new approach which qualifies or not a solution found by a heuristic as a potential optimal solution. Our approach is based on the following observation: for a minimization problem, the number of admissible…

Discrete Mathematics · Computer Science 2018-12-20 Alexandre Gondran , Laurent Moalic

We consider the distributed message-passing {LOCAL} model. In this model a communication network is represented by a graph where vertices host processors, and communication is performed over the edges. Computation proceeds in synchronous…

Distributed, Parallel, and Cluster Computing · Computer Science 2012-05-01 Leonid Barenboim

We focus on rational solutions or nearly-feasible rational solutions that serve as certificates of feasibility for polynomial optimization problems. We show that, under some separability conditions, certain cubic polynomially constrained…

Optimization and Control · Mathematics 2022-04-15 Daniel Bienstock , Alberto del Pia , Robert Hildebrand

Combinatorial optimization problems are notoriously challenging for neural networks, especially in the absence of labeled instances. This work proposes an unsupervised learning framework for CO problems on graphs that can provide integral…

Machine Learning · Computer Science 2021-03-09 Nikolaos Karalias , Andreas Loukas

Given an edge-colored graph, the Maximum Rainbow Matching problem asks for a maximum-cardinality matching of the graph that contains at most one edge from each color. We provide the following complexity dichotomy for this problem based on…

Discrete Mathematics · Computer Science 2026-04-24 Felix Hommelsheim , Pia Jehmlich , Moritz Mühlenthaler

An injective $k$-edge-coloring of a graph $G$ is an assignment of colors, i.e. integers in $\{1, \ldots , k\}$, to the edges of $G$ such that any two edges each incident with one distinct endpoint of a third edge, receive distinct colors.…

Data Structures and Algorithms · Computer Science 2021-04-19 Florent Foucaud , Hervé Hocquard , Dimitri Lajou

In this paper, we obtain polynomial time algorithms to determine the acyclic chromatic number, the star chromatic number, the Thue chromatic number, the harmonious chromatic number and the clique chromatic number of $P_4$-tidy graphs and…

Discrete Mathematics · Computer Science 2011-09-14 Victor Campos , Cláudia Linhares-Sales , Ana Karolinna Maia , Nicolas Martins , Rudini Menezes Sampaio

In the past few years, a successful line of research has lead to lower bounds for several fundamental local graph problems in the distributed setting. These results were obtained via a technique called round elimination. On a high level,…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-10-29 Alkida Balliu , Sebastian Brandt , Fabian Kuhn , Dennis Olivetti , Joonatan Saarhelo

It is currently an unsolved problem to determine whether a $\triangle$-free planar graph $G$ contains an independent set $A$ such that $G[V_G\setminus A]$ is $2$-choosable. However, in this paper, we take a slightly different approach by…

Combinatorics · Mathematics 2023-05-22 Sounaka Mishra , Rohini S , Sagar S. Sawant

The design of good heuristics or approximation algorithms for NP-hard combinatorial optimization problems often requires significant specialized knowledge and trial-and-error. Can we automate this challenging, tedious process, and learn the…

Machine Learning · Computer Science 2018-02-23 Hanjun Dai , Elias B. Khalil , Yuyu Zhang , Bistra Dilkina , Le Song

This paper studies the fundamental problem of graph coloring in fully dynamic graphs. Since the problem of computing an optimal coloring, or even approximating it to within $n^{1-\epsilon}$ for any $\epsilon > 0$, is NP-hard in static…

Data Structures and Algorithms · Computer Science 2020-06-23 Shay Solomon , Nicole Wein

We prove the #P-hardness of the counting problems associated with various satisfiability, graph and combinatorial problems, when restricted to planar instances. These problems include \begin{romannum} \item[{}] {\sc 3Sat, 1-3Sat, 1-Ex3Sat,…

Computational Complexity · Computer Science 2007-05-23 Harry B. Hunt , Madhav V. Marathe , Venkatesh Radhakrishnan , Richard E. Stearns

We present several sparsification lower and upper bounds for classic problems in graph theory and logic. For the problems 4-Coloring, (Directed) Hamiltonian Cycle, and (Connected) Dominating Set, we prove that there is no polynomial-time…

Computational Complexity · Computer Science 2015-09-25 Bart M. P. Jansen , Astrid Pieterse

All utility-scale quantum computers will require some form of Quantum Error Correction in which logical qubits are encoded in a larger number of physical qubits. One promising encoding is known as the colour code which has broad…

Quantum Physics · Physics 2026-03-05 Mark Walters , Mark L. Turner

When Model Predictive Control (MPC) is used in real-time to control linear systems, quadratic programs (QPs) need to be solved within a limited time frame. Recently, several parametric methods have been proposed that certify the number of…

Optimization and Control · Mathematics 2022-11-24 Daniel Arnström , Daniel Axehill

Deep neural networks have been applied to a wide range of problems across different application domains with great success. Recently, research into combinatorial optimization problems in particular has generated much interest in the machine…

Machine Learning · Computer Science 2021-08-05 Jason Van Hulse , Joshua S. Friedman

In this paper we resolve the complexity of the isomorphism problem on all but finitely many of the graph classes characterized by two forbidden induced subgraphs. To this end we develop new techniques applicable for the structural and…

Discrete Mathematics · Computer Science 2014-11-10 Pascal Schweitzer

Graph matching is a challenging problem with very important applications in a wide range of fields, from image and video analysis to biological and biomedical problems. We propose a robust graph matching algorithm inspired in…

Optimization and Control · Mathematics 2013-11-26 Marcelo Fiori , Pablo Sprechmann , Joshua Vogelstein , Pablo Musé , Guillermo Sapiro

In this paper we consider a variation of a recoloring problem, called the Color-Fixing. Let us have some non-proper $r$-coloring $\varphi$ of a graph $G$. We investigate the problem of finding a proper $r$-coloring of $G$, which is "the…

Discrete Mathematics · Computer Science 2017-11-15 Valentin Garnero , Konstanty Junosza-Szaniawski , Mathieu Liedloff , Pedro Montealegre , Paweł Rzążewski

The estimation of correspondences between two images resp. point sets is a core problem in computer vision. One way to formulate the problem is graph matching leading to the quadratic assignment problem which is NP-hard. Several so called…

Computer Vision and Pattern Recognition · Computer Science 2015-05-01 Quynh Nguyen , Antoine Gautier , Matthias Hein