Weizmann Logo
ECCC
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



REPORTS > DETAIL:

Revision(s):

Revision #1 to TR07-076 | 29th November 2007 00:00

Testing Expansion in Bounded Degree Graphs

RSS-Feed




Revision #1
Authors: Satyen Kale, Satyen Kale, C. Seshadhri
Accepted on: 29th November 2007 00:00
Downloads: 2938
Keywords: 


Abstract:

We consider the problem of testing graph expansion (either vertex or edge) in the bounded degree model~\cite{GR}. We give a property tester that given a graph with degree bound $d$, an expansion bound $\alpha$, and a parameter $\epsilon > 0$, accepts the graph with high probability if its expansion is more than $\alpha$, and rejects it with high probability if it is $\epsilon$-far from a graph with expansion $\alpha'$ with degree bound $d$, where $\alpha' < \alpha$ is a function of $\alpha$. For edge expansion, we obtain $\alpha' = \Omega(\frac{\alpha^2}{d})$, and for vertex expansion, we obtain $\alpha' = \Omega(\frac{\alpha^2}{d^2})$. In either case, the algorithm
runs in time $\tilde{O}(\frac{n^{(1+\mu)/2}d^2}{\epsilon\alpha^2})$ for any given constant $\mu > 0$.


Paper:

TR07-076 | 25th July 2007 00:00

Testing Expansion in Bounded Degree Graphs





TR07-076
Authors: Satyen Kale, C. Seshadhri
Publication: 10th August 2007 17:00
Downloads: 3456
Keywords: 


Abstract:

We consider the problem of testing graph expansion in the bounded degree model. We give a property tester that given a graph with degree bound $d$, an expansion bound $\alpha$, and a parameter $\epsilon > 0$, accepts the graph with high probability if its expansion is more than $\alpha$, and rejects it with high probability if it is $\epsilon$-far from any graph (with degree bound $2d$) with expansion $\Omega(\alpha^2)$. The algorithm runs in time $\tilde{O}(\frac{n^{0.5 + \mu}d^2}{\epsilon\alpha^2})$ for any given constant $\mu > 0$.



ISSN 1433-8092 | Imprint