• Keine Ergebnisse gefunden

(a) p(n) =o(nlogn) for any polynomialp

N/A
N/A
Protected

Academic year: 2021

Aktie "(a) p(n) =o(nlogn) for any polynomialp"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Lehr- und Forschungsgebiet

Mathematische Grundlagen der Informatik RWTH Aachen

Prof. Dr. E. Grädel, D. Fischer, T. Ganzow, B. Puchala

WS 09/10

Complexity Theory and Quantum Computing — Assignment 1 Due: Monday, November 02, 12:00

Exercise 1

Prove the following facts.

(a) p(n) =o(nlogn) for any polynomialp.

(b) n(logn)k =o(2n) for any natural number k.

(c) Iff ∼g and h=o(g), thenf +h∼g.

(d) Iff = Θ(g) andh=o(g), then f+h= Θ(g).

Exercise 2

A constant challenge within algorithmics is the traveling salesman problem (TSP): Given a graph with nvertices (cities) with distances dij N fori, j∈ {1, . . . , n}, we want to construct a shortest tour. Where a tour is a path which contains all cities. The corresponding decision problem TSP(D) asks, given a graph and a natural numberk, whether there is a tour of length at mostk. For none of these problems a polynomial time algorithm is known.

Prove that the existence of a polynomial time algorithm for the decision problem TSP(D) implies that constructing an optimal tour can be done in polynomial time as well.

Hint: First, use the given algorithm for TSP(D) to determine the length of an optimal tour in polynomial time. Then, for each edge, test whether there is an optimal tour that does not use this edge.

Exercise 3

A 2D-Turing-machine uses a two-dimensional infinite work memory N×N instead of just a single linear tape. On that memory, the reading and writing head can be moved left, right, up and down.

(a) Give a formal definition for this machine model and the corresponding notion of computa- tion.

(b) Give a rough proof for the following fact. A decision problem can be solved by a 2D- Turing-machine in polynomial time if and only if, the problem can be solved by a usual Turing-machine with a bounded number of tapes in polynomial time.

http://www.logic.rwth-aachen.de/Teaching/KTQC-WS09/

Referenzen

ÄHNLICHE DOKUMENTE

In the aftermath of any agreement, the United States (and the international community) must also maintain the will and capability to take effec- tive action, including the use

Show that separability implies that subsets are actually sets..

In the following we write (st) or just st instead of (s-t), and we adopt the convention of association to the left, i.e., s\s 2 .. Finally, we often use infix notation for * and

WS 2007/08 21.11.07 Probability

[r]

Now our Turing machine can either accept by going to a universal state with no successors or by going to q accept.. It can reject by going to an existential state with no successors

The proposed incremental algorithm for regular grammar inference, IID, is guaranteed to converge to an unknown target grammar and has polynomial time and space complexities..

And if you are spread think around the world, and I believe that whether it’s 280 ships and if you just look at the numbers, we’re not building enough ships each year to sustain