• Keine Ergebnisse gefunden

It is known that the problem 3-colourability isNP-complete

N/A
N/A
Protected

Academic year: 2021

Aktie "It is known that the problem 3-colourability isNP-complete"

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 5 Due: Monday, November 30, 12:00

Exercise 1

(a) Let agen be the variant of the problem gen from Assignment 4, Exercise 1, where the function is associative. Prove thatagen is inNLogspace.

(b) An undirected graph G = (V, E) is called k-colourable for a natural number k if there is a function f : V → {1, . . . , k} such that f(u) 6= f(v) for all (u, v) E. The problem k-colourability asks, given a graph G = (V, E), whether G is k-colourable. It is known that the problem 3-colourability isNP-complete. Determine the complexity of the problem 2-colourability.

Exercise 2

A homomorphism from a graphG= (VG, EG) to a graph H= (VH, EH) is a functionf :VG VH such that for all (u, v) EG we also have (f(u), f(v)) EH. The graph homomorphism problem asks, given two undirected graphs G and H, whether there is a homomorphism from GtoH.

(a) Prove that the graph homomorphism problem isNP-complete.

(b) Analyse the complexity of the graph homomorphism problem in the case whereG is fixed and in the case whereH is fixed.

Hint: Consider graph colourability.

Exercise 3

The game Geography is played by two players on a directed graph G= (V, E) with a distin- guished starting position u. The first player starts at position u. Then, the players move to a successor position w vE of the last position v in alternation. They are only permitted to choose positions that have not been visited before. If a player has no legal move, he loses.

geographyis the problem to decide, for a given graphGand a positionu, whether player 0 has a winning strategy for Geography onG fromu. Prove thatgeographyis Pspace-complete.

Hint: Use a reduction ofqbf togeography.

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

Referenzen

ÄHNLICHE DOKUMENTE

Vielleicht muss man nicht stundenlang die Picassos und die Van Goghs dieser Welt anstieren oder wochen- lang Musil und Proust lesen, um sein Selbstverständnis zu erweitern

Hint: Assume that this is false and bound the number of remaining edges from below. 3 The bounds derived here are stronger than those in the lecture, but more unwieldy. For

Das Zweite ist, dass mir im Umgang mit den Schülern im Laufe meiner 20-jährigen Berufstätigkeit doch be- wusster wird, dass beispielsweise die Anzahl der Schüler, die auch

uted to the concept of protocol: the oldest and most familiar aspect of meaning is the verbatim note taking of a negotiation or court hearing, usually of a political or

The idea behind the algorithm FastCut(G) is to include the repetitions into the algo- rithm instead of simply repeating Karger’s Contract(G) algorithm as a whole.. This makes

Indivisible (single) particles à no coincidences (Elementary) Particles explain:. •  No inner

Moreover, we characterize the victory domains by means of geometrical condi- tions (it is the discriminating kernel of a closed set).. This characterization is used

We shall prove bellow that, in some cases, there is no satisfying definition of the game for Carath6odory strategies: Either the game does not satisfy the alternative