• Keine Ergebnisse gefunden

Advanced Complexity Theorie SS 2011, Exercise Sheet #1

N/A
N/A
Protected

Academic year: 2022

Aktie "Advanced Complexity Theorie SS 2011, Exercise Sheet #1"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Martin Ziegler Issued on 2011-04-14 To be submitted on 2011-04-20 by noon in S2/15-206

Advanced Complexity Theorie SS 2011, Exercise Sheet #1

EXERCISE 1:

Let L :=

~x 0|~x|~x :~x∈Σ .

a) Describe a 1-tape Turing machine deciding L in timeO(n2).

b) Describe a 2-tape Turing machine deciding L in timeO(n).

EXERCISE 2:

a) Describe a sequence~xnof binary strings of length|~xn|=n with K(~xn)≤O(log|~xn|).

How about~x with K(~x)≤O(log log|~x|)?

b) Prove that, asymptotically, ‘almost every’ binary string of length n has Kolmogorov Comple- xity at least n/2. Determine the complexity of a random binary string of length n as n→∞.

c) It is not known whether transcendental numberπisnormal(with respect to base 2, say).

Let~xn= (1,1,0,0,1,0,0,1,0,0,0,0,1,1,1,1,1,1,0,1,1,0,1,0, . . .)∈ {0,1}n denote the se- quence of the first n binary digits ofπ. Estimate the Kolmogorov Complexity of~xn

i) in caseπis normal, and ii) in case it is not.

d) Let r∈[0,1)denote an arbitrary real number and~xnthe sequence of the first n binary digits of r and~ynthe sequence of the first n decimal digits of r, each separately encoded in binary.

Compare the Kolmogorov Complexity of~xnwith that of~yn up to an additive constant inde- pendent of n.

Would you prefer this lecture and/or exercises to be moved to a different date?

Please indicate your preferences atdoodle.de/68qe9ygftr7av66t

Referenzen

ÄHNLICHE DOKUMENTE

Because of the holiday on Monday, you can bring your submissions to the exercise class

Adapting Parikh’s proof, show that reachability in counter machines with one unrestricted counter and n r-reversal bounded counters

The idea is to accept a run if the set of states that occur infinitely often matches one of the Q i

b) Büchi’s theorem (I) can be adapted to show that every NBA-definable language is S1S- definable. Illustrate the main ingredients needed to adapt Büchi’s proof.. c) Büchi’s

Let | = fin be the satisfaction relation between finite words and LTL[ , U , < , S] formulas, de- fined exactly as the | = relation but only considering positions of the word

Use the construction presented in class to decorate the tree with a strategy for player P.. Exercise 4: Complementation of

Applied Automata Theory (WS 2014/2015) Technische Universit¨ at Kaiserslautern.. Exercise

This assignment is due by Friday the 5th of May by 11:45. Please, hand in your solutions in postbox 15 near F411.. 1) a) Prove the following characterization of basis of a