3,377 research outputs found
Counting Triangles under Updates in Worst-Case Optimal Time
We consider the problem of incrementally maintaining the triangle count query under single-tuple updates to the input relations. We introduce an approach that exhibits a space-time tradeoff such that the space-time product is quadratic in the size of the input database and the update time can be as low as the square root of this size. This lowest update time is worst-case optimal conditioned on the Online Matrix-Vector Multiplication conjecture. The classical and factorized incremental view maintenance approaches are recovered as special cases of our approach within the space-time tradeoff. In particular, they require linear-time maintenance under updates, which is suboptimal. Our approach can also count all triangles in a static database in the worst-case optimal time needed for enumerating them
Motifs in Temporal Networks
Networks are a fundamental tool for modeling complex systems in a variety of
domains including social and communication networks as well as biology and
neuroscience. Small subgraph patterns in networks, called network motifs, are
crucial to understanding the structure and function of these systems. However,
the role of network motifs in temporal networks, which contain many timestamped
links between the nodes, is not yet well understood.
Here we develop a notion of a temporal network motif as an elementary unit of
temporal networks and provide a general methodology for counting such motifs.
We define temporal network motifs as induced subgraphs on sequences of temporal
edges, design fast algorithms for counting temporal motifs, and prove their
runtime complexity. Our fast algorithms achieve up to 56.5x speedup compared to
a baseline method. Furthermore, we use our algorithms to count temporal motifs
in a variety of networks. Results show that networks from different domains
have significantly different motif counts, whereas networks from the same
domain tend to have similar motif counts. We also find that different motifs
occur at different time scales, which provides further insights into structure
and function of temporal networks
Streaming Verification of Graph Properties
Streaming interactive proofs (SIPs) are a framework for outsourced
computation. A computationally limited streaming client (the verifier) hands
over a large data set to an untrusted server (the prover) in the cloud and the
two parties run a protocol to confirm the correctness of result with high
probability. SIPs are particularly interesting for problems that are hard to
solve (or even approximate) well in a streaming setting. The most notable of
these problems is finding maximum matchings, which has received intense
interest in recent years but has strong lower bounds even for constant factor
approximations.
In this paper, we present efficient streaming interactive proofs that can
verify maximum matchings exactly. Our results cover all flavors of matchings
(bipartite/non-bipartite and weighted). In addition, we also present streaming
verifiers for approximate metric TSP. In particular, these are the first
efficient results for weighted matchings and for metric TSP in any streaming
verification model.Comment: 26 pages, 2 figure, 1 tabl
Maintaining Triangle Queries under Updates
We consider the problem of incrementally maintaining the triangle queries
with arbitrary free variables under single-tuple updates to the input
relations. We introduce an approach called IVM that exhibits a
trade-off between the update time, the space, and the delay for the enumeration
of the query result, such that the update time ranges from the square root to
linear in the database size while the delay ranges from constant to linear
time. IVM achieves Pareto worst-case optimality in the update-delay
space conditioned on the Online Matrix-Vector Multiplication conjecture. It is
strongly Pareto optimal for the triangle queries with zero or three free
variables and weakly Pareto optimal for the triangle queries with one or two
free variables.Comment: 47 pages, 18 figure
Improved Incremental Randomized Delaunay Triangulation
We propose a new data structure to compute the Delaunay triangulation of a
set of points in the plane. It combines good worst case complexity, fast
behavior on real data, and small memory occupation.
The location structure is organized into several levels. The lowest level
just consists of the triangulation, then each level contains the triangulation
of a small sample of the levels below. Point location is done by marching in a
triangulation to determine the nearest neighbor of the query at that level,
then the march restarts from that neighbor at the level below. Using a small
sample (3%) allows a small memory occupation; the march and the use of the
nearest neighbor to change levels quickly locate the query.Comment: 19 pages, 7 figures Proc. 14th Annu. ACM Sympos. Comput. Geom.,
106--115, 199
The Sketching Complexity of Graph and Hypergraph Counting
Subgraph counting is a fundamental primitive in graph processing, with
applications in social network analysis (e.g., estimating the clustering
coefficient of a graph), database processing and other areas. The space
complexity of subgraph counting has been studied extensively in the literature,
but many natural settings are still not well understood. In this paper we
revisit the subgraph (and hypergraph) counting problem in the sketching model,
where the algorithm's state as it processes a stream of updates to the graph is
a linear function of the stream. This model has recently received a lot of
attention in the literature, and has become a standard model for solving
dynamic graph streaming problems.
In this paper we give a tight bound on the sketching complexity of counting
the number of occurrences of a small subgraph in a bounded degree graph
presented as a stream of edge updates. Specifically, we show that the space
complexity of the problem is governed by the fractional vertex cover number of
the graph . Our subgraph counting algorithm implements a natural vertex
sampling approach, with sampling probabilities governed by the vertex cover of
. Our main technical contribution lies in a new set of Fourier analytic
tools that we develop to analyze multiplayer communication protocols in the
simultaneous communication model, allowing us to prove a tight lower bound. We
believe that our techniques are likely to find applications in other settings.
Besides giving tight bounds for all graphs , both our algorithm and lower
bounds extend to the hypergraph setting, albeit with some loss in space
complexity
- …