DeepAI AI Chat
Log In Sign Up

Hyperedge Estimation using Polylogarithmic Subset Queries

by   Anup Bhattacharya, et al.

A hypergraph H is a set system (U( H), F(H)), where U( H) denotes the set of n vertices and F(H), a set of subsets of U( H), denotes the set of hyperedges. A hypergraph H is said to be d-uniform if every hyperedge in H consists of exactly d vertices. The cardinality of the hyperedge set is denoted as | F( H) |=m( H). We consider an oracle access to the hypergraph H of the following form. Given d (non-empty) pairwise disjoint subsets of vertices A_1,...,A_d ⊆ U( H) of hypergraph H, the oracle, known as the Generalized d-partite independent set oracle () (that was introduced in BishnuGKM018), answers Yes if and only if there exists a hyperedge in H having (exactly) one vertex in each A_i, i ∈ [d]. The oracle belongs to the class of oracles for subset queries. The study of subset queries was initiated by Stockmeyer Stockmeyer85, and later the model was formalized by Ron and Tsur RonT16. Subset queries generalize the set membership queries. In this work we give an algorithm for the problem using the query oracle to obtain an estimate m for m( H) satisfying (1 - ϵ) · m( H) ≤m≤ (1 + ϵ) · m( H). The number of queries made by our algorithm, assuming d as a constant, is polylogarithmic in the number of vertices of the hypergraph. Our work can be seen as a natural generalization of Edge Estimation using Bipartite Independent Set( BIS) oracle BeameHRRS18 and Triangle Estimation using Tripartite Independent Set( TIS) oracle Bhatta-abs-1808-00691.


page 1

page 2

page 3

page 4


Faster Counting and Sampling Algorithms using Colorful Decision Oracle

In this work, we consider d-Hyperedge Estimation and d-Hyperedge Sample ...

Nearly optimal independence oracle algorithms for edge estimation in hypergraphs

We study a query model of computation in which an n-vertex k-hypergraph ...

Parameterized Query Complexity of Hitting Set using Stability of Sunflowers

In this paper, we study the query complexity of parameterized decision a...

Edge Estimation with Independent Set Oracles

We study the problem of estimating the number of edges in a graph with a...

Triangle Estimation using Polylogarithmic Queries

Estimating the number of triangles in a graph is one of the most fundame...

Learning Graph Partitions

Given a partition of a graph into connected components, the membership o...

Zeon and Idem-Clifford Formulations of Hypergraph Problems

Zeon algebras have proven to be useful for enumerating structures in gra...