Amplifying lower bounds by means of self-reducibility
description
Transcript of Amplifying lower bounds by means of self-reducibility
Amplifying lower Amplifying lower bounds by means bounds by means of self-reducibilityof self-reducibility
Eric Allender Eric Allender MichalMichal KouckýKoucký
Rutgers University Rutgers University Academy of SciencesAcademy of Sciences Czech RepublicCzech Republic
2
P P NP NP PPSPACESPACE EXP EXPACAC00 ACC ACC00 TC TC00 NCNC1 1 L L
≈ ≈ poly-size circuitspoly-size circuits
O(log O(log nn)-depth poly-size )-depth poly-size circuitscircuitsO( 1 )-depth poly-size circuitsO( 1 )-depth poly-size circuits
CCCC00
QuestionQuestionMOD-qMOD-q
, ,
, , , MAJ, MAJ , , , MOD-q, MOD-q
3
Current statusCurrent statusGoal: Goal: Show SAT Show SAT CKT-SIZE( CKT-SIZE( n n k k ), for all ), for all kk >1.>1.
We have:We have: explicit explicit ff CKT-SIZE( 4.5 CKT-SIZE( 4.5 nn )) lower-bounds lower-bounds ΩΩ( ( n n 1+1+d d )) ( formula size ( formula size ΩΩ( ( n n 33 ), branching programs ), branching programs ΩΩ( ( n n 22 ) )) )
Razborov-Rudich:Razborov-Rudich: a a natural natural proof of proof of ff CKT- CKT-SIZE(SIZE(n n k k ) ) pseudorandom generators pseudorandom generators CKT- CKT-SIZE(SIZE(n n k’ k’ ))
4
Our resultsOur results
Thm: Thm: Let Let ff be be quickly downward self-quickly downward self-reduciblereducible and and CC be a be a usualusual circuit class. circuit class.
ff is in is in CC -SIZE( -SIZE( n n kk ) ) for some for some kk > 1.> 1.
ff is in is in CC -SIZE( -SIZE( n n 1+1+ ) ) for any for any > 0.> 0.
5
Some corollaries:Some corollaries: W5-STCONN W5-STCONN TC TC00
W5-STCONN W5-STCONN TC TC00-SIZE( -SIZE( n n 1+1+ ) ) for any for any > 0.> 0. MAJ MAJ ACC ACC00
MAJ MAJ ACC ACC00-SIZE( -SIZE( n n 1+1+ ) ) for any for any > 0.> 0.
W5-STCONN:W5-STCONN: … …
TCTC00=NC=NC
11
ACCACC00=TC=TC00
6
Downward self-reducibilityDownward self-reducibility ff is is quickly downward self-reduciblequickly downward self-reducible if for some if for some > 0 > 0
there exists a O(1)-depth and O(there exists a O(1)-depth and O(nn poly-log poly-log nn)-size circuit )-size circuit family computing family computing ffnn using using -gates, fan-in 2 -gates, fan-in 2 , , -gates and -gates and gates computing gates computing ff
n n . .
E.g.,E.g., W5-STCONN: W5-STCONN:
nn
ffnn ffnn ffnn ffnn
ffnn
nn
7
Thm:Thm: W5-STCONN W5-STCONN CC-SIZE( -SIZE( n n kk ) )
W5-STCONN W5-STCONN CC-SIZE( -SIZE( n n ((k k + 1) /2+ 1) /2 ) .) .
Pf:Pf:
C’C’nn
CCnn CCnn CCnn CCnn
CCnn
C’C’n n of size (of size (nn +1)∙O+1)∙O((n n kk ) + O( ) + O( n n ) = ) = O( O( n n ((k k + 1) /2+ 1) /2 ) )
the size of the reductionthe size of the reduction
8
Q: Q: To which functions can this be To which functions can this be applied?applied?
Thm: Thm: If If AA and and BB are complete for are complete for CC and and AA is is downward self-reducible then so is downward self-reducible then so is BB..
Thm: Thm: Let Let ff have NC have NC11 circuits of depth circuits of depth d d ( ( n n ). ). ff TC TC00-SIZE( 3-SIZE( 3d d ( ( n n )) ) ) NC NC1 1 TC TC00..
Thm: Thm: If multiplying If multiplying nn matrices of dim. 2 matrices of dim. 2log log nn 2 2log log nn over ring ({0,1}, over ring ({0,1}, , , ) is not in NC) is not in NC11-SIZE ( -SIZE ( n n 1+1+ ) ) then NCthen NC1 1 NL. NL.
9
Q: Q: Can this be applied to SAT?Can this be applied to SAT?
Thm: Thm: 1) If 1) If ff is quickly downward self-reducible to is quickly downward self-reducible to ffn n
then then f f NC. NC.
2) If 2) If ff is downward self-reducible to is downward self-reducible to ffn n
by poly-time by poly-time computation then computation then f f P. P.
Thm (A. Srinivasan 2008): Thm (A. Srinivasan 2008): If computing weak If computing weak approximations to MAX-CLIQUE cannot be done in det. approximations to MAX-CLIQUE cannot be done in det. time time n n 1+1+ then P then P NP. NP.
10
Natural proofsNatural proofsRazborov-Rudich:Razborov-Rudich:
TTnn { {h h :{0,1}:{0,1}nn{0,1}} is a {0,1}} is a natural property natural property if if
1) “ 1) “ ff T Tn n ?” is decidable in time 2?” is decidable in time 2nnO(1)O(1), and, and2) |T2) |Tn n |>2|>222n n /2/2 nn..
{ T{ Tnn } is a } is a useful property against useful property against C C if if for every function { for every function { ffnn } } { T { Tn n }, }, ff CC..
Thm [RR’95]: Thm [RR’95]: If { TIf { Tnn } is a natural and useful } is a natural and useful property against property against CC-SIZE( -SIZE( mm ) then there are no ) then there are no pseudorandom function generators in pseudorandom function generators in CC-SIZE( -SIZE( m m ).).
11
Natural proofsNatural proofsExample:Example:
TTnn = { = {h h :{0,1}:{0,1}nn{0,1}, {0,1}, hh does not have circuits of does not have circuits of depth log*depth log*nn and size and size nn22 consisting of consisting of and MAJ and MAJ gates}gates}
Claim: Claim: { T{ Tnn } is natural and useful against TC } is natural and useful against TC00-SIZE( -SIZE( nn1.51.5 ).).
Q: Q: Is downward self-reducibility natural property?Is downward self-reducibility natural property?
1)1) It is sparse.It is sparse.
2)2) It is not really a property as it relates different input It is not really a property as it relates different input sizes !sizes !
12
ChallengesChallenges Prove Prove Ω Ω ( ( nn1+ 1/1+ 1/d d ) lower bound on size of depth-) lower bound on size of depth-dd
circuits computing an explicit function. circuits computing an explicit function. Prove Prove Ω Ω ( ( nn2.5 2.5 ) lower bound on the length of width-) lower bound on the length of width-
5 branching programs computing an explicit 5 branching programs computing an explicit function. function.
Open problemsOpen problems Are there downward self-reducible function Are there downward self-reducible function
beyond NCbeyond NC11? ? Does NP in non-uniform CCDoes NP in non-uniform CC00[6] [6] SAT SAT CC CC00[6]-[6]-
SIZE( SIZE( n n 22 ) ?) ?