\documentclass[11pt]{amsart}

%% Escrevendo em português:
\usepackage[brazil]{babel}
\usepackage[latin1]{inputenc}
%----------------------------

\begin{document}
\title{Ordenação Topológica}
\author{Exercício Programa 1}
\maketitle
\thispagestyle{empty}

Escreva um programa chamado \texttt{top\_ord2.w} (ou \texttt{top\_ord2.c})
que, em linhas gerais, faz o seguinte.  O seu programa deve se comportar
basicamente como \texttt{top\_ord} visto em sala.  Entretanto, agora você não
deve assumir que o grafo de entrada será sempre um grafo produzido por
\textit{prod}().  Assim, a verificação de correção de \texttt{top\_ord} não
funciona, e portanto deve ser eliminada.  \textsl{A única coisa que o seu
  programa deve fazer a mais que \texttt{top\_ord} é devolver um passeio
  dirigido fechado caso o grafo de entrada não tenha uma ordenação
  topológica.}  Procure escrever o seu programa de forma que você devolve um
tal passeio que não repete nada além dos vértices inicial e final (que devem
ser iguais, por definição de passeio fechado, e portanto se ``repetem'' em sua
saída).

Entregue este exercício até sexta-feira, dia 20/3, por correio
eletrônico (\texttt{yoshi@ime.usp.br}).  

\end{document}