1,025 research outputs found
Streaming Verification of Graph Computations via Graph Structure
We give new algorithms in the annotated data streaming setting - also known as verifiable data stream computation - for certain graph problems. This setting is meant to model outsourced computation, where a space-bounded verifier limited to sequential data access seeks to overcome its computational limitations by engaging a powerful prover, without needing to trust the prover. As is well established, several problems that admit no sublinear-space algorithms under traditional streaming do allow protocols using a sublinear amount of prover/verifier communication and sublinear-space verification. We give algorithms for many well-studied graph problems including triangle counting, its generalization to subgraph counting, maximum matching, problems about the existence (or not) of short paths, finding the shortest path between two vertices, and testing for an independent set. While some of these problems have been studied before, our results achieve new tradeoffs between space and communication costs that were hitherto unknown. In particular, two of our results disprove explicit conjectures of Thaler (ICALP, 2016) by giving triangle counting and maximum matching algorithms for n-vertex graphs, using o(n) space and o(n^2) communication
Algebraic Methods in the Congested Clique
In this work, we use algebraic methods for studying distance computation and
subgraph detection tasks in the congested clique model. Specifically, we adapt
parallel matrix multiplication implementations to the congested clique,
obtaining an round matrix multiplication algorithm, where
is the exponent of matrix multiplication. In conjunction
with known techniques from centralised algorithmics, this gives significant
improvements over previous best upper bounds in the congested clique model. The
highlight results include:
-- triangle and 4-cycle counting in rounds, improving upon the
triangle detection algorithm of Dolev et al. [DISC 2012],
-- a -approximation of all-pairs shortest paths in
rounds, improving upon the -round -approximation algorithm of Nanongkai [STOC 2014], and
-- computing the girth in rounds, which is the first
non-trivial solution in this model.
In addition, we present a novel constant-round combinatorial algorithm for
detecting 4-cycles.Comment: This is work is a merger of arxiv:1412.2109 and arxiv:1412.266
Provable and practical approximations for the degree distribution using sublinear graph samples
The degree distribution is one of the most fundamental properties used in the
analysis of massive graphs. There is a large literature on graph sampling,
where the goal is to estimate properties (especially the degree distribution)
of a large graph through a small, random sample. The degree distribution
estimation poses a significant challenge, due to its heavy-tailed nature and
the large variance in degrees.
We design a new algorithm, SADDLES, for this problem, using recent
mathematical techniques from the field of sublinear algorithms. The SADDLES
algorithm gives provably accurate outputs for all values of the degree
distribution. For the analysis, we define two fatness measures of the degree
distribution, called the -index and the -index. We prove that SADDLES is
sublinear in the graph size when these indices are large. A corollary of this
result is a provably sublinear algorithm for any degree distribution bounded
below by a power law.
We deploy our new algorithm on a variety of real datasets and demonstrate its
excellent empirical behavior. In all instances, we get extremely accurate
approximations for all values in the degree distribution by observing at most
of the vertices. This is a major improvement over the state-of-the-art
sampling algorithms, which typically sample more than of the vertices to
give comparable results. We also observe that the and -indices of real
graphs are large, validating our theoretical analysis.Comment: Longer version of the WWW 2018 submissio
Expressivity of Graph Neural Networks Through the Lens of Adversarial Robustness
We perform the first adversarial robustness study into Graph Neural Networks
(GNNs) that are provably more powerful than traditional Message Passing Neural
Networks (MPNNs). In particular, we use adversarial robustness as a tool to
uncover a significant gap between their theoretically possible and empirically
achieved expressive power. To do so, we focus on the ability of GNNs to count
specific subgraph patterns, which is an established measure of expressivity,
and extend the concept of adversarial robustness to this task. Based on this,
we develop efficient adversarial attacks for subgraph counting and show that
more powerful GNNs fail to generalize even to small perturbations to the
graph's structure. Expanding on this, we show that such architectures also fail
to count substructures on out-of-distribution graphs.Comment: Published in AdvML Frontiers workshop at
International Conference on Machine Learnin
- …