MO417 - Questão para a prova oral

Número: 085

Enunciado:
Qual seria um invariante válido para o Algoritmo de Dijkstra para caminhos mínimos num grafo?
- Q representa a fila de prioridades.
- V representa o conjunto de vértices do grafo.
- S representa o conjunto de vértices do grafo cujo caminho mais curto já foi determinado.

1. Q = V
2. Q = S
3. Q = V - S
4. Q = V + S
5. NDA

Autor: Anderson Francisco Talon