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 …

[PDF][PDF] Counting Small Induced Subgraphs with Edge-monotone Properties

S Döring, D Marx, P Wellnitz - Proceedings of the 56th Annual ACM …, 2024 - dl.acm.org
We study the parameterized complexity of# IndSub (Φ), where given a graph G and an
integer k, the task is to count the number of induced subgraphs on k vertices that satisfy the …

Counting Small Induced Subgraphs: Hardness via Fourier Analysis

R Curticapean, D Neuen - arXiv preprint arXiv:2407.07051, 2024 - arxiv.org
For a fixed graph property $\Phi $ and integer $ k\geq 1$, the problem $\#\mathrm
{IndSub}(\Phi, k) $ asks to count the induced $ k $-vertex subgraphs satisfying $\Phi $ in an …

The complexity of pattern counting in directed graphs, parameterised by the outdegree

M Bressan, M Lanzinger, M Roth - Proceedings of the 55th Annual ACM …, 2023 - dl.acm.org
We study the fixed-parameter tractability of the following fundamental problem: given two
directed graphs H→ and G→, count the number of copies of H→ in G→. The standard …

From Graph Properties to Graph Parameters: Tight Bounds for Counting on Small Subgraphs

S Döring, D Marx, P Wellnitz - arXiv preprint arXiv:2407.06801, 2024 - arxiv.org
A graph property is a function $\Phi $ that maps every graph to {0, 1} and is invariant under
isomorphism. In the $\# IndSub (\Phi) $ problem, given a graph $ G $ and an integer $ k …

Kernelization of counting problems

D Lokshtanov, P Misra, S Saurabh, M Zehavi - arXiv preprint arXiv …, 2023 - arxiv.org
We introduce a new framework for the analysis of preprocessing routines for parameterized
counting problems. Existing frameworks that encapsulate parameterized counting problems …

Counting Answers to Unions of Conjunctive Queries: Natural Tractability Criteria and Meta-Complexity

J Focke, LA Goldberg, M Roth, S Zivný - … of the ACM on Management of …, 2024 - dl.acm.org
We study the problem of counting answers to unions of conjunctive queries (UCQs) under
structural restrictions on the input query. Concretely, given a class C of UCQs, the problem# …

Can You Link Up With Treewidth?

R Curticapean, S Döring, D Neuen, J Wang - arXiv preprint arXiv …, 2024 - arxiv.org
A central result of Marx [ToC'10] proves that there are $ k $-vertex graphs $ H $ of maximum
degree $3 $ such that $ n^{o (k/\log k)} $ time algorithms for detecting colorful $ H …

Counting subgraphs in somewhere dense graphs

M Bressan, L Ann Goldberg, K Meeks, M Roth - SIAM Journal on Computing, 2024 - SIAM
We study the problems of counting copies and induced copies of a small pattern graph in a
large host graph. Recent work fully classified the complexity of those problems according to …

Parameterised Holant Problems

P Aivasiliotis, A Göbel, M Roth, J Schmitt - arXiv preprint arXiv:2409.13579, 2024 - arxiv.org
We investigate the complexity of parameterised holant problems $\textsc {p-Holant}(\mathcal
{S}) $ for families of signatures~ $\mathcal {S} $. The parameterised holant framework was …