Latar Belakang: Kompleksitas pohon keputusan atau kompleksitas kueri adalah model perhitungan sederhana yang didefinisikan sebagai berikut. Biarkan menjadi fungsi Boolean. Kompleksitas kueri deterministik dari f , dilambangkan D ( f ) , adalah jumlah bit minimum dari input x ∈ { 0 , 1 } n yang...
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...
Saya mencari: Michael O. Rabin, "Tingkat kesulitan menghitung fungsi, dan urutan parsial set rekursif", Universitas Ibrani, Yerusalem, 1960 Ringkasan: “Kami berupaya mengukur jumlah pekerjaan yang melekat dalam tugas menghitung fungsi komputasi (rekursif) yang diberikan. Konsep tingkat...
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...
Apakah ada masalah yang NP-lengkap ketika menggunakan geometri Euclidean tetapi didefinisikan dengan baik dan dipecahkan dalam waktu polinomial untuk beberapa geometri
Apa algoritma deterministik tercepat yang diketahui yang dapat mengenali grafik berarah dengan sepasang siklus disintegrasi titik? Saya tahu grafik dengan min outdegree three selalu memiliki pasangan seperti itu ( Thomassen'83 ), tetapi meskipun demikian saya tidak dapat menemukan algoritma yang...
Apakah diketahui jika masalah evaluasi rangkaian ada di ? Bagaimana dengan (uniform )?NC1NC1\mathsf{NC^1}NC1NC1\mathsf{NC^1}ALogTimeALogTime\mathsf{ALogTime}NC1NC1\mathsf{NC^1} Kita tahu bahwa sirkuit dengan kedalaman dapat dievaluasi dengan sirkuit dengan kedalaman mana adalah konstanta...
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
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 ε n...
Sangat mudah untuk melihat bahwa jika maka ada masalah pencarian total yang tidak dapat diselesaikan dalam waktu polinomial (buat masalah pencarian total dengan memiliki saksi untuk keanggotaan dan saksi bukan anggota).NP∩coNP≠PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq
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...
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...
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....
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...
Sambil menulis posting kecil tentang kompleksitas videogames Nibbler dan Snake ; Saya menemukan bahwa keduanya dapat dimodelkan sebagai masalah konfigurasi ulang pada grafik planar; dan tampaknya tidak mungkin bahwa masalah seperti itu belum dipelajari dengan baik di bidang perencanaan gerak...
Sepertinya saya bahwa ahli pembelajaran mesin / penambangan data akrab dengan P dan NP, tetapi jarang berbicara tentang beberapa kelas kompleksitas yang lebih halus (misalnya NC, BPP, atau IP) dan implikasinya untuk menganalisis data secara efektif. Apakah ada survei pekerjaan yang melakukan...
Apakah diketahui apakah umpan balik mengatur masalah pada grafik planar tidak berarah dengan derajat terikat adalah
Motivasi: Seorang penulis pendamping menyunting sebuah naskah dan saya ingin melihat ringkasan yang jelas dari suntingan itu. Semua "diff" -seperti alat cenderung tidak berguna jika Anda berdua bergerak teks di sekitar (misalnya, re-mengatur struktur) dan melakukan suntingan lokal. Apakah sangat...
Treewidth dan pathwidth adalah parameter populer, yang mengukur kedekatan grafik ke pohon atau jalur. Memang, tampaknya treewidth sangat populer sehingga ditampilkan di banyak makalah, buku, dan catatan kuliah yang memberikan (bahkan sangat lembut) pengantar aspek algoritmik treewidth (lihat...
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