%\documentclass[dvips,12pt]{amsart}
\documentclass[pdftex,12pt]{amsart}
\usepackage{amsmath}
\usepackage[portuges]{babel}
\usepackage{enumerate}

\usepackage{hyperref}
\input{defport}
\title{TBO: INF02598 \\
	Prova Final}

\author{Raul H.C. Lopes}
\def\mergesort{\emph{Mergesort}}
\def\heapsort{\emph{HeapSort}}


%\setcounter{page}{0}
%\setcounter{section}{0}
%\setcounter{subsection}{0}

\begin{document}

\maketitle

\section{Preliminares}
As seguintes restri\c{c}\~oes valem em rela\c{c}\~ao a esta prova:

\begin{itemize}
	\item Ela \'e estritamente individual.
	\item A prova encerra-se \`as 16 horas.
	\item N\~ao \'e permitida consulta a nenhum tipo de material.
\end{itemize}

\section{As quest\~oes}

\begin{qst}
	Prove a corre\c{c}\~ao de um algoritmo n\~ao recursivo para
	ordena\c{c}\~ao de uma seq\"u\^encia via \heapsort.
\end{qst}

\begin{qst}
	Prove a corre\c{c}\~ao de um algoritmo n\~ao recursivo para
	ordena\c{c}\~ao de uma seq\"u\^encia via \mergesort. 
\end{qst}

\begin{qst}
	Prove a corre\c{c}\~ao de um operador para exclus\~ao do m\'{\i}nimo de 
	uma fila de prioridades binomial.
\end{qst}

\section{the wall}

\begin{center}
	\begin{verse}
	Cold as a razor blade,\\
	Tight as a tourniquet,\\
	Dry as a funeral drum.
	\end{verse}
\end{center}
\bibliographystyle{amsplain}
\bibliography{abbrev,general,program,simulation,co,algorithms,compgeo,formal,maths}

\end{document}

