Download presentation
Presentation is loading. Please wait.
1
Property Testing and Communication Complexity Grigory Yaroslavtsev http://grigory.us
2
Property Testing [Goldreich, Goldwasser, Ron, Rubinfeld, Sudan] No YES Randomized algorithm YES No Property tester Don’t care
![Property Testing [Goldreich, Goldwasser, Ron, Rubinfeld, Sudan] No YES Randomized algorithm YES No Property tester Don’t care](http://images.slideplayer.com/8/2453247/slides/slide_2.jpg "Property Testing [Goldreich, Goldwasser, Ron, Rubinfeld, Sudan] No YES Randomized algorithm YES No Property tester Don’t care")
3
Property Testing [Goldreich, Goldwasser, Ron, Rubinfeld, Sudan]
![Property Testing [Goldreich, Goldwasser, Ron, Rubinfeld, Sudan]](http://images.slideplayer.com/8/2453247/slides/slide_3.jpg "Property Testing [Goldreich, Goldwasser, Ron, Rubinfeld, Sudan]")
4
Communication Complexity [Yao’79] Shared randomness …
![Communication Complexity [Yao’79] Shared randomness …](http://images.slideplayer.com/8/2453247/slides/slide_4.jpg "Communication Complexity [Yao’79] Shared randomness …")
7
{
8
Communication Direct Sums
9
Specialized Communication Direct Sums
10
Direct Sums in Property Testing [Woodruff, Y.]
![Direct Sums in Property Testing [Woodruff, Y.]](http://images.slideplayer.com/8/2453247/slides/slide_10.jpg "Direct Sums in Property Testing [Woodruff, Y.]")
12
Property Testing Direct Sums [Goldreich’13]
![Property Testing Direct Sums [Goldreich’13]](http://images.slideplayer.com/8/2453247/slides/slide_12.jpg "Property Testing Direct Sums [Goldreich’13]")
13
[Goldreich ‘13]
![[Goldreich ‘13]](http://images.slideplayer.com/8/2453247/slides/slide_13.jpg "[Goldreich ‘13]")
14
Reduction from Simultaneous Communication [Woodruff]
![Reduction from Simultaneous Communication [Woodruff]](http://images.slideplayer.com/8/2453247/slides/slide_14.jpg "Reduction from Simultaneous Communication [Woodruff]")
15
Property testing lower bounds via CC Monotonicity, Juntas, Low Fourier degree, Small Decision Trees [Blais, Brody, Matulef’11] Small-width OBDD properties [Brody, Matulef, Wu’11] Lipschitz property [Jha, Raskhodnikova’11] Codes [Goldreich’13, Gur, Rothblum’13] Number of relevant variables [Ron, Tsur’13] All functions are over Boolean hypercube
![Property testing lower bounds via CC Monotonicity, Juntas, Low Fourier degree, Small Decision Trees [Blais, Brody, Matulef’11] Small-width OBDD properties [Brody, Matulef, Wu’11] Lipschitz property [Jha, Raskhodnikova’11] Codes [Goldreich’13, Gur, Rothblum’13] Number of relevant variables [Ron, Tsur’13] All functions are over Boolean hypercube](http://images.slideplayer.com/8/2453247/slides/slide_15.jpg "Property testing lower bounds via CC Monotonicity, Juntas, Low Fourier degree, Small Decision Trees [Blais, Brody, Matulef’11] Small-width OBDD properties [Brody, Matulef, Wu’11] Lipschitz property [Jha, Raskhodnikova’11] Codes [Goldreich’13, Gur, Rothblum’13] Number of relevant variables [Ron, Tsur’13] All functions are over Boolean hypercube")
19
…
23
Thank you!
Similar presentations
