59 research outputs found
Triangle Estimation Using Tripartite Independent Set Queries
Estimating the number of triangles in a graph is one of the most fundamental problems in sublinear algorithms. In this work, we provide an approximate triangle counting algorithm using only polylogarithmic queries when the number of triangles on any edge in the graph is polylogarithmically bounded. Our query oracle Tripartite Independent Set (TIS) takes three disjoint sets of vertices A, B and C as input, and answers whether there exists a triangle having one endpoint in each of these three sets. Our query model generally belongs to the class of group queries (Ron and Tsur, ACM ToCT, 2016; Dell and Lapinskas, STOC 2018) and in particular is inspired by the Bipartite Independent Set (BIS) query oracle of Beame et al. (ITCS 2018). We extend the algorithmic framework of Beame et al., with TIS replacing BIS, for triangle counting using ideas from color coding due to Alon et al. (J. ACM, 1995) and a concentration inequality for sums of random variables with bounded dependency (Janson, Rand. Struct. Alg., 2004)
Faster counting and sampling algorithms using colorful decision oracle
In this work, we consider -{\sc Hyperedge Estimation} and -{\sc Hyperedge Sample} problem in a hypergraph in the query complexity framework, where denotes the set of vertices and denotes the set of hyperedges. The oracle access to the hypergraph is called {\sc Colorful Independence Oracle} ({\sc CID}), which takes (non-empty) pairwise disjoint subsets of vertices as input, and answers whether there exists a hyperedge in having (exactly) one vertex in each . The problem of -{\sc Hyperedge Estimation} and -{\sc Hyperedge Sample} with {\sc CID} oracle access is important in its own right as a combinatorial problem. Also, Dell {\it{et al.}}~[SODA '20] established that {\em decision} vs {\em counting} complexities of a number of combinatorial optimization problems can be abstracted out as -{\sc Hyperedge Estimation} problems with a {\sc CID} oracle access.
The main technical contribution of the paper is an algorithm that estimates with such that { by using at most many {\sc CID} queries, where denotes the number of vertices in the hypergraph and is a constant that depends only on }. Our result coupled with the framework of Dell {\it{et al.}}~[SODA '21] implies improved bounds for a number of fundamental problems
Improved Bounds and Schemes for the Declustering Problem
The declustering problem is to allocate given data on parallel working
storage devices in such a manner that typical requests find their data evenly
distributed on the devices. Using deep results from discrepancy theory, we
improve previous work of several authors concerning range queries to
higher-dimensional data. We give a declustering scheme with an additive error
of independent of the data size, where is the
dimension, the number of storage devices and does not exceed the
smallest prime power in the canonical decomposition of into prime powers.
In particular, our schemes work for arbitrary in dimensions two and three.
For general , they work for all that are powers of two.
Concerning lower bounds, we show that a recent proof of a
bound contains an error. We close the gap in
the proof and thus establish the bound.Comment: 19 pages, 1 figur
Limits on Counting Triangles using Bipartite Independent Set Queries
Beame et al. [ITCS 2018 & TALG 2021] introduced and used the Bipartite
Independent Set (BIS) and Independent Set (IS) oracle access to an unknown,
simple, unweighted and undirected graph and solved the edge estimation problem.
The introduction of this oracle set forth a series of works in a short span of
time that either solved open questions mentioned by Beame et al. or were
generalizations of their work as in Dell and Lapinskas [STOC 2018], Dell,
Lapinskas and Meeks [SODA 2020], Bhattacharya et al. [ISAAC 2019 & Theory
Comput. Syst. 2021], and Chen et al. [SODA 2020]. Edge estimation using BIS can
be done using polylogarithmic queries, while IS queries need sub-linear but
more than polylogarithmic queries. Chen et al. improved Beame et al.'s upper
bound result for edge estimation using IS and also showed an almost matching
lower bound. Beame et al. in their introductory work asked a few open questions
out of which one was on estimating structures of higher order than edges, like
triangles and cliques, using BIS queries. Motivated by this question, we
completely resolve the query complexity of estimating triangles using BIS
oracle. While doing so, we prove a lower bound for an even stronger query
oracle called Edge Emptiness (EE) oracle, recently introduced by Assadi,
Chakrabarty and Khanna [ESA 2021] to test graph connectivity.Comment: 30 page
Fine-Grained Reductions from Approximate Counting to Decision
In this paper, we introduce a general framework for fine-grained reductions
of approximate counting problems to their decision versions. (Thus we use an
oracle that decides whether any witness exists to multiplicatively approximate
the number of witnesses with minimal overhead.) This mirrors a foundational
result of Sipser (STOC 1983) and Stockmeyer (SICOMP 1985) in the
polynomial-time setting, and a similar result of M\"uller (IWPEC 2006) in the
FPT setting. Using our framework, we obtain such reductions for some of the
most important problems in fine-grained complexity: the Orthogonal Vectors
problem, 3SUM, and the Negative-Weight Triangle problem (which is closely
related to All-Pairs Shortest Path).
We also provide a fine-grained reduction from approximate #SAT to SAT.
Suppose the Strong Exponential Time Hypothesis (SETH) is false, so that for
some and all there is an -time algorithm for k-SAT. Then we
prove that for all , there is an -time algorithm for
approximate #-SAT. In particular, our result implies that the Exponential
Time Hypothesis (ETH) is equivalent to the seemingly-weaker statement that
there is no algorithm to approximate #3-SAT to within a factor of
in time (taking as part of the input).Comment: An extended abstract was presented at STOC 201
Dynamic Graph Stream Algorithms in Space
In this paper we study graph problems in dynamic streaming model, where the
input is defined by a sequence of edge insertions and deletions. As many
natural problems require space, where is the number of
vertices, existing works mainly focused on designing space
algorithms. Although sublinear in the number of edges for dense graphs, it
could still be too large for many applications (e.g. is huge or the graph
is sparse). In this work, we give single-pass algorithms beating this space
barrier for two classes of problems.
We present space algorithms for estimating the number of connected
components with additive error and
-approximating the weight of minimum spanning tree, for any
small constant . The latter improves previous
space algorithm given by Ahn et al. (SODA 2012) for connected graphs with
bounded edge weights.
We initiate the study of approximate graph property testing in the dynamic
streaming model, where we want to distinguish graphs satisfying the property
from graphs that are -far from having the property. We consider
the problem of testing -edge connectivity, -vertex connectivity,
cycle-freeness and bipartiteness (of planar graphs), for which, we provide
algorithms using roughly space, which is
for any constant .
To complement our algorithms, we present space
lower bounds for these problems, which show that such a dependence on
is necessary.Comment: ICALP 201
- …