|
|
|
@ -663,4 +663,15 @@
|
|
|
|
\( 2^{n_1} = 1000 * 2^{n_0} = 2^{n_0 + \log 1000} \)\\
|
|
|
|
\( 2^{n_1} = 1000 * 2^{n_0} = 2^{n_0 + \log 1000} \)\\
|
|
|
|
\( \Rightarrow n_1 = n_0 + \underbrace{\log 1000}_{\le 10} \)
|
|
|
|
\( \Rightarrow n_1 = n_0 + \underbrace{\log 1000}_{\le 10} \)
|
|
|
|
\end{enumerate}
|
|
|
|
\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}
|
|
|
|
\end{document}
|
|
|
|
|
