Counting answers to existential questions
Conjunctive queries select and are expected to return certain tuples from a relational
database. We study the potentially easier problem of counting all selected tuples, rather than …
database. We study the potentially easier problem of counting all selected tuples, rather than …
The exponential-time complexity of counting (quantum) graph homomorphisms
H Chen, R Curticapean, H Dell - … Workshop, WG 2019, Vall de Núria …, 2019 - Springer
Many graph parameters can be expressed as homomorphism counts to fixed target graphs;
this includes the number of independent sets and the number of k-colorings for any fixed k …
this includes the number of independent sets and the number of k-colorings for any fixed k …
Faster coloring and embedding in dense hypergraphs via stability
J Hou, X Liu, H Zhao - arXiv preprint arXiv:2401.17219, 2024 - arxiv.org
The classical Andr\'{a} sfai-Erd\H {o} sS\'{o} s Theorem states that for $\ell\ge 2$, every $ n $-
vertex $ K_ {\ell+ 1} $-free graph with minimum degree greater than $\frac {3\ell-4}{3\ell-1} n …
vertex $ K_ {\ell+ 1} $-free graph with minimum degree greater than $\frac {3\ell-4}{3\ell-1} n …
No-rainbow problem and the surjective constraint satisfaction problem
D Zhuk - 2021 36th Annual ACM/IEEE Symposium on Logic in …, 2021 - ieeexplore.ieee.org
The Surjective Constraint Satisfaction Problem (SCSP) is the problem of deciding whether
there exists a surjective assignment to a set of variables subject to some specified …
there exists a surjective assignment to a set of variables subject to some specified …
On counting (quantum-) graph homomorphisms in finite fields of prime order
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 …
to a fixed (quantum) graph $\bar {H} $ in any finite field of prime order $\mathbb {Z} _p $. The …
Utilizing Constrained Homomorphisms in the Design of Efficient Graph Kernels
TH Schulz - 2024 - bonndoc.ulb.uni-bonn.de
Learning on graphs, particularly graph classification, requires rich graph representations. A
common paradigm to obtain these is by extracting sets of substructures and representing …
common paradigm to obtain these is by extracting sets of substructures and representing …
Approximate counting via complex zero-free regions and spectral independence
A Herrera Poyatos - 2023 - ora.ox.ac.uk
This thesis investigates fundamental problems in approximate counting that arise in the field
of statistical mechanics. Building upon recent advancements in the area, our research aims …
of statistical mechanics. Building upon recent advancements in the area, our research aims …
The complexity of approximately counting retractions
Let G be a graph that contains an induced subgraph H. A retraction from G to H is a
homomorphism from G to H that is the identity function on H. Retractions are very well …
homomorphism from G to H that is the identity function on H. Retractions are very well …
Homomorphisms are indeed a good basis for counting: Three fixed-template dichotomy theorems, for the price of one
H Chen - arXiv preprint arXiv:1710.00234, 2017 - arxiv.org
Many natural combinatorial quantities can be expressed by counting the number of
homomorphisms to a fixed relational structure. For example, the number of 3-colorings of an …
homomorphisms to a fixed relational structure. For example, the number of 3-colorings of an …
Note on" The Complexity of Counting Surjective Homomorphisms and Compactions"
H Dell - arXiv preprint arXiv:1710.01712, 2017 - arxiv.org
Focke, Goldberg, and\v {Z} ivn\'y (arXiv 2017) prove a complexity dichotomy for the problem
of counting surjective homomorphisms from a large input graph G without loops to a fixed …
of counting surjective homomorphisms from a large input graph G without loops to a fixed …