This preview shows pages 1–2. Sign up to view the full content.
Ted Kaminski
CSci 5403  Computational Complexity
Homework 2 Problem 4 Solution
Corrected problem statement
Prove that if
NP
⊆
S
c
∈
N
dtime
(
n
c
log
n
) =
dtime
(
n
O
(log
n
)
), then for each
i
there exists a constant
k
such that Σ
i
⊆
dtime
(
n
O
((log
n
)
k
)
). Conclude that under this hypothesis,
PH
⊆
S
k
∈
N
dtime
(
n
(log
n
)
k
) =
dtime
(
n
log
O
(1)
n
).
Proof of the second part
We show that
PH
⊆
S
k
∈
N
dtime
(
n
(log
n
)
k
) =
dtime
(
n
log
O
(1)
n
) under the above hypothesis. Recall the
deﬁnition of
PH
:
PH
=
[
k
∈
N
Σ
k
Our hypothesis is that Σ
i
⊆
dtime
(
n
O
((log
n
)
k
)
), from which we can conclude:
[
k
∈
N
Σ
k
⊆
[
k
∈
N
dtime
(
n
O
((log
n
)
k
)
)
And to be absolutely precise, we can show that
S
k
∈
N
dtime
(
n
O
((log
n
)
k
)
) =
S
k
∈
N
dtime
(
n
(log
n
)
k
) because
dtime
(
n
O
((log
n
)
k
)
)
⊆
dtime
(
n
(log
n
)
k
0
) for some
k
0
> k
. Thus demonstrating that
PH
⊆
[
k
∈
N
dtime
(
n
(log
n
)
k
)
Proof of the ﬁrst part
We show by induction that assuming
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
This is the end of the preview. Sign up
to
access the rest of the document.
 Spring '08
 Sturtivant,C

Click to edit the document details