Controesempio di algoritmi a flusso massimo con pesi irrazionali?


9

È noto che Ford-Fulkerson o Edmonds-Karp con l'euristica pipa grassa (due algoritmi per il flusso massimo) non devono arrestarsi se alcuni dei pesi sono irrazionali. In effetti, possono persino convergere sul valore sbagliato ! Tuttavia, tutti gli esempi che ho trovato in letteratura [riferimenti sotto, più riferimenti ivi] usano solo un singolo valore irrazionale: il rapporto aureo coniugato e altri valori che sono o razionali o multipli razionali diϕ. La mia domanda principale è:ϕ=(51)/2ϕ

Domanda generale: cosa succede con altri valori irrazionali?

Ad esempio (ma non sentirti come se dovessi rispondere a tutti questi post per pubblicare: troverei interessante una risposta a qualcuno, o ad altre domande che rientrano nella domanda generale sopra):

  1. Dato qualche , si può costruire (o addirittura mostrare l'esistenza di) tali controesempi?αR

  2. Più debolmente: sono noti esempi che usano un valore irrazionale sostanzialmente diverso da ? Cioè, c'è qualche α che non è un multiplo razionale di ϕ (o più fortemente non in Q ( ϕ ) ) e tale che vi sono controesempi a Ford-Fulkerson e / o Edmonds-Karp in cui si trovano tutti i pesi Q ( α ) ?ϕαϕQ(ϕ)Q(α)

  3. Nell'altra direzione, esiste una irrazionale tale che Ford-Fulkerson (resp., Edmonds-Karp) si ferma con il valore corretto su tutti i grafici i cui pesi sono tutti da Q{ q α : q Q } ? (O più fortemente, da Q ( α ) ?)αQ{qα:qQ}Q(α)

In tutti i casi, voglio assumere qualcosa di simile al modello RAM reale, in modo che l'aritmetica esatta e il confronto esatto dei numeri reali vengano effettuati in tempo costante.

(Esistono altri algoritmi a flusso massimo che sono noti per funzionare in tempi fortemente polinomiali, anche con pesi reali arbitrari, motivo per cui questo tipo di domanda potrebbe non essere stato ulteriormente esplorato. Ma avendo appena insegnato questi algoritmi nella mia classe di algoritmi di laurea , Sono ancora curioso di questo.)

Riferimenti

Risposte:


12

r

  • n=6m=8
  • in cui sette archi hanno una capacità intera,
  • r
  • e su cui Ford-Fulkerson potrebbe non riuscire a terminare.

Questo è stato dimostrato nel documento

Toshihiko Takahashi:
"La rete più semplice e più piccola su cui la procedura di flusso massimo Ford-Fulkerson potrebbe non riuscire a terminare"
Journal of Information Processing 24, pp 390-394, 2016.
Link: https: //www.jstage.jst.go. jp / articolo / ipsjjip / 24/2 / 24_390 / _article


-1

Grazie per la domanda che ho trovato non molto naturale ma comunque divertente.

Ho esaminato la parte Ford-Ferkulson e penso di aver trovato un grafico che è un contro-esempio e ha solo un bordo con capacità irrazionale α (il grafico può funzionare per qualsiasi α).

Ecco un PDF che riassume il mio tentativo: https://louis.jachiet.com/tmp/jQwbrkSMLNU_draft.pdf (scusate se per il momento è un po 'laconico, ma non esitate a fare domande)

Ovviamente la Ford-Felkurson ci consente di scegliere il percorso di ampliamento come desideriamo ... Non sono sicuro che questo sarebbe possibile per Edmond-Karp.

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.