中文
相关论文

相关论文: Homomorphism Indistinguishability, Multiplicity Au…

200 篇论文

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…

计算机科学中的逻辑 · 计算机科学 2024-02-15 Tim Seppelt

Two graphs are homomorphism indistinguishable over a graph class $\mathcal{F}$, denoted by $G \equiv_{\mathcal{F}} H$, if $\operatorname{hom}(F,G) = \operatorname{hom}(F,H)$ for all $F \in \mathcal{F}$ where $\operatorname{hom}(F,G)$…

组合数学 · 数学 2023-07-11 Daniel Neuen

Lov\'asz (1967) showed that two graphs $G$ and $H$ are isomorphic if, and only if, they are homomorphism indistinguishable over all graphs, i.e., $G$ and $H$ admit the same number of number of homomorphisms from every graph $F$.…

组合数学 · 数学 2026-01-27 Daniel Neuen , Tim Seppelt

Homomorphism indistinguishability is a way of characterising many natural equivalence relations on graphs. Two graphs $G$ and $H$ are called homomorphism indistinguishable over a graph class $\mathcal{F}$ if for each $F \in \mathcal{F}$,…

量子物理 · 物理学 2026-04-21 Tim Seppelt , Gian Luca Spitzer

Two graphs $G$ and $H$ are homomorphism indistinguishable over a class 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 homomorphisms from $F$ to $H$. Many…

组合数学 · 数学 2024-02-07 Tim Seppelt

Lov\'asz (1967) showed that two graphs $G$ and $H$ are isomorphic if and only if they are homomorphism indistinguishable over the class of all graphs, i.e. for every graph $F$, the number of homomorphisms from $F$ to $G$ equals the number…

组合数学 · 数学 2025-03-13 Martin Grohe , Gaurav Rattan , Tim Seppelt

We introduce (weak) oddomorphisms of graphs which are homomorphisms with additional constraints based on parity. These maps turn out to have interesting properties (e.g., they preserve planarity), particularly in relation to homomorphism…

组合数学 · 数学 2022-06-22 David E. Roberson

A homomorphism from a graph $G$ to a graph $H$ is an edge-preserving mapping from $V(G)$ to $V(H)$. For a fixed graph $H$, in the list homomorphism problem, denoted by LHom($H$), we are given a graph $G$, whose every vertex $v$ is equipped…

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

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

Counting homomorphisms from a graph $H$ into another graph $G$ is a fundamental problem of (parameterized) counting complexity theory. In this work, we study the case where \emph{both} graphs $H$ and $G$ stem from given classes of graphs:…

计算复杂性 · 计算机科学 2021-08-04 Marc Roth , Philip Wellnitz

In this paper, we study the graph classification problem from the graph homomorphism perspective. We consider the homomorphisms from $F$ to $G$, where $G$ is a graph of interest (e.g. molecules or social networks) and $F$ belongs to some…

机器学习 · 计算机科学 2020-07-03 Hoang NT , Takanori Maehara

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

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 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ý

An edge-weighted graph $G$, possibly with loops, is said to be antiferromagnetic if it has nonnegative weights and at most one positive eigenvalue, counting multiplicities. The number of graph homomorphisms from a graph $H$ to an…

组合数学 · 数学 2025-06-18 Joonkyung Lee , Jaeseong Oh , Jaehyeon Seo

Subgraph Isomorphism is a very basic graph problem, where given two graphs $G$ and $H$ one is to check whether $G$ is a subgraph of $H$. Despite its simple definition, the Subgraph Isomorphism problem turns out to be very broad, as it…

数据结构与算法 · 计算机科学 2015-04-14 Marek Cygan , Jakub Pachocki , Arkadiusz Socała

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

A classical result by Lov\'asz asserts that two graphs $G$ and $H$ are isomorphic if and only if they have the same left profile, that is, for every graph $F$, the number of homomorphisms from $F$ to $G$ coincides with the number of…

组合数学 · 数学 2021-06-02 Albert Atserias , Phokion G. Kolaitis , Wei-Lin Wu

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

It is well known [Lov\'asz, 67] that up to isomorphism a graph~$G$ is determined by the homomorphism counts $\hom(F, G)$, i.e., the number of homomorphisms from $F$ to $G$, where $F$ ranges over all graphs. Thus, in principle, we can answer…

计算复杂性 · 计算机科学 2023-04-21 Yijia Chen , Jörg Flum , Mingjun Liu , Zhiyang Xun
‹ 上一页 1 2 3 10 下一页 ›