Loading in 5 sec....

CS151 Complexity TheoryPowerPoint Presentation

CS151 Complexity Theory

- 118 Views
- Uploaded on
- Presentation posted in: General

CS151 Complexity Theory

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.

- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -

CS151Complexity Theory

Lecture 14

May 16, 2013

- interactive proof system for L is an interactive protocol (P, V)

common input: x

Prover

Verifier

. . .

# rounds = poly(|x|)

accept/reject

- interactive proof system for L is an interactive protocol (P, V)
- completeness: x L
Pr[V accepts in (P, V)(x)] 2/3

- soundness: x L 8P*
Pr[V accepts in (P*, V)(x)] 1/3

- efficiency: V is p.p.t. machine

- completeness: x L
- repetition: can reduce error to any ε

input: (φ, k)

Prover

Verifier

p1(x)

p1(x) = Σx2,…,xn {0,1} pφ(x, x2, …, xn)

p1(0)+p1(1)=k?

pick random z1 in Fq

z1

p2(x) = Σx3,…,xn {0,1} pφ(z1, x, x3, …, xn)

p2(x)

p2(0)+p2(1)=p1(z1)?

pick random z2 in Fq

z2

p3(x) = Σx4,…,xn {0,1} pφ(z1, z2, x, x4 …, xn)

p3(x)

p3(0)+p3(1)=p2(z2)?

pick random z3 in Fq

. .

pn(x)

pn(0)+pn(1)=pn-1(zn-1)?

pick random zn in Fq

pn(zn) = pφ(z1, z2, …, zn)?

- Completeness:
- if (φ, k) L then honest prover on previous slide will always cause verifier to accept

- Soundness:
- let pi(x) be the correct polynomials
- let pi*(x) be the polynomials sent by (cheating) prover
- (φ, k) Lp1(0) + p1(1) ≠ k
- either p1*(0) + p1*(1) ≠ k (and V rejects)
- or p1* ≠ p1 Prz1[p1*(z1) = p1(z1)] d/q |φ|/2n
- assume (pi+1(0)+pi+1(1)= )pi(zi) ≠ pi*(zi)
- either pi+1*(0) + pi+1*(1) ≠ pi*(zi) (and V rejects)
- or pi+1* ≠ pi+1 Przi+1[pi+1*(zi+1) = pi+1(zi+1)] |φ|/2n

- Soundness (continued):
- if verifier does not reject, there must be some i for which:
pi* ≠ pi and yet pi*(zi) = pi(zi)

- for each i, probability is |φ|/2n
- union bound: probability that there exists an i for which the bad event occurs is
- n|φ|/2n poly(n)/2n << 1/3

- if verifier does not reject, there must be some i for which:

- Conclude: L = { (φ, k): CNF φ has exactly k satisfying assignments} is in IP
- L is coNP-hard, so coNP IP
- Question remains:
- NP, coNP IP. Potentially larger. How much larger?

Theorem: (Shamir) IP = PSPACE

- Note: IP PSPACE
- enumerate all possible interactions, explicitly calculate acceptance probability

- need to prove PSPACE IP
- use same type of protocol as for coNP
- some modifications needed

- protocol for QSAT
- arithmetization step produces arithmetic expression pφ:
- (9xi)φ Σxi = 0, 1 pφ
- (8xi) φ ∏xi = 0, 1 pφ

- start with QSAT formula in special form (“simple”)
- no occurrence of xi separated by more than one “8” from point of quantification

- arithmetization step produces arithmetic expression pφ:

- quantified Boolean expression φ is true if and only if pφ> 0
- Problem: ∏’s may cause pφ> 22|φ|
- Solution: evaluate mod 2n q 23n
- prover sends “good” q in first round
- “good” q is one for which pφmod q> 0

- Claim: good q exists
- # primes in range is at least 2n

input: φ

Prover

Verifier

k, q, p1(x)

p1(0)+p1(1) = k? or p1(0)p1(1) = k?

pick random z1 in Fq

p1(x): remove outer Σ or ∏ from pφ

z1

p2(x): remove outer Σ or ∏ from pφ[x1z1]

p2(x)

p2(0)+p2(1)=p1(z1)? or p2(0)p2(1) = p1(z1)?

pick random z2 in Fq

z2

p3(x): remove outer Σ or ∏ from pφ[x1z1, x2z2]

p3(x)

. .

pn(0)+pn(1)=pn-1(zn-1)? or

pn(0)pn(1) = pn-1(zn-1)?

pick random zn in Fq

pn(zn) = pφ[x1z1,…, xnzn]

pn(x)

- Completeness:
- if φ QSAT then honest prover on previous slide will always cause verifier to accept

