\documentclass[a4paper]{report}
\usepackage{graphics}
\usepackage[applemac]{inputenc}
\setlength{\oddsidemargin}{-.5cm}
\setlength{\textwidth}{17.5cm}
\setlength{\textheight}{25cm}
\setlength{\topmargin}{-1cm}
\pagestyle{myheadings}

\begin{document}

\noindent
Dimostrare che se i costi sono non negativi e se si applica la selezione del nodo di etichetta minima nell'algoritmo SPT, le etichette sono i costi dei cammini sull'albero corrente e non una loro approssimazione per eccesso.
\end{document}
