Pertanyaan yang diberi tag «reference-request»

Rumus terkecil yang diketahui untuk determinan memiliki ukuran menurut cerita rakyat (atau Ran Raz dalam makalahnya Formula Multi-Linier untuk Permanen dan Penentu memiliki Ukuran Super-Polinomial ).nO (logn )nHAI(catatan⁡n)n^{\mathcal O(\log n)} Apakah Anda punya referensi untuk ini? Secara khusus, apa rumus ini?

13 cc.complexity-theory  reference-request  algebraic-complexity  determinant 

Untuk merayakan ulang tahun ke-100 Alan Turing, saya ingin menonton film dokumenter tentang hidupnya. Namun, ada beberapa film dokumenter untuk dipilih. Film dokumenter apa tentang Alan Turing yang menjadi favorit Anda? Harap sertakan hanya satu film dokumenter per jawaban.

13 reference-request  soft-question  big-list  ho.history-overview 

Saya tertarik pada kompleksitas masalah set mendominasi (DSP) di beberapa kelas grafik tertentu yang merupakan subkelas dari grafik chordal . Grafik adalah grafik lintasan yang tidak diarahkan jika itu adalah grafik persimpangan-simpul dari keluarga lintasan di beberapa pohon yang tidak diarahkan. Biarkan UP menjadi kelas grafik jalur yang tidak diarahkan. …

13 reference-request  graph-theory  graph-algorithms  np-hardness 

Definisi angka Ramsey adalah sebagai berikut: Mari R(a,b)R(a,b)R(a,b) menjadi angka positif sehingga setiap grafik agar setidaknya mengandung baik klik pada simpul atau stabil set pada simpul.R(a,b)R(a,b)R(a,b)aaabbb Saya sedang mengerjakan beberapa perpanjangan Ramsey Numbers. Meskipun penelitian ini memiliki beberapa minat teoretis, penting untuk mengetahui motivasi angka-angka ini. Lebih khusus saya bertanya-tanya …

13 reference-request  co.combinatorics  ramsey-theory 

Mengingat grafik planar, satu kaleng menanamkan dalam waktu linier menyeberang bebas ke dalam jaringan. Saya tertarik apakah ada algoritma yang efisien diketahui garis lurus menanamkan grafik planar menyeberang bebas ke dalam n c × n c grid, untuk beberapa c kecil , sehingga sudut minimum antara dua sisi dimaksimalkan?n×nn×nn \times …

13 reference-request  graph-theory  graph-drawing 

Saya tertarik pada pemodelan objek, dari pemrograman berorientasi objek, dalam teori tipe dependen. Sebagai aplikasi yang memungkinkan, saya ingin memiliki model di mana saya dapat menggambarkan berbagai fitur bahasa pemrograman yang penting. Saya hanya bisa menemukan satu makalah tentang objek pemodelan dalam teori tipe dependen, yaitu: Pemrograman berorientasi objek dalam …

13 reference-request  pl.programming-languages  type-theory  coq  dependent-type 

Saya punya pertanyaan tentang reduksibilitas SERF dari Impagliazzo, Paturi dan Zane dan algoritma subeksponensial . Definisi SERF-reducibility memberikan yang berikut: Jika adalah SERF-dapat direduksi menjadi P 2 dan ada O ( 2 ε n ) algoritma untuk P 2 untuk setiap ε > 0 , maka ada O ( 2 …

13 cc.complexity-theory  reference-request 

Dalam definisi traktabilitas parameter tetap (kuat), batas waktu adalah ekspresi dari bentuk mana instance input adalah ( x , k ) dengan parameter k , p adalah polinomial, dan f adalah fungsi yang dapat dihitung .f( k ) . p ( | x | ) ,f(k).hal(|x|),f(k).p(|x|),( x , k )(x,k)(x,k)kkkhalhalpfff …

13 cc.complexity-theory  reference-request  fixed-parameter-tractable 

Apakah ada masalah yang NP-lengkap ketika menggunakan geometri Euclidean tetapi didefinisikan dengan baik dan dipecahkan dalam waktu polinomial untuk beberapa geometri non-euclidean?

13 reference-request  cg.comp-geom 

Branch and bound adalah heuristik yang efektif untuk masalah pencarian, dan Wikipedia mencantumkan sejumlah masalah sulit di mana branch-and-bound telah digunakan. Namun, saya belum dapat menemukan referensi untuk menyarankan bahwa itu lebih dari sekedar "satu metode" untuk menyelesaikan masalah ini. Secara anekdot, saya pernah mendengar bahwa beberapa heuristik terbaik untuk …

13 ds.algorithms  reference-request  optimization  heuristics 

Saya mencari implementasi algoritma untuk menghitung jalur lebar grafik. Telah diketahui bahwa menghitung lebar jalur setara dengan menghitung angka pencarian simpul, angka pemisahan titik, atau ketebalan interval grafik. Algoritma tidak harus sangat cepat; Saya ingin menjalankannya pada grafik paling banyak 20 simpul. Saya memang membutuhkan algoritma untuk menghitung pathwidth dengan …

13 ds.algorithms  reference-request  graph-algorithms  implementation 

Dalam " Saran untuk Mahasiswa Pascasarjana " Manuel Blum : LEONID LEVIN percaya ketika saya melakukan itu, apa pun jawaban untuk P = NP? masalah, itu tidak akan seperti apa pun yang Anda pikir seharusnya. Dan dia telah memberikan beberapa contoh yang indah. Untuk satu, ia telah memberikan ALGORITMA PABRIK …

13 ds.algorithms  reference-request  factoring 

Konteks. Saya menulis tentang topik-topik seperti teorema Gottesman-Knill , menggunakan grup stabilisator Pauli, tetapi dalam kasus qudit d- dimensional - di mana d mungkin memiliki lebih dari satu faktor utama. (Saya menekankan ini karena sebagian besar literatur tentang stabilisator stabilizer dalam "dimensi yang lebih tinggi" melibatkan kasus d prima atau …

13 reference-request  quantum-computing 

Saya mulai menyelidiki kemungkinan mengandalkan solver SAT untuk mengatasi masalah optimisasi yang saya minati, dan saya sedang mencari survei yang akan menampilkan contoh-contoh transformasi "pintar" ke varian SAT (yaitu, transformasi yang menghasilkan dalam masalah ukuran yang wajar, karena saya tidak tertarik untuk membuktikan hasil kekerasan tetapi dalam benar-benar menyelesaikan masalah), …

13 ds.algorithms  reference-request  sat  optimization 

Parameter dan pendekatan tetap adalah pendekatan yang sama sekali berbeda untuk menyelesaikan masalah yang sulit. Mereka memiliki motivasi yang berbeda. Perkiraan mencari hasil yang lebih cepat dengan solusi perkiraan. Parameter tetap mencari solusi yang tepat dengan kompleksitas waktu dalam hal eksponensial atau beberapa fungsi k dan fungsi polinomial dari n …

13 cc.complexity-theory  reference-request  approximation-algorithms  fixed-parameter-tractable