\documentclass[paper=a4,fontsize=11pt]{scrartcl}
\usepackage[czech]{babel}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}

% vim: fo+=t tw=80 spell spelllang=cs
% gen: ready
\begin{document}
\hbox{Erich Černaj}
\hbox{456600}

\section*{Zadanie}
Uvažte následující rozhodovací problém. Vstupem je formule v konjuktivně normální
formě (CNF) taková, že každá klazule obsahuje právě tři literály. Vstup je přijímán,
pokud existuje pravdivostní ohodnocení takové, že každá klauzule má právě jeden
nebo dva pravdivé literály. Dokažte, že tento problém je NP-úplný.

\section*{Riešenie}


\end{document}