English
Related papers

Related papers: Topology and adjunction in promise constraint sati…

200 papers

Representing graphs by their homomorphism counts has led to the beautiful theory of homomorphism indistinguishability in recent years. Moreover, homomorphism counts have promising applications in database theory and machine learning, where…

Data Structures and Algorithms · Computer Science 2023-10-16 Jan Böker , Louis Härtel , Nina Runde , Tim Seppelt , Christoph Standke

For a fixed digraph $\mathbb H$, the $\mathbb H$-coloring problem is the problem of deciding whether a given input digraph $\mathbb G$ admits a homomorphism to $\mathbb H$. The CSP dichotomy conjecture of Feder and Vardi is equivalent to…

Combinatorics · Mathematics 2017-10-03 Jakub Bulín

We study the graph coloring problem over random graphs of finite average connectivity $c$. Given a number $q$ of available colors, we find that graphs with low connectivity admit almost always a proper coloring whereas graphs with high…

Statistical Mechanics · Physics 2009-11-07 R. Mulet , A. Pagnani , M. Weigt , R. Zecchina

Let $c, k$ be two positive integers and let $G=(V,E)$ be a graph. The $(c,k)$-Load Coloring Problem (denoted $(c,k)$-LCP) asks whether there is a $c$-coloring $\varphi: V \rightarrow [c]$ such that for every $i \in [c]$, there are at least…

Data Structures and Algorithms · Computer Science 2014-12-19 F. Barbero , G. Gutin , M. Jones , B. Sheng

Tree representations of (sets of) symmetric binary relations, or equivalently edge-colored undirected graphs, are of central interest, e.g.\ in phylogenomics. In this context symbolic ultrametrics play a crucial role. Symbolic ultrametrics…

Discrete Mathematics · Computer Science 2015-09-18 Marc Hellmuth , Nicolas Wieseke

The Surjective H-Colouring problem is to test if a given graph allows a vertex-surjective homomorphism to a fixed graph H. The complexity of this problem has been well studied for undirected (partially) reflexive graphs. We introduce…

Computational Complexity · Computer Science 2017-12-29 Benoit Larose , Barnaby Martin , Daniel Paulusma

The chromatic number of signed graphs is defined recently. The coloring and clique problem of interval graphs has been studied and polynomial time algorithms are established. Here we consider these problems for signed interval graphs and…

Combinatorics · Mathematics 2019-07-23 F. Ramezani

Graph matching is one of the most important problems in graph theory and combinatorial optimization, with many applications in various domains. Although meta-heuristic algorithms have had good performance on many NP-Hard and NP-Complete…

Neural and Evolutionary Computing · Computer Science 2019-04-01 Hashem Ezzati , Mahmood Amintoosi , Hashem Tabasi

We introduce two novel evolutionary formulations of the problem of coloring the nodes of a graph. The first formulation is based on the relationship that exists between a graph's chromatic number and its acyclic orientations. It views such…

Neural and Evolutionary Computing · Computer Science 2007-05-23 V. C. Barbosa , C. A. G. Assis , J. O. do Nascimento

Higher dimensional graphs can be used to colour two-dimensional geometric graphs. If G the boundary of a three dimensional graph H for example, we can refine the interior until it is colourable with 4 colours. The later goal is achieved if…

Combinatorics · Mathematics 2014-12-23 Oliver Knill

We consider a variant of the densest subgraph problem in networks with single or multiple edge attributes. For example, in a social network, the edge attributes may describe the type of relationship between users, such as friends, family,…

Social and Information Networks · Computer Science 2024-02-15 Lutz Oettershagen , Honglian Wang , Aristides Gionis

The Surjective Homomorphism problem is to test whether a given graph G called the guest graph allows a vertex-surjective homomorphism to some other given graph H called the host graph. The bijective and injective homomorphism problems can…

Discrete Mathematics · Computer Science 2016-12-16 Petr A. Golovach , Bernard Lidický , Barnaby Martin , Daniël Paulusma

This paper investigates concurrency-constrained scheduling problems, where the objective is to construct a schedule for a set of jobs subject to concurrency restrictions. Formally, we are given a conflict graph $G$ defined over a set of $n$…

Discrete Mathematics · Computer Science 2025-06-30 Hans L. Bodlaender , Danny Hermelin , Erik Jan van Leeuwen

In these lectures I will present an introduction to the results that have been recently obtained in constraint optimization of random problems using statistical mechanics techniques. After presenting the general results, in order to…

Computational Complexity · Computer Science 2007-05-23 Giorgio Parisi

The problems studied in this paper originate from Graph Motif, a problem introduced in 2006 in the context of biological networks. Informally speaking, it consists in deciding if a multiset of colors occurs in a connected subgraph of a…

Computational Complexity · Computer Science 2014-09-11 Romeo Rizzi , Florian Sikora

In a bounded max-coloring of a vertex/edge weighted graph, each color class is of cardinality at most $b$ and of weight equal to the weight of the heaviest vertex/edge in this class. The bounded max-vertex/edge-coloring problems ask for…

Data Structures and Algorithms · Computer Science 2009-04-13 Evripidis Bampis , Alexander Kononov , Giorgio Lucarelli , Ioannis Milis

For a positive integer $k$ and graph $G=(V,E)$, a $k$-colouring of $G$ is a mapping $c: V\rightarrow\{1,2,\ldots,k\}$ such that $c(u)\neq c(v)$ whenever $uv\in E$. The $k$-Colouring problem is to decide, for a given $G$, whether a…

Computational Complexity · Computer Science 2014-07-08 Shenwei Huang , Matthew Johnson , Daniël Paulusma

The binary Constraint Satisfaction Problem (CSP) is to decide whether there exists an assignment to a set of variables which satisfies specified constraints between pairs of variables. A binary CSP instance can be presented as a labelled…

Computational Complexity · Computer Science 2019-06-28 David A. Cohen , Martin C. Cooper , Peter G. Jeavons , Stanislav Zivny

This paper continues the study of a new variant of graph coloring with a connectivity constraint recently introduced by Hsieh et al. [COCOON 2024]. A path in a vertex-colored graph is called conflict-free if there is a color that appears…

Data Structures and Algorithms · Computer Science 2025-12-15 Carl Feghali , Hoang-Oanh Le , Van Bang Le

We initiate the study of computational complexity of graph coverings, aka locally bijective graph homomorphisms, for {\em graphs with semi-edges}. The notion of graph covering is a discretization of coverings between surfaces or topological…

Discrete Mathematics · Computer Science 2025-10-09 Jan Bok , Jiří Fiala , Petr Hliněný , Nikola Jedličková , Jan Kratochvíl