\documentclass[12pt]{ib102}
\usepackage[czech]{babel}

\setassignment{11}
\setexercise{2}
\setduedate{21}{12}{2015}
\setpoints{2}

\newcommand{\problem}[1]{\ensuremath{\mathrm{#1}}}
\newcommand{\class}[1]{\ensuremath{\mathsf{#1}}}

%%% ZDE NAPISTE SVOJE UCO, JMENO A SKUPINU
\setstudent{}
\setgroup{}
\setuco{}


\begin{document}
\begin{zadani}
Nechť $L$ a $R$ jsou libovolné jazyky nad libovolnou abecedou $\Sigma$.
O následujících tvrzeních rozhodněte, zda jsou pravdivá, a svá rozhodnutí zdůvodněte:
\begin{enumerate}[a)]
    \item $\class{NTIME}(4n+10^{10}) \subseteq \class{SPACE}(n^2)$
    \item $L \le_{p} \problem{SAT} \implies L \in \class{NPSPACE}$
    \item $L \notin \class{NP} \implies L \in \class{coNP}$
    \item $L \in \class{P}, R \in \class{NP} \implies L \cup R \in \class{PSPACE}$
\end{enumerate}

\end{zadani}


\begin{reseni}
%%% SEM PISTE SVE RESENI
\end{reseni}

\end{document}
