Fix U05A1a

bitkeks · Jul 22, 2017 · 4b06c28 · 4b06c28
1 parent 9766777
commit 4b06c28
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/includes/ueb/05.tex b/includes/ueb/05.tex
@@ -12,7 +12,7 @@ \subsubsection*{Aufgabe 1}
 
     \LOES
     \begin{enumerate}
-        \item Richtig. Derzeitiger Kenntnissstand: $P \subseteq \NP$, d.h. $P \cap \NP = P \neq \emptyset$.{}
+        \item Falsch. Es gilt $P \cap \NP = P \neq \emptyset$.
         \item Richtig. Jedes NP-Problem ist bspw. in polynomieller Zeit auf das Halteproblem $\phalt$ reduzierbar, aber $\phalt$ ist nicht in NP (da unentscheidbar).
         \item Falsch. Reduktion ist transitiv, die Komposition von polynomiell-zeitberechenbaren Funktionen ist wieder polynomiell-zeitberechenbar. Formell: $C \leq_{p} B \leq_{p} A \Rightarrow C \leq_{p} A$.
         \item Richtig. Ein Entscheidungsverfahren für $L_{1}$, welches in polynomieller Zeit läuft, reduziert zuerst die Eingabe $w$ auf eine Instanz $f(w)$ für $L_{2}$ und prüft dann, ob $f(w) \in L_{2}$.

diff --git a/til-vl-ss2017-notizen.pdf b/til-vl-ss2017-notizen.pdf