\documentclass[12pt]{amsart}
\usepackage{listings}
\usepackage[portuges]{babel}
\lstloadlanguages{Pascal,Haskell}
\lstset{frame=tb}
\lstloadlanguages{Haskell,VHDL}
\input{defalgo}
\input{defport}
\input{deflogic}
\input{defseqs}
\input{localdefs}
\input{deftrees}
\title{Ordena\c c\~ao interna de seq\"u\^encias\\ Draft 0}
\author{Raul H.C.Lopes}
\def\pivot{piv\^o}
\begin{document}
\maketitle


\lstset{language=VHDL,keywordstyle=\bfseries,escapechar=\@,
                 singlecomment={\{}{\}},
                 keywords={do,od,if,fi,Seq,Int,cand,initially,Var,Bool,let,tel}}

\section{Introdu\cao}

Estas notas  
introduzem o t\oo pico de ordena\cao\ de \sqn s, um dos fundamentos da
disciplina de \emph{T\ee cnicas de Busca e Ordena\cao} e do curso de 
\emph{Ci\^encia da Computa\cao} como um todo. \'E importante ter ci\^encia de que
elas n\ao\ substituem um bom texto de refer\^encia sobre o assunto.
O texto cl\aa ssico de Knuth, \cite{dek:taocp:iii}, \ee\ a refer\^encia 
fundamental sobre ordena\cao; \cite{sedgewick:algo}  e
\cite{cormen:lrs:algo}
podem
servir como textos auxiliares (mais f\aa ceis de ler, mas menos completos.)
Em adi\cao, \cite{sedgewick:flajolet:analysis} \ee\ introdu\cao\ excelente
e obrigat\oo ria \`a an\aa lise de algoritmos, contendo no cap\ii tulo 
inicial estudo detalhado de \emph{quicksort} e \emph{mergesort.}

%Estas notas s\ao\ mais detalhadas que qualquer dessas refer\^encias no estudo
%da corre\cao\ dos algoritmos em quest\ao, mas, quando comparadas a 
%\cite{dek:taocp:iii}, chegam a ser superficiais\footnote{
%Afinal, n\ao\ \ee\ f\aa cil superar a B\ii blia.}
%em rela\cao\ a estudo de varia\coes\ dos m\ee todos e an\aa lise de caso
%m\ee dio.

\input{complexity.tex}
\input{compsorting.tex}
\input{insertion.tex}
\input{selection.tex}
\input{exchange.tex}
\input{merge.tex}
\input{distribution.tex}

\bibliographystyle{amsplain}
\bibliography{abbrev,general,program,simulation,co,algorithms,compgeo,formal,string,maths}


\end{document}

