• Keine Ergebnisse gefunden

Peter Chini Delivery until at 12h Exercise 2.1 (The languageCOPYk in space and time) Let Σ ={a, b

N/A
N/A
Protected

Academic year: 2021

Aktie "Peter Chini Delivery until at 12h Exercise 2.1 (The languageCOPYk in space and time) Let Σ ={a, b"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

WS 2015/2016 04.11.2015 Exercises to the lecture

Complexity Theory Sheet 2 Prof. Dr. Roland Meyer

M.Sc. Peter Chini Delivery until 11.11.2015 at 12h

Exercise 2.1 (The languageCOPYk in space and time)

Let Σ ={a, b,#} be an alphabet. We define the languageCOPYk as follows:

COPYk={w.#.w.#. . .#.w.#.w

w∈ {a, b}, # occurs k times}.

Note that the languageCOPY from the last exercise sheet is just COPY1. Show the following:

a) COPYk∈DTIMESPACE(O(n),O(n)).

b) COPY ∈DSPACE(O(log n)).

Recall the definition of DTIMESPACE and note that there is an additional input tape.

Exercise 2.2 (Complement classes)

LetC ⊆P({0,1}) be a complexity class. The complement class of C is defined as:

co-C={L⊆ {0,1}

L¯ ∈C}.

a) Prove that ifC is deterministic, we have:C = co-C.

b) Let I be an index set and Ci, i ∈ I complexity classes. Show that the following equality holds:

co-[

i∈I

Ci =[

i∈I

co-Ci.

c) Deduce from the previous results thatP = co-P. Exercise 2.3 (Tape compression)

Show that for all 0< ε≤1 and alls:N→N, we have:

DSPACE(s(n))⊆DSPACE(dε·s(n)e).

Hint: Choose cto be 1

ε

. Then simulate a1-tape Turing Machine M by a 1-tape Turing MachineM0 with tape alphabetΓc. Encode a block ofc cells ofM into one cell ofM0. Note that you have to remember the position ofM’s head inside such a block. How much space does M0 use ?

Delivery until 11.11.2015 at 12h into the box next to 34-401.4

Referenzen

ÄHNLICHE DOKUMENTE

We use the polynomial approach to describe the solutions to the following

Phrased differently, a forest is a disjoint union of trees.. Determine the treewidth of

Roland

Note that you have to remember the position of M ’s head inside such

Delivery until 22.11.2016 at 10h into the box next to room 343 in the Institute for Theoretical Computer Science,

Delivery until 29.11.2016 at 10h into the box next to room 343 in the Institute for Theoretical Computer Science,

Roland

Show the following statements, using the hierarchy and transfer results from the lecture:. a) P ( EXP, b) NL