• Keine Ergebnisse gefunden

Ubungsblatt 10 ¨

N/A
N/A
Protected

Academic year: 2021

Aktie "Ubungsblatt 10 ¨"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Universit¨at Siegen

Lehrstuhl Theoretische Informatik Markus Lohrey

Strukturelle Komplexit¨atstheorie WS 2018/19

Ubungsblatt 10 ¨

Aufgabe 1. Zeigen Sie, dass rank(MIP) = 2n (Punkt 2 von Folie 23).

Aufgabe 2. Zeigen Sie, dass D(EQ) =n+ 1 (Folie 29).

Aufgabe 3. Zeigen Sie die Aussage auf Folie 49: Sei I ∈2n mit I 6=∅. F¨ur die H¨alfte allerrn ∈ {0,1}n gilt

X

i∈I

ri

!

mod 2 = 0.

Aufgabe 4. Sei m ∈ N, n = 2m und f : ({0,1}m)2 ×({0,1}m)2 → {0,1}

eine partielle Funktion mit

f((x,x0),(y,y0)) =

(1 if x =y and x0 6=y0, 0 if x 6=y and x0 =y0.

Verwenden Sie Fooling-Sets, um zu zeigen, dass die Kommunikationskom- plexit¨at vonf mindestens Ω(n) ist.

1

Referenzen

ÄHNLICHE DOKUMENTE

Lehrstuhl Theoretische Informatik Markus Lohrey. Model Checking

Lehrstuhl Theoretische Informatik Markus Lohrey. Model Checking

Lehrstuhl Theoretische Informatik Markus Lohrey. Komplexit¨ atstheorie

Lehrstuhl Theoretische Informatik Markus Lohrey. Logik I

Lehrstuhl Theoretische Informatik Markus Lohrey. Algorithmentheorie

Lehrstuhl Theoretische Informatik Markus Lohrey. Algorithmentheorie

Lehrstuhl Theoretische Informatik Markus Lohrey. Algorithmentheorie

Lehrstuhl Theoretische Informatik Markus Lohrey. Model Checking