Qualche algoritmo veloce per il problema di impostazione dell'arco di feedback di costo minimo?


11

In un grafico diretto, , , se G \ setminus F è un DAG (grafico aciclico diretto), F viene chiamato set di archi di retroazione. G=(V,E)FEGFF

Se a ciascun fronte è associato un peso w , il problema con l'arco di retroazione del costo minimo è trovare una F tale che W(F) sia minimo.

È noto che il problema relativo al set minimo di arco di retroazione è NP-difficile, così come il problema relativo al set minimo di arco di retroazione. Mi chiedo se qualcuno conosca qualche algoritmo approssimativo che funziona bene e qualsiasi proprietà della funzione di peso che può produrre un risolutore veloce.


2
Suppongo che tu sia a conoscenza di Even, Naor, Schieber, Sudan (1998): "Approssimazione di insiemi di feedback minimi e multicut in grafici diretti" - dx.doi.org/10.1007/PL00009191 ?
Jukka Suomela,

Ci sono state diverse scoperte indipendenti di approssimazioni pollogaritmiche per l'insieme dell'arco di feedback generale. A seconda di ciò che stai cercando, potresti volerli guardare tutti. Vedi gli articoli Leighton e Rao 1999; Seymour 1995; Even et al. 2000; Even et al. 1998 citato nel mio cs.brown.edu/~ws/papers/fast_journal.pdf .
Warren Schudy,

Volevo solo chiarire - è giusto che solo il problema diretto sia NP-difficile e che il problema per i grafici non diretti possa essere risolto in tempo polinomiale, vedi, ad esempio, discussione stackoverflow "Come trovare il bordo di feedback impostato nel grafico non diretto". È giusto che il problema possa essere risolto in tempo polinomiale per un grafico non diretto?
TomR

1
@TomR Un bordo di retroazione del peso minimo impostato in un grafico non orientato ha come complemento un albero di spanning del peso massimo, che è possibile trovare in Polytime.
G. Bach,

forse questo aiuta: arxiv.org/pdf/1702.07612.pdf saluti e buona fortuna
user44477

Risposte:


7
  1. Daniel Apon si è collegato alla versione della conferenza del mio documento. Suggerisco invece la versione di bozza del diario: http://www.cs.brown.edu/people/ws/papers/fast_journal.pdf .

  2. Sui grafici dei tornei alcuni lavori sperimentali suggeriscono che la ricerca locale fa abbastanza bene. Vedi il recente documento ALENEX di Anke van Zuylen e Frans Schalekampf: http://www.siam.org/proceedings/alenex/2009/alx09_004_schalekampf.pdf .

  3. Se i pesi soddisfano "vincoli di probabilità" o "disuguaglianze triangolari", esiste un algoritmo di approssimazione a fattore costante basato su quicksort. Vedi il recente documento JACM di Ailon, Charikar e Newman.

  4. Puoi dirci qualcosa in più su quali tipi di casi hai in mente e se stai cercando qualcosa che funzioni bene in pratica o in teoria?


1
Il tuo link per Zuylen e Schalekampf è ora 404; informatik.uni-trier.de/~ley/pers/hd/s/Schalekamp:Frans
nodakai

5

Vedi l'articolo "Come classificare con pochi errori: un PTAS per l'arco di feedback ponderato impostato sui tornei" di Claire Kenyon-Mathieu e Warren Schudy (STOC 2007, versione del diario sulla pagina di Schudy), che fornisce uno schema di approssimazione polinomiale per il caso speciale in cui il grafico diretto è un torneo.


Entrambi i documenti sono molto interessanti. Oltre a questi, c'è qualche approccio basato sulla funzione sottomodulare in giro?
miao,

1
Si prega di fornire collegamenti.
Emil,

@Emil, copiare / incollare il nome del documento su Google ti dà un PDF al primo colpo: PDF .
Daniel Apon,

Stavo semplicemente suggerendo un modo per migliorare la risposta.
Emil,
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.