中文
相关论文

相关论文: Minimum Cost and List Homomorphisms to Semicomplet…

200 篇论文

The generic homomorphism problem, which asks whether an input graph $G$ admits a homomorphism into a fixed target graph $H$, has been widely studied in the literature. In this article, we provide a fine-grained complexity classification of…

计算复杂性 · 计算机科学 2022-10-14 Robert Ganian , Thekla Hamm , Viktoriia Korchemna , Karolina Okrasa , Kirill Simonov

We study the problem of computing the parity of the number of homomorphisms from an input graph $G$ to a fixed graph $H$. Faben and Jerrum [ToC'15] introduced an explicit criterion on the graph $H$ and conjectured that, if satisfied, the…

计算复杂性 · 计算机科学 2022-07-04 Jacob Focke , Leslie Ann Goldberg , Marc Roth , Stanislav Živný

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…

数据结构与算法 · 计算机科学 2023-10-16 Jan Böker , Louis Härtel , Nina Runde , Tim Seppelt , Christoph Standke

We call a digraph {\em $h$-semicomplete} if each vertex of the digraph has at most $h$ non-neighbors, where a non-neighbor of a vertex $v$ is a vertex $u \neq v$ such that there is no edge between $u$ and $v$ in either direction. This…

数据结构与算法 · 计算机科学 2015-07-08 Kenta Kitsunai , Yasuaki Kobayashi , Hisao Tamaki

We consider the problem of online min-cost perfect matching with concave delays. We begin with the single location variant. Specifically, requests arrive in an online fashion at a single location. The algorithm must then choose between…

数据结构与算法 · 计算机科学 2020-11-05 Yossi Azar , Runtian Ren , Danny Vainstein

In this paper we study the following problem. Let $A$ be a fixed graph, and let $\hom(G,A)$ denote the number of homomorphisms from a graph $G$ to $A$. Furthermore, let $v(G)$ denote the number of vertices of $G$, and let $\mathcal{G}_d$…

组合数学 · 数学 2017-05-08 Péter Csikvári

The $\mathcal{H}$-coloring problem for undirected simple graphs is a computational problem from a huge class of the constraint satisfaction problems (CSP): an $\mathcal{H}$-coloring of a graph $\mathcal{G}$ is just a homomorphism from…

逻辑 · 数学 2020-10-07 Azza Gaysin

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

In this paper we present the first deterministic polynomial time algorithm for determining the existence of a Hamiltonian cycle and finding a Hamiltonian cycle in general graphs. Our algorithm can also solve the Hamiltonian path problem in…

数据结构与算法 · 计算机科学 2022-07-12 Aimin Hou

We decide the Borel complexity of the conjugacy problem for automorphism groups of countable homogeneous digraphs. Many of the homogeneous digraphs, as well as several other homogeneous structures, have already been addressed in previous…

逻辑 · 数学 2020-01-09 Samuel Coskey , Paul Ellis

An NP-complete coloring or homomorphism problem may become polynomial time solvable when restricted to graphs with degrees bounded by a small number, but remain NP-complete if the bound is higher. For instance, 3-colorability of graphs with…

组合数学 · 数学 2012-11-29 Aurosish Mishra , Pavol Hell

We consider the problem of enumerating all minimal transversals (also called minimal hitting sets) of a hypergraph $\mathcal{H}$. An equivalent formulation of this problem known as the \emph{transversal hypergraph} problem (or…

组合数学 · 数学 2026-02-02 Arnaud Mary

A homomorphism from a graph $G$ to a graph $H$ is an edge-preserving mapping from $V(G)$ to $V(H)$. In the graph homomorphism problem, denoted by $Hom(H)$, the graph $H$ is fixed and we need to determine if there exists a homomorphism from…

离散数学 · 计算机科学 2023-12-08 Carla Groenland , Isja Mannens , Jesper Nederlof , Marta Piecyk , Paweł Rzążewski

This thesis investigates the central role of homomorphism problems (structure-preserving maps) in two complementary domains: database querying over finite, graph-shaped data, and constraint solving over (potentially infinite) structures.…

计算机科学中的逻辑 · 计算机科学 2025-10-10 Rémi Morvan

Many combinatorial optimization problems can be formulated as the search for a subgraph that satisfies certain properties and minimizes the total weight. We assume here that the vertices correspond to points in a metric space and can take…

数据结构与算法 · 计算机科学 2024-12-25 Marin Bougeret , Jérémy Omer , Michael Poss

We examine ordered graphs, defined as graphs with linearly ordered vertices, from the perspective of homomorphisms (and colorings) and their complexities. We demonstrate the corresponding computational and parameterized complexities, along…

计算复杂性 · 计算机科学 2025-12-01 Michal Čertík , Andreas Emil Feldmann , Jaroslav Nešetřil , Paweł Rzążewski

Let $D$ be a directed graph cellularly embedded in a surface together with non-negative cost on its arcs. Given any integer circulation in $D$, we study the problem of finding a minimum-cost non-negative integer circulation in $D$ that is…

离散数学 · 计算机科学 2020-10-16 Sarah Morell , Ina Seidel , Stefan Weltge

For graphs $G$ and $H$, a \emph{homomorphism} from $G$ to $H$ is an edge-preserving mapping from the vertex set of $G$ to the vertex set of $H$. For a fixed graph $H$, by \textsc{Hom($H$)} we denote the computational problem which asks…

计算复杂性 · 计算机科学 2020-02-20 Karolina Okrasa , Paweł Rzążewski

For a connected graph $G=(V,E)$, a matching $M\subseteq E$ is a matching cut of $G$ if $G-M$ is disconnected. It is known that for an integer $d$, the corresponding decision problem Matching Cut is polynomial-time solvable for graphs of…

组合数学 · 数学 2022-07-18 Felicia Lucke , Daniël Paulusma , Bernard Ries

We study the problems of counting the homomorphisms, counting the copies, and counting the induced copies of a $k$-vertex graph $H$ in a $d$-degenerate $n$-vertex graph $G$. Our main result establishes exhaustive and explicit complexity…

计算复杂性 · 计算机科学 2021-06-02 Marco Bressan , Marc Roth