中文
相关论文

相关论文: The complexity of tropical graph homomorphisms

200 篇论文

An (h,s,t)-representation of a graph G consists of a collection of subtrees of a tree T, where each subtree corresponds to a vertex of G such that (i) the maximum degree of T is at most h, (ii) every subtree has maximum degree at mots s,…

组合数学 · 数学 2011-12-15 Liliana Alcón , Marisa Gutierrez , María Pía Mazzoleni

We introduce a variant of the graph coloring problem, which we denote as {\sc Budgeted Coloring Problem} (\bcp). Given a graph $G$, an integer $c$ and an ordered list of integers $\{b_1, b_2, \ldots, b_c\}$, \bcp asks whether there exists a…

数据结构与算法 · 计算机科学 2021-10-28 Susobhan Bandopadhyay , Suman Banerjee , Aritra Banik , Venkatesh Raman

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…

离散数学 · 计算机科学 2016-12-16 Petr A. Golovach , Bernard Lidický , Barnaby Martin , Daniël Paulusma

The \emph{Sandwich Problem} (SP) for a graph class $\calC$ is the following computational problem. The input is a pair of graphs $(V,E_1)$ and $(V,E_2)$ where $E_1\subseteq E_2$, and the task is to decide whether there is an edge set $E$…

离散数学 · 计算机科学 2025-10-13 Manuel Bodirsky , Santiago Guzmán-Pro

A (proper) colouring is acyclic, star, or injective if any two colour classes induce a forest, star forest or disjoint union of vertices and edges, respectively. Hence, every injective colouring is a star colouring and every star colouring…

离散数学 · 计算机科学 2026-01-30 Jan Bok , Nikola Jedlickova , Barnaby Martin , Pascal Ochem , Daniel Paulusma , Siani Smith

We give a complexity dichotomy theorem for the counting Constraint Satisfaction Problem (#CSP in short) with complex weights. To this end, we give three conditions for its tractability. Let F be any finite set of complex-valued functions,…

计算复杂性 · 计算机科学 2015-03-19 Jin-Yi Cai , Xi Chen

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

计算复杂性 · 计算机科学 2016-02-16 Petr A. Golovach , Matthew Johnson , Daniël Paulusma , Jian Song

Given graphs $H$ and $G$, possibly with vertex-colors, a homomorphism is a function $f:V(H)\to V(G)$ that preserves colors and edges. Many interesting counting problems (e.g., subgraph and induced subgraph counts) are finite linear…

计算复杂性 · 计算机科学 2023-05-09 Radu Curticapean

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…

计算复杂性 · 计算机科学 2023-02-15 Andrei Krokhin , Jakub Opršal , Marcin Wrochna , Stanislav Živný

For graphs $G$ and $H$, an $H$-coloring of $G$ is an edge-preserving mapping from $V(G)$ to $V(H)$. In the $H$-Coloring problem the graph $H$ is fixed and we ask whether an instance graph $G$ admits an $H$-coloring. A generalization of this…

It has been shown by Bokal et al. that deciding 2-colourability of digraphs is an NP-complete problem. This result was later on extended by Feder et al. to prove that deciding whether a digraph has a circular $p$-colouring is NP-complete…

组合数学 · 数学 2023-06-22 Winfried Hochstättler , Felix Schröder , Raphael Steiner

We study homomorphism problems of signed graphs from a computational point of view. A signed graph $(G,\Sigma)$ is a graph $G$ where each edge is given a sign, positive or negative; $\Sigma\subseteq E(G)$ denotes the set of negative edges.…

离散数学 · 计算机科学 2016-10-14 Richard C. Brewster , Florent Foucaud , Pavol Hell , Reza Naserasr

The Promise Constraint Satisfaction Problem (PCSP) is a recently introduced vast generalization of the Constraint Satisfaction Problem (CSP). We investigate the computational complexity of a class of PCSPs beyond the most studied cases -…

计算复杂性 · 计算机科学 2020-10-12 Libor Barto , Diego Battistelli , Kevin M. Berg

A homomorphism from a graph $G$ to a graph $H$ is an edge-preserving mapping from $V(G)$ to $V(H)$. Let $H$ be a fixed graph with possible loops. In the list homomorphism problem, denoted by LHom($H$), we are given a graph $G$, whose every…

计算复杂性 · 计算机科学 2020-09-23 Karolina Okrasa , Marta Piecyk , Paweł Rzążewski

For a positive integer $r$ and graphs $G$ and $H$, we denote by $G+H$ the disjoint union of $G$ and $H$, and by $rH$ the union of $r$ mutually disjoint copies of $H$. Also, we say $G$ is $H$-free if $H$ is not isomorphic to an induced…

组合数学 · 数学 2023-09-06 Sepehr Hajebi , Yanjia Li , Sophie Spirkl

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…

离散数学 · 计算机科学 2014-11-10 Pascal Schweitzer

The goal of this work is to give precise bounds on the counting complexity of a family of generalized coloring problems (list homomorphisms) on bounded-treewidth graphs. Given graphs $G$, $H$, and lists $L(v)\subseteq V(H)$ for every $v\in…

计算复杂性 · 计算机科学 2021-11-01 Jacob Focke , Dániel Marx , Paweł Rzążewski

A $b$-coloring of a graph $G$ is a proper coloring of its vertices such that each color class contains a vertex that has at least one neighbor in all the other color classes. The b-Coloring problem asks whether a graph $G$ has a…

数据结构与算法 · 计算机科学 2019-02-12 Lars Jaffke , Paloma T. Lima

Given a graph G, we investigate the question of determining the parity of the number of homomorphisms from G to some other fixed graph H. We conjecture that this problem exhibits a complexity dichotomy, such that all parity graph…

计算复杂性 · 计算机科学 2013-09-17 John Faben , Mark Jerrum

A colouring of a graph $G=(V,E)$ is a function $c: V\rightarrow\{1,2,\ldots \}$ such that $c(u)\neq c(v)$ for every $uv\in E$. A $k$-regular list assignment of $G$ is a function $L$ with domain $V$ such that for every $u\in V$, $L(u)$ is a…

数据结构与算法 · 计算机科学 2019-02-08 Konrad K. Dabrowski , Francois Dross , Matthew Johnson , Daniel Paulusma