- Soundness:
- let pi(x) be the correct polynomials
- let pi*(x) be the polynomials sent by (cheating) prover
- φ QSAT0 = p1(0) +/x p1(1) ≠ k
- either p1*(0) +/x p1*(1) ≠ k (and V rejects)
- or p1* ≠ p1 Prz1[p1*(z1) = p1(z1)] 2|φ|/2n
- assume (pi+1(0) +/x pi+1(1)=)pi(zi) ≠ pi*(zi)
- either pi+1*(0) +/x pi+1*(1) ≠ pi*(zi) (and V rejects)
- or pi+1* ≠ pi+1 Przi+1[pi+1*(zi+1) = pi+1(zi+1)] 2|φ|/2n

φ is “simple”

- Soundness (continued):
- if verifier does not reject, there must be some i for which:
pi* ≠ pi and yet pi*(zi) = pi(zi)

- for each i, probability is 2|φ|/2n
- union bound: probability that there exists an i for which the bad event occurs is
- 2n|φ|/2n poly(n)/2n << 1/3

- if verifier does not reject, there must be some i for which:
- Conclude: QSAT is in IP

- Papadimitriou – pp. 475-480
φ =8x9y(xy)8z((xz)(yz))9w(z(yw))

pφ = ∏x=0,1Σy=0,1[(x + y) * ∏z=0,1[(xz + y(1-z)) + Σw=0,1(z + y(1-w))]]

(pφ= 96 but V doesn’t know that yet !)

pφ = ∏x=0,1Σy=0,1[(x + y) * ∏z=0,1[(xz + y(1-z)) + Σw=0,1(z + y(1-w))]]

Round 1: (prover claims pφ > 0)

- prover sends q = 13; claims pφ = 96 mod 13 = 5; sends k = 5
- prover removes outermost “∏”; sends
p1(x) = 2x2 + 8x + 6

- verifier checks:
p1(0)p1(1) = (6)(16) = 96 5 (mod 13)

- verifier picks randomly: z1 = 9

φ =8x9y(xy)8z((xz)(yz))9w(z(yw))

pφ = ∏x=0,1Σy=0,1[(x + y) * ∏z=0,1[(xz + y(1-z)) + Σw=0,1(z + y(1-w))]]

pφ[x9] = Σy=0,1[(9 + y) * ∏z=0,1[(9z + y(1-z)) + Σw=0,1(z + y(1-w))]]

p1(9)= Σy=0,1[(9 + y) * ∏z=0,1[(9z + y(1-z)) + Σw=0,1(z + y(1-w))]]

Round 2: (prover claims this = 6)

- prover removes outermost “Σ”; sends
p2(y) = 2y3 + y2 + 3y

- verifier checks:
p2(0) + p2(1) = 0 + 6 = 6 6 (mod 13)

- verifier picks randomly: z2 = 3

φ =8x9y(xy)8z((xz)(yz))9w(z(yw))

pφ = ∏x=0,1Σy=0,1[(x + y) * ∏z=0,1[(xz + y(1-z)) + Σw=0,1(z + y(1-w))]]

pφ[x9, y3] = [(9 + 3) * ∏z=0,1[(9z + 3(1-z)) + Σw=0,1(z + 3(1-w))]]

p2(3) = [(9 + 3) * ∏z=0,1[(9z + 3(1-z)) + Σw=0,1(z + 3(1-w))]]

Round 3: (prover claims this = 7)

- everyone agrees expression = 12*(…)
- prover removes outermost “∏”; sends
p3(z) = 8z + 6

- verifier checks:
p3(0) * p3(1) = (6)(14) = 84; 12*84 7 (mod 13)

- verifier picks randomly: z3 = 7

φ =8x9y(xy)8z((xz)(yz))9w(z(yw))

pφ = ∏x=0,1Σy=0,1[(x + y) * ∏z=0,1[(xz + y(1-z)) + Σw=0,1(z + y(1-w))]]

pφ[x9, y3, z7] = 12 * [(9*7 + 3(1-7)) + Σw=0,1(7 + 3(1-w))]

12*p3(7) = 12 * [(9*7 + 3(1-7)) + Σw=0,1(7 + 3(1-w))]

Round 4: (prover claims = 12*10)

- everyone agrees expression = 12*[6+(…)]
- prover removes outermost “Σ”; sends
p4(w) = 10w + 10

- verifier checks:
p4(0)+p4(1) = 10 + 20 = 30; 12*[6+30] 12*10 (mod 13)

- verifier picks randomly: z4 = 2
- Final check:
12*[(9*7+3(1-7))+(7+3(1-2))] = 12*[6+p4(2)] = 12*[6+30]

- IP permits verifier to keep coin-flips private
- necessary feature?
- GNI protocol breaks without it

- Arthur-Merlin game: interactive protocol in which coin-flips are public
- Arthur (verifier) may as well just send results of coin-flips and ask Merlin (prover) to perform any computation Arthur would have done

