Qual è il grafico del costo minimo all'interno di un componente strongmente connesso, che collega ogni vertice?

1

Quindi per MST ci sono 2 possibili definizioni in un grafo non orientato. Tenere presente che in un grafico non orientato l'algoritmo MST ha sempre n - 1 spigoli e nessun ciclo. In un grafico non orientato, non importa quale definizione si utilizza, poiché entrambi sono corretti, tuttavia all'interno di un grafico diretto non è più il caso. Definizioni:

  1. Scegliendo un vertice di radice u in un grafico, l'MST è l'albero di costo più piccolo che collega ogni altro vertice da te.
  2. Dato un grafico, il sottografo a costo minimo che connette tutti i nodi è chiamato MST. (In un grafico non orientato deve essere un albero)

In un grafico diretto la prima definizione per un grafico diretto è l'arborescenza. Tuttavia l'arborescenza è diversa con ogni vertice scelto (questo non è il caso in un grafo non orientato), risultando in più possibili variazioni MST dirette. Nella sezione links ho un video che spiega la def. di un'arborescenza.

La seconda definizione richiede che il grafo diretto sia una grande componente strongmente connessa. Quindi ora è possibile passare da qualsiasi vertice u a qualsiasi altro vertice v, c'è solo 1 MST in un grafico diretto. Tuttavia ora non stiamo più parlando di alberi, quindi il MST deve includere cicli. Nella sezione dei collegamenti ho incluso un grafico come esempio per la seconda definizione. In questa immagine ci sono più di 1 possibili grafici minimi, uno per uno dei bordi rossi rimossi, per esempio.

La mia domanda è, qual è la seconda definizione chiamata in un grafico diretto? (Ha un nome speciale come l'arborescenza) e, in caso affermativo, non è la variante diretta di MST? Esiste un algoritmo per calcolare il grafico minimo all'interno di un componente strongmente connesso?

Definizione di arborescenza su Wikipedia

Video rapido che spiega cos'è un'arborescenza

Ho creato un esempio di grafico di cosa intendo con la seconda definizione:

    
posta user2035546 02.01.2015 - 18:14
fonte

1 risposta

0

Bene, il problema si chiama MSSS ed è NP-Complete, Ho sottolineato la seguente discussione StackOverflow, che parla di questo problema: link

Tuttavia mi piace ancora la discussione su quale di questi problemi: MSSS vs Arborescence può essere considerato l'inverso di MST.

Quindi per rispondere alla mia domanda ho elencato alcuni punti per ciascuno di essi (per favore, se necessario, se necessario).

  1. MST è un albero, solo l'Arborescenza restituisce un albero. (+1 Arborescence)
  2. MSSS ha solo una risposta corretta, come fa il MST, non ha bisogno di punti centrali. (+1 MSSS)

Conclusione: nessuno di questi, MSSS o Arborescence può essere chiamato la versione diretta di MST, senza parlare dell'altro problema.

    
risposta data 02.01.2015 - 22:49
fonte

Leggi altre domande sui tag