Pertanyaan yang diberi tag «reference-request»

Studi tentang representasi ringkas dari grafik diprakarsai oleh Galperin dan Wigderson di kertas dari tahun 1983, di mana mereka membuktikan bahwa untuk banyak masalah sederhana seperti menemukan segitiga dalam grafik, versi ringkas yang sesuai pada -Lengkap. Papadimitriou dan Yanakkakis melanjutkan penelitian ini, dan membuktikan bahwa untuk masalah Π yaitu N …

26 cc.complexity-theory  reference-request  complexity-classes 

Apakah Anda tahu wiki terbaru yang didedikasikan untuk masalah optimasi NP dengan hasil pendekatan dan kekerasan terbaiknya? Berdasarkan umpan balik, tampaknya aman untuk mengasumsikan tidak ada sumber daya seperti itu (lihat bagian akhir dari pertanyaan ini untuk dua opsi tutup). - ditambahkan pada 8 Februari. Karena ada sejumlah besar hasil …

26 ds.algorithms  reference-request  approximation-algorithms  approximation-hardness 

Pertimbangkan masalah set penutup minimum dengan batasan berikut: setiap set berisi paling banyak elemen kkk dan setiap elemen alam semesta terjadi di paling banyak set fff . Contoh: case k=4k=4k = 4 dan f=2f=2f = 2 setara dengan masalah penutup simpul minimum dalam grafik dengan derajat maksimum 4. Mari a(k,f)>1a(k,f)>1a(k,f) …

26 cc.complexity-theory  reference-request  approximation-algorithms  set-cover  np-hardness 

Apakah mungkin untuk menerjemahkan rumus Boolean menjadi gabungan yang setara dengan klausa Horn? Artikel Wikipedia tentang HornSAT tampaknya menyiratkan hal itu, tetapi saya belum dapat melacak referensi apa pun. Perhatikan bahwa saya tidak bermaksud "dalam waktu polinomial", melainkan "sama sekali".

26 reference-request  lo.logic  sat 

Menurut D. den Hertog, Interior Point Approach to Linear, Quadratic and Convex Programming, 1994 , sebuah program linier dengan variabel, kendala dan presisi dapat dipecahkan dalam waktu . Apakah itu sudah diperbaiki?nnnnnnLLLO(n3L)O(n3L)O(n^3L)

25 cc.complexity-theory  reference-request  linear-programming 

Volume III dari Knuth The Art of Computer Programming (pasal 5 ayat 3,2) termasuk mengikuti tabel daftar tepat jumlah minimum perbandingan yang diperlukan untuk memilih elemen th terkecil dari set disortir ukuran , untuk semua . Tabel ini, bersama dengan ekspresi bentuk tertutup terkenal dan , mewakili sebagian besar keadaan …

25 ds.algorithms  reference-request  co.combinatorics  sorting  selection 

Hasil oleh Robertson dan Seymour menunjukkan sebuah algoritma untuk menguji apakah grafik tetap adalah minor dari . Saya punya dua setengah pertanyaan tentang topik ini:O(n3)O(n3)O(n^3)GGGHHH 1) Tampaknya telah ada peningkatan pada algoritma ini sejak. Apa algoritma paling terkenal saat ini? 2a) Apa yang orang duga sebagai ikatan optimal? Algoritma Mohar …

25 reference-request  graph-theory  co.combinatorics  graph-algorithms 

Apa yang diketahui tentang kompleksitas masalah berikut: Diberikan: bilangan rasional .x1&lt;x2&lt;…&lt;xnx1&lt;x2&lt;…&lt;xnx_1 < x_2 < \dotso < x_n Output: bilangan bulat .y1≤y2≤…≤yny1≤y2≤…≤yny_1 \le y_2 \le \dotso \le y_n Tujuan: kecilkan mana∑1≤i&lt;j≤ne(i,j),∑1≤i&lt;j≤ne(i,j),\sum_{1 \le i < j \le n} e(i,j),e(i,j)=|(yj−yi)−(xj−xi)|.e(i,j)=|(yj−yi)−(xj−xi)|.e(i,j) = | (y_j-y_i) - (x_j-x_i)|. Yaitu, kami ingin membulatkan bilangan rasional ke bilangan …

25 ds.algorithms  reference-request  optimization 

Mengingat hasil terbaru dari Arora, Barak, dan Steurer, Algoritma Subeksponensial untuk Game Unik dan Masalah Terkait , saya tertarik pada masalah grafik yang memiliki algoritma waktu subeksponensial tetapi diyakini tidak dapat dipecahkan secara polinomial. Contoh terkenal adalah grafik isomorfisme yang memiliki algoritma subeksponensial run-time. Contoh lain adalah masalah log-Clique yang …

25 cc.complexity-theory  reference-request 

Apakah ada referensi yang membahas hal ini?

25 cc.complexity-theory  reference-request  np-hardness  factoring 

Tentu saja, beberapa hasil kompleksitas mungkin runtuh untuk bahasa unary tapi saya bertanya-tanya apakah ada suatu survei yang merangkum hasil yang diketahui dalam kasus ini: semacam kompleksitas kebun binatang untuk bahasa unary. Apakah Anda tahu referensi seperti itu?

25 cc.complexity-theory  reference-request  big-list 

Saya tahu bahwa itu tidak dapat diputuskan untuk menentukan apakah satu set ubin dapat ubin pesawat, hasil dari Berger menggunakan ubin Wang . Pertanyaan saya adalah apakah diketahui juga tidak dapat diputuskan untuk menentukan apakah ubin tunggal yang diberikan dapat ubin pesawat, ubin monohedral . Jika ini tetap tidak pasti, …

24 reference-request  co.combinatorics  decidability  undecidability 

EDIT (v2): Menambahkan bagian di akhir tentang apa yang saya ketahui tentang masalah. EDIT (v3): Menambahkan diskusi tentang ambang batas di akhir. Pertanyaan Pertanyaan ini terutama merupakan permintaan referensi. Saya tidak tahu banyak tentang masalahnya. Saya ingin tahu apakah ada pekerjaan sebelumnya tentang masalah ini, dan jika demikian, dapatkah seseorang …

24 cc.complexity-theory  reference-request  circuit-complexity  polynomials 

Sudah pasti bahwa ada ambang kebisingan untuk perhitungan kuantum, sehingga di bawah ambang ini, perhitungan dapat dikodekan sedemikian rupa sehingga menghasilkan hasil yang benar dengan probabilitas terbatas (dengan paling banyak komputasi overhead polinomial). Ambang batas ini bergantung pada pengkodean yang digunakan dan sifat pasti dari derau, dan ini merupakan kasus …

24 quantum-computing  reference-request  fault-tolerance 

Sunting: Saya pertama kali salah mengartikan kendala saya (2), sekarang sudah diperbaiki. Saya juga menambahkan lebih banyak informasi dan contoh. Dengan beberapa rekan, mempelajari beberapa pertanyaan algoritmik lainnya, kami dapat mengurangi masalah kami menjadi masalah menarik berikut, tetapi kami tidak dapat menyelesaikan pertanyaan tentang kompleksitasnya. Masalahnya adalah sebagai berikut. Instance: …

24 cc.complexity-theory  ds.algorithms  reference-request