Prova Scritta di Programmazione Matematica

- prototipo 1 -


PROBLEMA 1:


\begin{figure}%
\begin{center}
\leavevmode
\psfig{figure=flow.eps, height=6 true cm}\par\end{center}\end{figure}

1.
Trovare il flusso massimo da s a t.
2.
Fornire un'argomentazione per l'ottimalità.
3.
Di quali archi posso ridurre la capacità senza ridurre il valore del flusso massimo?

 



PROBLEMA 2:


\begin{displaymath}\begin{array}{l}
\max \mbox{\ }x_1 +x_2\\
\left\{
\begin{...
...{array} \\
x_1, x_2 \geq 0
\end{array} \right.
\end{array}\end{displaymath}

 

PROBLEMA 3:


\begin{displaymath}\begin{array}{l}
\max \mbox{\ }2x_1 +3x_2 +2x_3 + 3x_4\\
\...
...
x_1, x_2, x_3, x_4 \geq 0
\end{array} \right.
\end{array}\end{displaymath}

 



PROBLEMA 4:


\begin{figure}%
\begin{center}
\leavevmode
\psfig{figure=bipSquare.eps, height=5.7 true cm}\par\end{center}\end{figure}

1.
Trovare un accoppiamento perfetto di peso minimo.
2.
Fornire un certificato di ottimalità.
3.
Indicare quali accoppiamenti perfetti siano ottimi.

 



PROBLEMA 5(COINCISIONE, CHIAREZZA E SEMPLICITÀ):

1.
Dare una definizione assiomatica di matroide in base alle proprietà degli insiemi indipendenti.
2.
Dimostrare che le foreste di un grafo formano gli insiemi indipendenti di un matroide.
3.
Dimostrare che l'algoritmo Greedy ritorna sempre l'ottimo se la struttura su cui opera è un matroide.
4.
Dare una definizione assiomatica di matroide utilizzando le proprietà delle basi.
5.
Dimostrare l'equivalenza delle definizioni date.
 



PROBLEMA 6(FACOLTATIVO):

Dare una dimostrazione di $N\!P$-completezza a scelta. La meno triviale è, meglio è.



Giugno 1998 © Dipartimento di Matematica - Università di Trento