Homomorphisms are a good basis for counting small subgraphs

R Curticapean, H Dell, D Marx - Proceedings of the 49th Annual ACM …, 2017 - dl.acm.org
We introduce graph motif parameters, a class of graph parameters that depend only on the
frequencies of constant-size induced subgraphs. Classical works by Lovász show that many …

Approximately counting and sampling small witnesses using a colorful decision oracle

H Dell, J Lapinskas, K Meeks - SIAM Journal on Computing, 2022 - SIAM
In this paper, we design efficient algorithms to approximately count the number of edges of a
given k-hypergraph, and to sample an approximately uniform random edge. The hypergraph …

Detecting and counting small subgraphs, and evaluating a parameterized Tutte polynomial: lower bounds via toroidal grids and Cayley graph expanders

M Roth, J Schmitt, P Wellnitz - arXiv preprint arXiv:2011.03433, 2020 - arxiv.org
Given a graph property $\Phi $, we consider the problem $\mathtt {EdgeSub}(\Phi) $, where
the input is a pair of a graph $ G $ and a positive integer $ k $, and the task is to decide …

Modular counting of subgraphs: Matchings, matching-splittable graphs, and paths

R Curticapean, H Dell, T Husfeldt - arXiv preprint arXiv:2107.00629, 2021 - arxiv.org
We systematically investigate the complexity of counting subgraph patterns modulo fixed
integers. For example, it is known that the parity of the number of $ k $-matchings can be …

Applications of random algebraic constructions to hardness of approximation

B Bukh, CS Karthik, B Narayanan - 2021 IEEE 62nd Annual …, 2022 - ieeexplore.ieee.org
In this paper, we show how one may (efficiently) construct two types of extremal
combinatorial objects whose existence was previously conjectural.• Panchromatic Graphs …

The tractability frontier of well-designed SPARQL queries

M Romero - Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI …, 2018 - dl.acm.org
We study the complexity of query evaluation of SPARQL queries. We focus on the
fundamental fragment of well-designed SPARQL restricted to the AND, OPTIONAL and …

Count on CFI graphs for# P-hardness

R Curticapean - Proceedings of the 2024 Annual ACM-SIAM …, 2024 - SIAM
A homomorphism between graphs H and G, possibly with vertex-colors, is a function f: V
(ℋ)→ V (G) that preserves colors and edges. Many interesting graph parameters are finite …

On tractable query evaluation for SPARQL

S Mengel, S Skritek - arXiv preprint arXiv:1712.08939, 2017 - arxiv.org
Despite much work within the last decade on foundational properties of SPARQL-the
standard query language for RDF data-rather little is known about the exact limits of …