English
Related papers

Related papers: Uniform Reliability for Unbounded Homomorphism-Clo…

200 papers

The NP-complete problem Matching Cut is to decide if a graph has a matching that is also an edge cut of the graph. We prove new complexity results for Matching Cut restricted to $H$-free graphs, that is, graphs that do not contain some…

Combinatorics · Mathematics 2022-07-15 Felicia Lucke , Daniël Paulusma , Bernard Ries

Query evaluation on probabilistic databases is generally intractable (#P-hard). Existing dichotomy results have identified which queries are tractable (or safe), and connected them to tractable lineages. In our previous work, using…

Databases · Computer Science 2023-04-14 Antoine Amarilli , Pierre Bourhis , Pierre Senellart

A Boolean constraint satisfaction instance is a conjunction of constraint applications, where the allowed constraints are drawn from a fixed set B of Boolean functions. We consider the problem of determining whether two given constraint…

Computational Complexity · Computer Science 2007-05-23 E. Boehler , E. Hemaspaandra , Steffen Reith , Heribert Vollmer

We study Subgraph Isomorphism on graph classes defined by a fixed forbidden graph. Although there are several ways for forbidding a graph, we observe that it is reasonable to focus on the minor relation since other well-known relations lead…

Data Structures and Algorithms · Computer Science 2019-05-28 Hans L. Bodlaender , Tesshu Hanaka , Yasuaki Kobayashi , Yusuke Kobayashi , Yoshio Okamoto , Yota Otachi , Tom C. van der Zanden

The Induced Graph Matching problem asks to find k disjoint induced subgraphs isomorphic to a given graph H in a given graph G such that there are no edges between vertices of different subgraphs. This problem generalizes the classical…

Discrete Mathematics · Computer Science 2014-02-11 Danny Hermelin , Matthias Mnich , Erik Jan van Leeuwen

We study the problem of counting the number of homomorphisms from an input graph $G$ to a fixed (quantum) graph $\bar{H}$ in any finite field of prime order $\mathbb{Z}_p$. The subproblem with graph $H$ was introduced by Faben and Jerrum…

Computational Complexity · Computer Science 2022-08-19 J. A. Gregor Lagodzinski , Andreas Göbel , Katrin Casel , Tobias Friedrich

Methods for query answering over incomplete knowledge graphs retrieve entities that are likely to be answers, which is particularly useful when such answers cannot be reached by direct graph traversal due to missing edges. However, existing…

Artificial Intelligence · Computer Science 2026-05-25 Daniel Daza , Alberto Bernardi , Luca Costabello , Christophe Gueret , Masoud Mansoury , Michael Cochez , Martijn Schut

The purpose of this article is to show that even the most elementary problems in asymptotic extremal graph theory can be highly non-trivial. We study linear inequalities between graph homomorphism densities. In the language of quantum…

Combinatorics · Mathematics 2010-10-19 Hamed Hatami , Serguei Norine

Subgraph isomorphism, also known as subgraph matching, is typically regarded as an NP-complete problem. This complexity is further compounded in practical applications where edge weights are real-valued and may be affected by measurement…

Machine Learning · Statistics 2025-06-24 Arpan Kusari , Wenbo Sun

We investigate the query evaluation problem for fixed queries over fully dynamic databases where tuples can be inserted or deleted. The task is to design a dynamic data structure that can immediately report the new result of a fixed query…

Databases · Computer Science 2017-09-29 Christoph Berkholz , Jens Keppeler , Nicole Schweikardt

We consider the problem of exact identification for read-once functions over arbitrary Boolean bases. We introduce a new type of queries (subcube identity ones), discuss its connection to previously known ones, and study the complexity of…

Computational Complexity · Computer Science 2010-07-08 Dmitry V. Chistikov , Andrey A. Voronenko

Network reliability measures the probability that a target node is reachable from a source node in an uncertain graph, i.e., a graph where every edge is associated with a probability of existence. In this paper, we investigate the novel and…

Databases · Computer Science 2020-05-26 Xiangyu Ke , Arijit Khan , Mohammad Al Hasan , Rojin Rezvansangsari

The resilience problem for a query and an input set or bag database is to compute the minimum number of facts to remove from the database to make the query false. In this paper, we study how to compute the resilience of Regular Path Queries…

Databases · Computer Science 2025-12-08 Antoine Amarilli , Wolfgang Gatterbauer , Neha Makhija , Mikaël Monet , Martín Muñoz

In the noisy query model, the (binary) return value of every query (possibly repeated) is independently flipped with some fixed probability $p \in (0, 1/2)$. In this paper, we obtain tight bounds on the noisy query complexity of several…

Data Structures and Algorithms · Computer Science 2025-02-17 Yuzhou Gu , Xin Li , Yinzhan Xu

For a class $\mathcal{H}$ of graphs, #Sub$(\mathcal{H})$ is the counting problem that, given a graph $H\in \mathcal{H}$ and an arbitrary graph $G$, asks for the number of subgraphs of $G$ isomorphic to $H$. It is known that if $\mathcal{H}$…

Computational Complexity · Computer Science 2014-07-11 Radu Curticapean , Dániel Marx

A graph $G$ covers a graph $H$ if there exists a locally bijective homomorphism from $G$ to $H$. We deal with regular covers where this homomorphism is prescribed by the action of a semiregular subgroup of $\textrm{Aut}(G)$. We study…

Discrete Mathematics · Computer Science 2017-01-31 Jiří Fiala , Pavel Klavík , Jan Kratochvíl , Roman Nedela

The big graph database model provides strong modeling for complex applications and efficient querying. However, it is still a big challenge to find all exact matches of a query graph in a big graph database, which is known as the subgraph…

Data Structures and Algorithms · Computer Science 2018-08-21 Merve Asiler , Adnan Yazıcı

Consider property testing on bounded degree graphs and let $\varepsilon>0$ denote the proximity parameter. A remarkable theorem of Newman-Sohler (SICOMP 2013) asserts that all properties of planar graphs (more generally hyperfinite) are…

Data Structures and Algorithms · Computer Science 2024-05-10 Sabyasachi Basu , Akash Kumar , C. Seshadhri

Graph pattern matching is a routine process for a wide variety of applications such as social network analysis. It is typically defined in terms of subgraph isomorphism which is NP-Complete. To lower its complexity, many extensions of graph…

Databases · Computer Science 2018-04-13 Houari Mahfoud

We consider here the problem of obtaining reliable, consistent information from inconsistent databases -- databases that do not have to satisfy given integrity constraints. We use the notion of consistent query answer -- a query answer…

Databases · Computer Science 2007-05-23 Jan Chomicki , Jerzy Marcinkowski