diff --git a/Berechenbarkeits-KomplexTh/Berechenbarkeits-KomplexTh.tex b/Berechenbarkeits-KomplexTh/Berechenbarkeits-KomplexTh.tex index 661b9d5..a1dddb9 100644 --- a/Berechenbarkeits-KomplexTh/Berechenbarkeits-KomplexTh.tex +++ b/Berechenbarkeits-KomplexTh/Berechenbarkeits-KomplexTh.tex @@ -663,4 +663,15 @@ \( 2^{n_1} = 1000 * 2^{n_0} = 2^{n_0 + \log 1000} \)\\ \( \Rightarrow n_1 = n_0 + \underbrace{\log 1000}_{\le 10} \) \end{enumerate} + + Nichtdeterministischer Algorithmus\\ + für hamilton Kreis: + + Eingabe $G$ mit n Knoten\\ + \begin{itemize} + \item Permutation \( \rho \) + \item Prüfe, ob \( \rho \) einen hamilton Kreis beschreibt\\ + falls ja, akzeptiere, sonst verwerfe + \end{itemize} + \end{document}