English
Related papers

Related papers: Practical Experience with Stable Set and Coloring …

200 papers

There is a huge difference in techniques and runtimes of distributed algorithms for problems that can be solved by a sequential greedy algorithm and those that cannot. A prime example of this contrast appears in the edge coloring problem:…

Data Structures and Algorithms · Computer Science 2025-05-27 Manuel Jakob , Yannic Maus , Florian Schager

We describe an effective landscape introduced in [1] for the analysis of Constraint Satisfaction problems, such as Sphere Packing, K-SAT and Graph Coloring. This geometric construction reexpresses these problems in the more familiar terms…

Quantum Physics · Physics 2008-09-25 Florent Krzakala , Jorge Kurchan

Graph colorings are becoming an increasingly useful family of mathematical models for a broad range of applications, such as time tabling and scheduling, frequency assignment, register allocation, computer security and so on. Graph proper…

Combinatorics · Mathematics 2016-01-06 Bing Yao , Ming Yao , Xiang-en Chen

The Four color problem is closely related to other branches of mathematics and practical applications. More than 20 of its reformulations are known, which connect this problem with problems of algebra, statistical mechanics and planning.…

History and Overview · Mathematics 2024-05-10 Sergey Kurapov , Maxim Davidovsky

Beyond-planarity focuses on the study of geometric and topological graphs that are in some sense nearly-planar. Here, planarity is relaxed by allowing edge crossings, but only with respect to some local forbidden crossing configurations.…

Discrete Mathematics · Computer Science 2017-12-29 Patrizio Angelini , Michael A. Bekos , Michael Kaufmann , Maximilian Pfister , Torsten Ueckerdt

A coloring of edges of a finite directed graph turns the graph into finite-state automaton. The synchronizing word of a deterministic automaton is a word in the alphabet of colors (considered as letters) of its edges that maps the automaton…

Discrete Mathematics · Computer Science 2010-11-24 A. N. Trahtman

We consider a class of sparsity-inducing regularization terms based on submodular functions. While previous work has focused on non-decreasing functions, we explore symmetric submodular functions and their \lova extensions. We show that the…

Machine Learning · Computer Science 2011-06-13 Francis Bach

An assignment of colours to the vertices of a graph is stable if any two vertices of the same colour have identically coloured neighbourhoods. The goal of colour refinement is to find a stable colouring that uses a minimum number of…

Data Structures and Algorithms · Computer Science 2015-09-29 Christoph Berkholz , Paul Bonsma , Martin Grohe

Weak coloring numbers generalize the notion of degeneracy of a graph. They were introduced by Kierstead \& Yang in the context of games on graphs. Recently, several connections have been uncovered between weak coloring numbers and various…

Combinatorics · Mathematics 2022-03-28 Gwenaël Joret , Piotr Micek

This paper discusses the graph covering problem in which a set of edges in an edge- and node-weighted graph is chosen to satisfy some covering constraints while minimizing the sum of the weights. In this problem, because of the large…

Data Structures and Algorithms · Computer Science 2014-04-17 Takuro Fukunaga

We show how to couple phase-oscillators on a graph so that collective dynamics "searches" for the coloring of that graph as it relaxes toward the dynamical equilibrium. This translates a combinatorial optimization problem (graph coloring)…

Chaotic Dynamics · Physics 2020-03-24 Aladin Crnkić , Janez Povh , Vladimir Jaćimović , Zoran Levnajić

We introduce a relaxation for homomorphism problems that combines semidefinite programming with linear Diophantine equations, and propose a framework for the analysis of its power based on the spectral theory of association schemes. We use…

Computational Complexity · Computer Science 2025-05-08 Lorenzo Ciardo , Stanislav Živný

Graph-based variational methods have recently shown to be highly competitive for various classification problems of high-dimensional data, but are inherently difficult to handle from an optimization perspective. This paper proposes a convex…

Optimization and Control · Mathematics 2017-02-17 Egil Bae , Ekaterina Merkurjev

Combinatorial optimization problems near algorithmic phase transitions represent a fundamental challenge for both classical algorithms and machine learning approaches. Among them, graph coloring stands as a prototypical constraint…

In this paper we are interested in the fine-grained complexity of deciding whether there is a homomorphism from an input graph $G$ to a fixed graph $H$ (the $H$-Coloring problem). The starting point is that these problems can be viewed as…

Computational Complexity · Computer Science 2024-04-16 Ambroise Baril , Miguel Couceiro , Victor Lagerkvist

Graphical models with High Order Potentials (HOPs) have received considerable interest in recent years. While there are a variety of approaches to inference in these models, nearly all of them amount to solving a linear program (LP)…

Artificial Intelligence · Computer Science 2013-09-27 Elad Mezuman , Daniel Tarlow , Amir Globerson , Yair Weiss

We introduce a new graph problem, the token dropping game, and we show how to solve it efficiently in a distributed setting. We use the token dropping game as a tool to design an efficient distributed algorithm for stable orientations and…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-02-18 Sebastian Brandt , Barbara Keller , Joel Rybicki , Jukka Suomela , Jara Uitto

We provide a $O(\log^6 \log n)$-round randomized algorithm for distance-2 coloring in CONGEST with $\Delta^2+1$ colors. For $\Delta\gg\operatorname{poly}\log n$, this improves exponentially on the $O(\log\Delta+\operatorname{poly}\log\log…

Data Structures and Algorithms · Computer Science 2023-08-04 Maxime Flin , Magnús M. Halldórsson , Alexandre Nolin

Let $G$ be a graph with $n$ vertices and $m$ edges. One of several hierarchies towards the stability number of $G$ is the exact subgraph hierarchy (ESH). On the first level it computes the Lov\'{a}sz theta function $\vartheta(G)$ as…

Optimization and Control · Mathematics 2024-06-05 Elisabeth Gaar

We study the Lov\'asz-Schrijver lift-and-project operator ($LS_+$) based on the cone of symmetric, positive semidefinite matrices, applied to the fractional stable set polytope of graphs. The problem of obtaining a combinatorial…

Discrete Mathematics · Computer Science 2014-11-11 S. Bianchi , M. Escalante , G. Nasini , L. Tunçel