- Clearly Arthur-Merlin IP
- “private coins are at least as powerful as public coins”

- Proof that IP = PSPACE actually shows
PSPACE Arthur-Merlin IP PSPACE

- “public coins are at least as powerful as private coins” !

- Delimiting # of rounds:
- AM[k] = Arthur-Merlin game with k rounds, Arthur (verifier) goes first
- MA[k] = Arthur-Merlin game with k rounds, Merlin (prover) goes first
Theorem: AM[k] (MA[k]) equals AM[k] (MA[k]) with perfect completeness.

- i.e., x L implies accept with probability 1
- proof on problem set

Theorem: for all constantk 2

AM[k] = AM[2].

- Proof:
- we show MA[2] AM[2]
- implies can move all of Arthur’s messages to beginning of interaction:
AMAMAM…AM =AAMMAM…AM

… = AAA…AMMM…M

- Proof (continued):
- given L MA[2]
x L 9m Prr[(x, m, r) R] = 1

- Prr[ 9m (x, m, r) R] = 1
x L8m Prr[(x, m, r) R] ε

- Prr[ 9m (x, m, r) R] 2|m|ε
- by repeating t times with independent random strings r, can make error ε < 2-t
- set t = m+1 to get 2|m|ε < ½.

- given L MA[2]

order reversed

- Two important classes:
- MA = MA[2]
- AM = AM[2]

- definitions without reference to interaction:
- L MA iff 9poly-time language R
x L 9 m Prr[(x, m, r) R] = 1

x L 8 m Prr[(x, m, r) R] ½

- L AM iff 9 poly-time language R
x L Prr[ 9 m (x, m, r) R] = 1

x L Prr[ 9 m (x, m, r) R] ½

- L MA iff 9poly-time language R

L AM iff9 poly-time language R

x L Prr[ 9 m (x, m, r) R] = 1

x L Prr[ 9 m (x, m, r) R] ½

- Relation to other complexity classes:
- both contain NP (can elect to not use randomness)
- both contained in ∏2.L ∏2iff 9R P for which:
x L Prr[ 9 m (x, m, r) R] = 1

x L Prr[ 9 m (x, m, r) R] < 1

- so clear that AM ∏2
- know that MA AM

Π2

Σ2

AM

coAM

MA

coMA

NP

coNP

P

Theorem: coNP AM PH = AM.

- Proof:
- suffices to show Σ2 AM (and use AM Π2)
- L Σ2 iff 9poly-time language R
x L 9 y 8 z (x, y, z) R

x L 8 y 9 z (x, y, z) R

- Merlin sends y
- 1 AM exchange decides coNP query: 8z (x, y, z)R ?
- 3 rounds; in AM

- We know Arthur-Merlin = IP.
- “public coins = private coins”
Theorem (GS): IP[k] AM[O(k)]

- stronger result
- implies for all constantk 2,
IP[k] = AM[O(k)] = AM[2]

- “public coins = private coins”
- So, GNI IP[2] = AM

- The payoff:
- not known if GI is NP-complete.
- previous Theorems:
if GI is NP-complete then PH = AM

- unlikely!
- Proof: GI NP-complete GNI coNP-complete coNP AM PH = AM

AM

- L MA iff 9poly-time language R
x L 9 m Prr[(x, m, r) R] = 1

x L 8 m Prr[(x, m, r) R] ½

- Recall PRGs:
- for all circuits C of size at most s:
|Pry[C(y) = 1] – Prz[C(G(z)) = 1]| ≤ ε

- for all circuits C of size at most s:

MA

NP

G

seed

output string

t bits

u bits

- L MA iff 9poly-time language R
x L 9 m Prr[(x, m, r) R] = 1

x L 8 m Prr[(x, m, r) R] ½

- produce poly-size circuit C such that
C(x, m, r) = 1 , (x,m,r) 2 R

- for each x, m can hardwire to get Cx,m
9 m Pry[Cx,m(y) = 1] = 1 (“yes”)

8 m Pry[Cx,m(y) = 1] ≤ 1/2 (“no”)

poly(n)

- can compute Prz[Cx,m(G(z)) = 1] exactly
- evaluate Cx(G(z)) on every seed z {0,1}t
- running time (O(|Cx,m|)+(time for G))2t
x L 9 m [Prz[Cx,m(G(z)) = 1] = 1]

x L 8 m [Prz[Cx,m(G(z)) = 1] ½ + ²]

- L 2 NP if PRG with t = O(log n), ² < 1/4
Theorem:E requires exponential size circuits MA = NP.

poly-time

(under a hardness assumption)

Π2

Σ2

AM

coAM

MA

coMA

NP

coNP

P

(under a hardness assumption)

Π2

Σ2

AM

coAM

NP

= coMA

MA =

coNP

P

What about AM, coAM?