• Keine Ergebnisse gefunden

Exercise 5.2 (Reductions and hardness) Let C be a complexity class so that co-C=C and letR be a set of functions

N/A
N/A
Protected

Academic year: 2021

Aktie "Exercise 5.2 (Reductions and hardness) Let C be a complexity class so that co-C=C and letR be a set of functions"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

WS 2015/2016 25.11.2015 Exercises to the lecture

Complexity Theory Sheet 5 Prof. Dr. Roland Meyer

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

Exercise 5.1 (Reductions)

Let Σ1 and Σ2 denote two alphabets and letR be a set of functions from Σ1 to Σ2. a) Assume that A is a language in Σ1 and that A≤Rm Σ2 holds. Show thatA= Σ1. b) Let|R|= 1 and assume that we have languages A, A0 ⊆Σ1 and B⊆Σ2 so that:

A≤Rm B and A0RmB.

Show that we haveA=A0.

Exercise 5.2 (Reductions and hardness)

Let C be a complexity class so that co-C=C and letR be a set of functions. Assume that the languageA isC-hard with respect to R-many-one reductions. Show that ¯A is also C-hard with respect toR-many-one reductions.

Exercise 5.3 (Completeness in L)

Let Σ be a finite alphabet. Prove the following two statements:

a) A language Aover Σ is in L if and only ifA≤logm {0,1}.

b) Any languageA inL that satisfiesA6=∅ andA6= Σ is alreadyL-complete with respect to logspace-many-one reductions.

Exercise 5.4 (Acyclic reachability)

Show that we can reducePATH to ACYCLICPATH with respect to logspace-many-one reductions. Conclude thatACYCLICPATH is NL-complete.

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

Referenzen

ÄHNLICHE DOKUMENTE

The workshop was co-sponsored by the International Arctic Research Center (University of Alaska Fairbanks), the Arctic Institute of North America (Canada), the MEOPAR Network (Marine

[r]

Add arcs to the Petri net N below so that its family of generating traps contains exponentially (in N ’s size)

[r]

Der gesamte Körper ist bewusst neben das Skelett gestellt, um klar zu machen, dass die Knochen nur ein Teil des Körpers sind, z. ist der Schädel nur der Knochenanteil am Kopf

For instance, the class of connected graphs follows from the sentencce ∀x∀y(¬Exy → ∃z(Exz ∧Eyz)) with asympotic propability 1.. Of course, each such class K itself has

ü  Lower uncertainties for the retrieval of all the five pigments using Gaussian decomposition and of 9 types of pigments using SVD-NNLS were obtained with the

Sequence homologies of a DNA and corresponding Polypeptide sectiorr of the methyl reductase o( genes from Mc.. voltae (MV)