Algoritma perkiraan waktu polinomial untuk penjadwalan mesin: berapa banyak masalah terbuka yang tersisa?

Pada tahun 1999, Petra Schuurman dan Gerhard J. Woeginger menerbitkan makalah "Algoritma perkiraan waktu polinomial untuk penjadwalan mesin: Sepuluh masalah terbuka" . Sejak itu, sejauh yang saya ketahui, ulasan yang menyangkut daftar masalah yang sama belum muncul. Dengan demikian akan sangat bagus dan bermanfaat jika kita masing-masing dapat membuat ringkasan tentang beberapa dari sepuluh masalah terbuka dan berkontribusi di sini.

— Dai Le
sumber

PDF: Algoritma perkiraan waktu polinomial untuk penjadwalan mesin: Sepuluh masalah terbuka

— Daniel Apon

Saya rasa ini tidak perlu dilakukan CW ...

— Suresh Venkat

@ Surur Venkat: Bagaimana cara menghapus CW?

— Oleksandr Bondarenko

Sayangnya, tidak ada cara untuk mengubah pertanyaan wiki komunitas menjadi pertanyaan non-CW. Menambahkan fitur ini ke mesin Stack Exchange diminta di: meta.stackexchange.com/questions/6821/…

— Tsuyoshi Ito

Lihat juga FAQ tentang kapan harus menggunakan tag CW: meta.cstheory.stackexchange.com/questions/225/…

— Suresh Venkat

Makespan minimalisasi pada mesin yang identik di bawah kendala prioritas

Terbuka masalah 1. Sediakan hasil inapproximability untuk . $4/3+\delta$ $P|prec|C_{max}$

Inilah yang terlintas dalam pikiran saya adalah makalah tahun ini oleh Ola Svensson "Kekerasan Bersyarat dari Presedensi Terjadwal Penjadwalan pada Mesin Identik". Dalam makalahnya, Ola membuktikan hal itu

"jika masalah mesin tunggal sulit diperkirakan dalam faktor maka masalah mesin paralel yang dipertimbangkan, bahkan dalam kasus waktu pemrosesan unit, sulit untuk diperkirakan dalam faktor , di mana cenderung 0 karena cenderung ke 0. " $2-\epsilon$ $2-\zeta$ $\zeta$ $\epsilon$

Pada tahun 2008 ada diterbitkan kertas "Precedence dibatasi penjadwalan di · optimal "menggambarkan suatu algoritma untukdengan rasio kinerja, disebutkan dalam judulnya. Ini meningkat pada algoritma Coffman-Graham dengan batas $(2−\frac{7}{3p+1})$ $P|prec,p_j=1|C_{max}$ , di manaadalah jumlah mesin. $2-\frac{2}{p}$ $p$

Makalah "Algoritma aproksimasi untuk menjadwalkan pekerjaan dengan batasan rantai prioritas" oleh Jansen dan Solis-Oba berisi PTAS untuk , dan, sebagai konsekuensinya, untuk sebagai kasus khusus dari mantan masalah. $Qm|chains|C_{max}$ $Pm|chains|C_{max}$

Tahun ini muncul artikel "Skema perkiraan untuk penjadwalan pekerjaan dengan batasan rantai prioritas" oleh Jansen dan Solis-Oba (versi jurnal yang sebelumnya), yang menyangkut PTAS untuk dengan jumlah tetap pekerjaan di setiap rantai dan dengan sejumlah konstan pekerjaan dalam komponen terhubung setiap order. $P|chains|C_{max}$ $P|prec|C_{max}$

Makespan minimalisasi pada mesin yang seragam di bawah kendala prioritas

Makalah tahun 2003 "Algoritma aproksimasi untuk penjadwalan pekerjaan dengan batasan rantai prioritas" oleh Jansen dan Solis-Oba berisi PTAS untuk . $Qm|chains|C_{max}$

Makespan minimalisasi di bawah batasan prioritas dengan keterlambatan komunikasi

Makespan minimalisasi pada mesin yang tidak terkait

Makespan minimisasi di toko terbuka

Makespan minimalisasi di toko aliran

Dalam makalah Nagarajan dan Sviridenko dari 2008 "Batas Ketat untuk Penjadwalan Toko Alur Permutasi" kita dapat menemukan batas atas pada rasio antara makespan optimal dan makespan dari jadwal permutasi terbaik. Batas ini adalah rasio perkiraan dari suatu algoritma yang diusulkan, dan itu adalah yang terbaik di antara algoritma berdasarkan batas bawah sepele, hingga faktor. Kebetulan, algoritma yang diusulkan saat ini adalah yang dengan rasio perkiraan terbaik. $2\sqrt{2}$

Makespan minimisasi di job shop

Buka masalah 7. Putuskan apakah ada algoritma perkiraan waktu polinomial untuk yang kinerjanya terburuk adalah independen dari jumlah mesin dan / atau independen dari jumlah maksimum operasi. Menyediakan hasil inapproximability untuk . Memberikan hasil yang tidak dapat diperkirakan untuk yang nilainya tumbuh dengan jumlah $J||C_{max}$ $m$ $\mu$ $5/4+\delta$ $J||C_{max}$ $J||C_{max}$ $m$ mesin hingga tak terbatas.

Mendesain PTAS untuk untuk kasus di mana adalah bagian dari input; atau menyangkal keberadaan PTAS seperti itu di bawah P NP. $J2||C_{max}$ $\mu$ $\ne$

Disertasi oleh Svensson "Perkiraan Beberapa Grafik Klasik dan Masalah Penjadwalan" berisi hasil yang menunjukkan bahwa tidak dapat diperkirakan dalam waktu dengan asumsi dan bahwa $J||C_{max}$ $O((\log lb)^{1-\epsilon})$ $NP\subseteq ZTIME(2^{\log n^{O(1/\epsilon)}})$ $J2||C_{max}$ tidak memiliki PTAS kecuali . $NP\subseteq DTIME(n^{O(\log n)})$

Total waktu penyelesaian pekerjaan tanpa kendala diutamakan

Total waktu penyelesaian pekerjaan di bawah kendala diutamakan

Buka masalah 9. Buktikan bahwa dan tidak punya waktu algoritma pendekatan polinomial dengan kinerja jaminan kecuali P = NP. $1|prec|\sum C_j$ $1|prec|\sum w_jC_j$ $2−\epsilon$

Dalam "Tes kode panjang optimal dengan satu bit gratis" Bansal dan Khot membuktikannya, tetapi dengan asumsi varian baru dari dugaan game unik.

Kriteria waktu mengalir

Masalah terbuka 10. Desain algoritma perkiraan waktu polinomial dengan jaminan kinerja konstan untuk dan untuk . $1|pmtn;r_j|\sum w_jF_j$ $P|pmtn;r_j|\sum F_j$

$O(1)$ $1|pmtn;r_j|\sum w_jF_j$ $O(1)$

$\Omega(\sqrt{\frac{\log P}{\log\log P}})$ $P|pmtn;r_j|\sum F_j$ $\Omega(\frac{\log P}{\log\log P})$

— Oleksandr Bondarenko
sumber