Results 1  10
of
76
Undirected STConnectivity in LogSpace
, 2004
"... We present a deterministic, logspace algorithm that solves stconnectivity in undirected graphs. The previous bound on the space complexity of undirected stconnectivity was log 4/3 (·) obtained by Armoni, TaShma, Wigderson and Zhou [ATSWZ00]. As undirected stconnectivity is complete for the clas ..."
Abstract

Cited by 166 (3 self)
 Add to MetaCart
We present a deterministic, logspace algorithm that solves stconnectivity in undirected graphs. The previous bound on the space complexity of undirected stconnectivity was log 4/3 (·) obtained by Armoni, TaShma, Wigderson and Zhou [ATSWZ00]. As undirected stconnectivity is complete for the class of problems solvable by symmetric, nondeterministic, logspace computations (the class SL), this algorithm implies that SL = L (where L is the class of problems solvable by deterministic logspace computations). Our algorithm also implies logspace constructible universaltraversal sequences for graphs with restricted labelling and logspace constructible universalexploration sequences for general graphs.
Entropy waves, the zigzag graph product, and new constantdegree expanders
, 2002
"... ..."
(Show Context)
Property Testing in Bounded Degree Graphs
 Algorithmica
, 1997
"... We further develop the study of testing graph properties as initiated by Goldreich, Goldwasser and Ron. Whereas they view graphs as represented by their adjacency matrix and measure distance between graphs as a fraction of all possible vertex pairs, we view graphs as represented by boundedlength in ..."
Abstract

Cited by 133 (38 self)
 Add to MetaCart
We further develop the study of testing graph properties as initiated by Goldreich, Goldwasser and Ron. Whereas they view graphs as represented by their adjacency matrix and measure distance between graphs as a fraction of all possible vertex pairs, we view graphs as represented by boundedlength incidence lists and measure distance between graphs as a fraction of the maximum possible number of edges. Thus, while the previous model is most appropriate for the study of dense graphs, our model is most appropriate for the study of boundeddegree graphs. In particular, we present randomized algorithms for testing whether an unknown boundeddegree graph is connected, kconnected (for k ? 1), planar, etc. Our algorithms work in time polynomial in 1=ffl, always accept the graph when it has the tested property, and reject with high probability if the graph is fflaway from having the property. For example, the 2Connectivity algorithm rejects (w.h.p.) any Nvertex ddegree graph for which more ...
Eigenvalues, geometric expanders, sorting in rounds, and Ramsey theory
 CORNBINATORICA
, 1986
"... Expanding graphs are relevant to theoretical computer science in several ways. Here we show that the points versus hyperplanes incidence graphs of finite geometries form highly (nonlinear) expanding graphs with essentially the smallest possible number of edges. The expansion properties of the graphs ..."
Abstract

Cited by 58 (13 self)
 Add to MetaCart
Expanding graphs are relevant to theoretical computer science in several ways. Here we show that the points versus hyperplanes incidence graphs of finite geometries form highly (nonlinear) expanding graphs with essentially the smallest possible number of edges. The expansion properties of the graphs are proved using the eigenvalues of their adjacency matrices. These graphs enable us to improve previous results on a parallel sorting problem that arises in structural modeling, by describing an explicit algorithm to sort n elements in k time units using O(n ~k) parallel processors, where, e.g., cq=7/4, ~q8/5, 0q=26/17 and ~q=22/15. Our approach also yields several applications to Ramsey Theory and other extremal problems in
Pseudorandom Generators Hard for kDNF Resolution and Polynomial Calculus Resolution
, 2003
"... A pseudorandom generator G n : f0; 1g is hard for a propositional proof system P if (roughly speaking) P can not ef ciently prove the statement G n (x 1 ; : : : ; x n ) 6= b for any string b 2 . We present a function (m 2 ) generator which is hard for Res( log n); here Res(k) is the ..."
Abstract

Cited by 50 (4 self)
 Add to MetaCart
(Show Context)
A pseudorandom generator G n : f0; 1g is hard for a propositional proof system P if (roughly speaking) P can not ef ciently prove the statement G n (x 1 ; : : : ; x n ) 6= b for any string b 2 . We present a function (m 2 ) generator which is hard for Res( log n); here Res(k) is the propositional proof system that extends Resolution by allowing kDNFs instead of clauses.
Mixnetworks with Restricted Routes
 Proceedings of Privacy Enhancing Technologies workshop (PET 2003). SpringerVerlag, LNCS 2760
, 2003
"... We present a mix network topology that is based on sparse expander graphs, with each mix only communicating with a few neighbouring others. We analyse the anonymity such networks provide, and compare it with fully connected mix networks and mix cascades. We prove that such a topology is efficient si ..."
Abstract

Cited by 46 (8 self)
 Add to MetaCart
We present a mix network topology that is based on sparse expander graphs, with each mix only communicating with a few neighbouring others. We analyse the anonymity such networks provide, and compare it with fully connected mix networks and mix cascades. We prove that such a topology is efficient since it only requires the route length of messages to be relatively small in comparison with the number of mixes to achieve maximal anonymity. Additionally mixes can resist intersection attacks while their batch size, that is directly linked to the latency of the network, remains constant. A worked example of a network is also presented to illustrate how these results can be applied to create secure mix networks in practise.
Expander graphs in pure and applied mathematics
 Bull. Amer. Math. Soc. (N.S
"... Expander graphs are highly connected sparse finite graphs. They play an important role in computer science as basic building blocks for network constructions, error correcting codes, algorithms and more. In recent years they have started to play an increasing role also in pure mathematics: number th ..."
Abstract

Cited by 30 (3 self)
 Add to MetaCart
(Show Context)
Expander graphs are highly connected sparse finite graphs. They play an important role in computer science as basic building blocks for network constructions, error correcting codes, algorithms and more. In recent years they have started to play an increasing role also in pure mathematics: number theory, group theory, geometry and more. This expository article describes their constructions and various applications in pure and applied mathematics. This paper is based on notes prepared for the Colloquium Lectures at the
SelfRouting Superconcentrators
, 1996
"... : Superconcentrators are switching systems that solve the generic problem of interconnecting clients and servers during sessions, in situations where either the clients or the servers are interchangeable (so that it does not matter which client is connected to which server). Previous constructions o ..."
Abstract

Cited by 24 (0 self)
 Add to MetaCart
: Superconcentrators are switching systems that solve the generic problem of interconnecting clients and servers during sessions, in situations where either the clients or the servers are interchangeable (so that it does not matter which client is connected to which server). Previous constructions of superconcentrators have required an external agent to find the interconnections appropriate in each instance. We remedy this shortcoming by constructing superconcentrators that are "selfrouting", in the sense that they compute for themselves the required interconnections. Specifically, we show how to construct, for each n, a system Sn with the following properties. (1) The system Sn has n inputs, n outputs, and O(n) components, each of which is of one of a fixed finite number of finite automata, and is connected to a fixed finite number of other components through cables, each of which carries signals from a fixed finite alphabet. (2) When some of the inputs, and an equal number of outpu...