Algoritmi di approssimazione temporale polinomiale per la programmazione delle macchine: quanti problemi aperti rimangono?


22

Nel 1999, Petra Schuurman e Gerhard J. Woeginger hanno pubblicato il documento "Algoritmi di approssimazione temporale polinomiale per la programmazione delle macchine: dieci problemi aperti" . Da allora, per quanto ne so, non sono apparse recensioni che riguarderebbero lo stesso elenco di problemi. Sarebbe quindi utile e utile se ognuno di noi potesse fare un tale riassunto su alcuni dei dieci problemi aperti e contribuire qui.



Non penso che questo debba essere reso CW ...
Suresh Venkat,

@Suresh Venkat: Come rimuovere CW?
Oleksandr Bondarenko,

Sfortunatamente, non c'è modo di trasformare una domanda wiki della comunità in una domanda non CW. L'aggiunta di questa funzionalità al motore Stack Exchange è richiesta all'indirizzo: meta.stackexchange.com/questions/6821/…
Tsuyoshi Ito

Vedi anche le FAQ su quando usare il tag CW: meta.cstheory.stackexchange.com/questions/225/…
Suresh Venkat

Risposte:


16

Riduci al minimo la durata della macchina su macchine identiche con vincoli di precedenza

Aprire problema 1. Fornire un risultato inapproximability per P | p r e c | C m a x .4/3+δP|prec|Cmun'X

Ecco ciò che viene in mente per primo è il documento di quest'anno di Ola Svensson "Durezza condizionale della precedenza Programmazione vincolata su macchine identiche". Nel suo documento Ola lo dimostra

"se il problema della singola macchina è difficile da approssimare entro un fattore allora il problema della macchina parallela considerata, anche nel caso di tempi di elaborazione dell'unità, è difficile da approssimare entro un fattore 2 - ζ , dove ζ tende a 0 come ϵ tende a 0. "2-ε2-ζζε

Nel 2008 è stato pubblicato il documento "Programmazione vincolata alla precedenza in · ottimale "che descrive un algoritmo perP|prec,pj=1|Cmaxcon il rapporto prestazioni, menzionato nel suo titolo. Ciò migliora l'algoritmo di Coffman-Graham con limite2-2(2-73p+1)P|prec,pj=1|Cmun'X , dovepè il numero di macchine.2-2pp

L'articolo "Algoritmi di approssimazione per la pianificazione di lavori con vincoli di precedenza di catena" di Jansen e Solis-Oba contiene PTAS per , e, di conseguenza, per P m | c h a i n s | C m a x come caso speciale del precedente problema.Qm|chun'ionS|Cmun'XPm|chains|Cmax

Quest'anno è apparso l'articolo "Schemi di approssimazione per la pianificazione di lavori con vincoli di precedenza di catena" di Jansen e Solis-Oba (versione ufficiale del precedente), che riguarda PTAS per con un numero fisso di lavori in ogni catena e P | p r e c | C m a x con un numero costante di lavori nel componente collegato di ogni ordine.P|chains|CmaxP|prec|Cmax

Riduzione al minimo della realizzazione su macchine uniformi sotto vincoli di precedenza

L'articolo di 2003 "Algoritmi di approssimazione per la pianificazione di lavori con vincoli di precedenza di catena" di Jansen e Solis-Oba contiene PTAS per .Qm|chains|Cmax

Riduci al minimo la durata in base a vincoli di precedenza con ritardi di comunicazione

Riduzione al minimo della durata della macchina su macchine non correlate

Riduzione al minimo della realizzazione in negozi aperti

Riduzione al minimo della realizzazione nei negozi di flusso

Nel documento di Nagarajan e Sviridenko del 2008 "Limiti limitati per la pianificazione del negozio per il flusso di permutazione" possiamo trovare il limite superiore sul rapporto tra un makepan ottimale e il makepan del miglior programma di permutazione. Questo limite è il rapporto di approssimazione di un algoritmo proposto ed è il migliore possibile tra gli algoritmi in base ai limiti inferiori banali, fino a fattore. Per inciso, gli algoritmi proposti sono attualmente quelli con i migliori rapporti di approssimazione.22

Riduzione al minimo della durata delle officine

Apri problema 7. Decidi se esiste un algoritmo di approssimazione temporale polinomiale per cui prestazioni nel caso peggiore sono indipendenti dal numero m di macchine e / o dal numero massimo di operazioni μ . Fornire un 5 / 4 + δ risultato inapproximability per J | | C m a x . Fornire un risultato di inapprossimabilità per J | | C m a x il cui valore cresce con il numero mJ||Cmaxmμ5/4+δJ||CmaxJ||Cmaxm di macchine per infettare.

Progettare un PTAS per per il caso in cui μ fa parte dell'ingresso; o confutare l'esistenza di tale PTAS ai sensi di P NP.J2||Cmaxμ

La tesi di Svensson "Approssimabilità di alcuni grafici classici e problemi di programmazione" contiene risultati che dimostrano che non può essere approssimato all'interno di O ( ( log l b ) 1 - ϵ ) assumendo N P Z T I M E ( 2 log n O ( 1 / ϵ ) ) e che J 2 | | C m a xJ||CmaxO((loglb)1ϵ)NPZTioME(2lognO(1/ε))J2||Cmun'Xnon ha PTAS a meno che .NPDTioME(nO(logn))

Tempo totale di completamento del lavoro senza vincoli di precedenza

Tempo totale di completamento del lavoro con vincoli di precedenza

Apri problema 9. Prova che e 1 | p r e c | w j C j non hanno algoritmi di approssimazione temporale polinomiale con garanzia di prestazione 2 - ϵ a meno che P = NP.1|prec|ΣCj1|prec|ΣwjCj2-ε

Nel "Test ottimale del codice lungo con un bit libero" Bansal e Khot hanno dimostrato che è così, ma ipotizzando una nuova variante della congettura unica dei giochi.

Criteri del tempo di flusso

Problema aperto 10. Progettare algoritmi di approssimazione temporale polinomiale con garanzie prestazionali costanti per e per P | p m t n ; r j | F j .1|pmtn;rj|ΣwjFjP|pmtn;rj|ΣFj

O(1)1|pmtn;rj|ΣwjFjO(1)

Ω(logPloglogP)P|pmtn;rj|ΣFjΩ(logPloglogP)


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.