• Keine Ergebnisse gefunden

Peter Chini Delivery until at 12h Exercise 1.1 (COPY can be decided in quadratic time) Let Σ ={a, b

N/A
N/A
Protected

Academic year: 2021

Aktie "Peter Chini Delivery until at 12h Exercise 1.1 (COPY can be decided in quadratic time) Let Σ ={a, b"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

WS 2015/2016 28.10.2015 Exercises to the lecture

Complexity Theory Sheet 1 Prof. Dr. Roland Meyer

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

Exercise 1.1 (COPY can be decided in quadratic time)

Let Σ ={a, b,#} be an alphabet. Recall the definition of the language COPY from the lecture:

COPY ={w.#.w

w∈ {a, b}}.

Show that COPY is inDTIME(n2).

Hint: Construct a deterministic Turing Machine that decides COPY in quadratic time.

Exercise 1.2 (Crossing sequences of Turing Machines)

LetM be a Turing Machine and x=x1.x2,y=y1.y2 words over an alphabet Σ so that CS(x,|x1|) =CS(y,|y1|).

Prove that x1.x2 ∈L(M) if and only if x1.y2∈L(M).

Exercise 1.3 (Θ, Ω andO-Notation)

Letg:N→Nbe a function. Recall the following definitions from the exercise class:

Θ(g(n)) =

f :N→N

there exist c1, c2 >0 and n0∈Nsuch that 0≤c1g(n)≤f(n)≤c2g(n) for all n≥n0

,

O(g(n)) =

f :N→N

there exist c >0 and n0∈Nsuch that 0≤f(n)≤cg(n) for alln≥n0

,

Ω(g(n)) =

f :N→N

there exist c >0 andn0 ∈Nsuch that 0≤cg(n)≤f(n) for alln≥n0

.

Show that the following equality of sets holds:

Θ(g(n)) =O(g(n))∩Ω(g(n)).

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

Referenzen

ÄHNLICHE DOKUMENTE

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 29.11.2016 at 10h into the box next to room 343 in the Institute for Theoretical Computer Science,

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

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

Assume we have a polynomial size circuit family (C n ) n∈ N that decides SAT. , x k ) encoded into input variables. Note: the whole formula is the input of

Roland Meyer, Viktor Vafeiadis Delivery until 29.04.2014 at 12h Exercise 1.1 (Data Structures in Separation Logic).. Characterize data structures in