English
Related papers

Related papers: On the complexity of $\mathbb H$-coloring for spec…

200 papers

Given a class of graphs $\mathcal{H}$, the problem $\oplus\mathsf{Sub}(\mathcal{H})$ is defined as follows. The input is a graph $H\in \mathcal{H}$ together with an arbitrary graph $G$. The problem is to compute, modulo $2$, the number of…

Computational Complexity · Computer Science 2023-10-12 Leslie Ann Goldberg , Marc Roth

Coloring is one of the most famous problems in graph theory. The coloring problem on undirected graphs has been well studied, whereas there are very few results for coloring problems on directed graphs. An oriented k-coloring of an oriented…

Data Structures and Algorithms · Computer Science 2019-06-12 Frank Gurski , Dominique Komander , Carolin Rehs

Given a loop-free graph $H$, the reconfiguration problem for homomorphisms to $H$ (also called $H$-colourings) asks: given two $H$-colourings $f$ of $g$ of a graph $G$, is it possible to transform $f$ into $g$ by a sequence of single-vertex…

Combinatorics · Mathematics 2024-03-06 Jae-Baek Lee , Jonathan A. Noel , Mark Siggers

A graph covering projection, also referred to as a locally bijective homomorphism, is a mapping between the vertices and edges of two graphs that preserves incidences and is a local bijection. This concept originates in topological graph…

Discrete Mathematics · Computer Science 2025-07-02 Jan Bok , Jiří Fiala , Nikola Jedličková , Jan Kratochvíl

The approximate graph colouring problem, whose complexity is unresolved in most cases, concerns finding a $c$-colouring of a graph that is promised to be $k$-colourable, where $c\geq k$. This problem naturally generalises to promise graph…

Computational Complexity · Computer Science 2023-02-15 Andrei Krokhin , Jakub Opršal , Marcin Wrochna , Stanislav Živný

We present a structural classification of constraint satisfaction problems (CSP) described by reflexive complete $2$-edge-coloured graphs. In particular, this classification extends the structural dichotomy for graph homomorphism problems…

Computational Complexity · Computer Science 2026-02-11 Alexey Barsukov , Santiago Guzmán-Pro

Two graphs $G$ and $H$ are homomorphism indistinguishable over a family of graphs $\mathcal{F}$ if for all graphs $F \in \mathcal{F}$ the number of homomorphisms from $F$ to $G$ is equal to the number of homomorphism from $F$ to $H$. Many…

Logic in Computer Science · Computer Science 2024-02-15 Tim Seppelt

Given a planar graph $G$ and an integer $b$, OrthogonalPlanarity is the problem of deciding whether $G$ admits an orthogonal drawing with at most $b$ bends in total. We show that OrthogonalPlanarity can be solved in polynomial time if $G$…

Computational Geometry · Computer Science 2019-08-15 Emilio Di Giacomo , Giuseppe Liotta , Fabrizio Montecchiani

A C-coloring of a hypergraph ${\cal H}=(X,{\cal E})$ is a vertex coloring $\varphi: X\to {\mathbb{N}}$ such that each edge $E\in{\cal E}$ has at least two vertices with a common color. The related parameter $\overline{\chi}({\cal H})$,…

Combinatorics · Mathematics 2013-10-31 Csilla Bujtás , Zsolt Tuza

For a fixed simple digraph $F$ and a given simple digraph $D$, an $F$-free $k$-coloring of $D$ is a vertex-coloring in which no induced copy of $F$ in $D$ is monochromatic. We study the complexity of deciding for fixed $F$ and $k$ whether a…

Combinatorics · Mathematics 2022-06-08 Helena Bergold , Winfried Hochstättler , Raphael Steiner

An ordered graph is a graph enhanced with a linear order on the vertex set. An ordered graph is a core if it does not have an order-preserving homomorphism to a proper subgraph. We say that $H$ is the core of $G$ if (i) $H$ is a core, (ii)…

Computational Complexity · Computer Science 2025-12-01 Michal Čertík , Andreas Emil Feldmann , Jaroslav Nešetřil , Paweł Rzążewski

Can the vertices of a graph $G$ be partitioned into $A \cup B$, so that $G[A]$ is a line-graph and $G[B]$ is a forest? Can $G$ be partitioned into a planar graph and a perfect graph? The NP-completeness of these problems are just special…

Combinatorics · Mathematics 2007-05-23 Alastair Farrugia

We present an explicit family of hypergraphs with arbitrarily large uniformity and chromatic number that admit realizations in both geometric and number-theoretic settings. As an application, we give a new proof of a theorem of Chen, Pach,…

Combinatorics · Mathematics 2026-02-23 Gábor Damásdi

A rainbow matching in an edge-colored graph is a matching whose edges have distinct colors. We address the complexity issue of the following problem, \mrbm: Given an edge-colored graph $G$, how large is the largest rainbow matching in $G$?…

Discrete Mathematics · Computer Science 2013-12-30 Van Bang Le , Florian Pfender

This paper investigates an extremely classic NP-complete problem: How to determine if a graph G, where each vertex has a degree of at most 4, can be 3-colorable(The research in this paper focuses on graphs G that satisfy the condition where…

Computational Complexity · Computer Science 2024-05-21 Zikang Deng

In the Selective Coloring problem, we are given an integer $k$, a graph $G$, and a partition of $V(G)$ into $p$ parts, and the goal is to decide whether or not we can pick exactly one vertex of each part and obtain a $k$-colorable induced…

Data Structures and Algorithms · Computer Science 2020-12-01 Guilherme C. M. Gomes , Vinicius F. dos Santos

For a fixed integer, the $k$-Colouring problem is to decide if the vertices of a graph can be coloured with at most $k$ colours for an integer $k$, such that no two adjacent vertices are coloured alike. A graph $G$ is $H$-free if $G$ does…

Combinatorics · Mathematics 2021-11-24 Barnaby Martin , Daniel Paulusma , Siani Smith

$H$-Packing is the problem of finding a maximum number of vertex-disjoint copies of $H$ in a given graph $G$. $H$-Partition is the special case of finding a set of vertex-disjoint copies that cover each vertex of $G$ exactly once. Our goal…

Data Structures and Algorithms · Computer Science 2025-09-09 Barış Can Esmer , Dániel Marx

We study the $H$-chromatic symmetric functions $X_G^H$ (introduced in (arXiv:2011.06063) as a generalization of the chromatic symmetric function (CSF) $X_G$), which track homomorphisms from the graph $G$ to the graph $H$. We focus first on…

Combinatorics · Mathematics 2025-11-13 Shao Yuan Lin , Laura Pierson

In this paper we study the complexity of counting Constraint Satisfaction Problems (CSPs) of the form #CSP($\mathcal{C}$,-), in which the goal is, given a relational structure $\mathbf{A}$ from a class $\mathcal{C}$ of structures and an…

Computational Complexity · Computer Science 2020-05-15 Andrei A. Bulatov , Stanislav Zivny