Saat membaca jawaban oleh Peter Shor dan pertanyaan sebelumnya oleh Adam Crume saya menyadari bahwa saya memiliki beberapa kesalahpahaman tentang apa artinya menjadi -hard.PP\mathsf{P} Masalahnya adalah -sama jika ada masalah dalam dapat direduksi dengan (atau jika Anda lebih suka ). Masalah ada...
Ini tentang seberapa efektif kita dapat mengekspresikan suatu algoritma. Saya membutuhkan ini untuk pengajaran sarjana saya. Saya mengerti tidak ada yang namanya cara standar untuk menulis kode semu. Penulis yang berbeda mengikuti konvensi yang berbeda. Akan sangat membantu jika orang-orang di...
Keadaan pengetahuan kita tentang sirkuit aritmatika umum tampaknya mirip dengan keadaan pengetahuan kita tentang sirkuit Boolean, yaitu kita tidak memiliki batas bawah yang baik. Di sisi lain, kami memiliki batas bawah ukuran eksponensial untuk sirkuit Boolean monoton . Apa yang kita ketahui...
Karena itu tidak memungkinkan perhitungan nonterminating, Coq tentu tidak Turing-lengkap. Apa kelas fungsi yang dapat dihitung Coq? (Adakah karakterisasi yang menarik
Prinsip Minimax Yao yang terkenal menyatakan hubungan antara kompleksitas distribusi dan kompleksitas acak. Biarkan menjadi masalah dengan himpunan berhingga input dan satu set terbatas algoritma deterministik untuk memecahkan . Juga biarkan menunjukkan distribusi input dan biarkan menunjukkan...
Saya membaca " Apakah P Versus NP Secara Independen? " Tetapi saya bingung. Dipercaya secara luas dalam teori kompleksitas bahwa . Pertanyaan saya adalah bagaimana jika ini tidak dapat dibuktikan (katakanlah di ). (Mari kita asumsikan bahwa kita hanya mengetahui bahwa independen dari tetapi tidak...
Ketika bermain-main dengan parsing LR noncanonical, saya memikirkan metode parsing (dengan tabel berukuran tak terbatas, yang membuatnya agak tidak taktis ) yang mampu mengurai persis tata bahasa yang tidak ambigu dalam waktu , dan saya bertanya-tanya apakah mungkin untuk melakukan yang lebih baik...
Dalam permainan menara pertahanan, Anda memiliki kisi NxM dengan awal, akhir, dan sejumlah dinding. Musuh mengambil jalur terpendek dari awal hingga selesai tanpa melewati dinding apa pun (mereka biasanya tidak dibatasi ke grid, tetapi demi kesederhanaan katakanlah mereka. Dalam kedua kasus itu,...
Saya tertarik pada kerumitan dalam memutuskan apakah poligon non-sederhana yang diberikan hampir sederhana, dalam salah satu dari dua pengertian formal yang berbeda: lemah sederhana atau tidak menyilang sendiri . Karena istilah-istilah ini tidak dikenal secara luas, izinkan saya mulai dengan...
Ada banyak hasil yang tidak dapat diperkirakan yang bergantung pada dugaan game yang unik. Sebagai contoh, Dengan asumsi dugaan permainan yang unik, NP-sulit untuk memperkirakan masalah pemotongan maksimum dalam faktor R untuk setiap R > R GW yang konstan . (Di sini R GW = 0,878 ... adalah...
Adakah yang tahu tentang referensi yang secara tepat menjelaskan hubungan antara algoritma unifikasi dan eliminasi Gaussian? Saya sangat tertarik pada hubungan antara substitusi segitiga dan dekomposisi LU. Wayne Snyder dan Jean Gallier menyebutkan analogi ini dalam makalah mereka, Higher-Order...
Dalam pengujian properti grafik, suatu algoritma meminta grafik target untuk ada atau tidaknya edge dan perlu untuk menentukan apakah target memiliki properti tertentu atau jauh dari memiliki properti. (Algoritme dapat diminta untuk berhasil dengan kesalahan 1-sisi atau 2-sisi.) Grafik adalah jauh...
Waktu perjalanan dalam grafik yang terhubung didefinisikan sebagai jumlah langkah yang diharapkan dalam jalan acak yang dimulai pada , sebelum simpul dikunjungi dan kemudian simpul tercapai lagi. Ini pada dasarnya adalah jumlah dari dua kali memukul dan .i j i H ( i , j ) H ( j , i...
Apakah ada deskripsi yang berguna tentang masa depan atau janji dalam hal teori kategori? Secara khusus, apa yang bisa menjadi ganda kategorikal dari Masa
Grafik kubik adalah grafik di mana setiap titik memiliki derajat 3. Mereka telah dipelajari secara ekstensif dan saya menyadari bahwa beberapa masalah NP-hard tetap NP-hard bahkan terbatas pada subkelas grafik kubik, tetapi beberapa yang lain lebih mudah. Superclass grafik kubik adalah kelas grafik...
Saya mencari grafik yang tidak diarahkan, tidak tertimbang, dan terhubung , di mana untuk setiap pasangan , ada jalur unik yang menyadari jarak .G = ( V, E)G=(V,E)G=(V,E)u , v ∈ Vkamu,v∈Vu,v \in Vu → vkamu→vu \rightarrow vd( kamu , v )d(kamu,v)d(u,v) Apakah kelas grafik ini terkenal? Apa properti...
Pertimbangkan jaringan listrik yang dimodelkan sebagai grafik G planar, di mana setiap sisi mewakili resistor 1Ω. Seberapa cepat kita bisa menghitung resistensi efektif yang tepat antara dua simpul dalam G? Setara, seberapa cepat kita dapat menghitung arus yang tepat mengalir di sepanjang setiap...
Mengingat jurang baru-baru ini pada kedalaman-3 hasil (yang antara lain menghasilkan kedalaman-3 rangkaian aritmatika untuk penentu atas ), Saya memiliki pertanyaan-pertanyaan berikut: Grigoriev dan Karpinski membuktikan batas bawah untuk rangkaian aritmetika kedalaman-3 yang menghitung matriks...
Saya mencari teks pengantar ringkas tentang algoritma dengan teori rasio tinggi Itu harus dimulai pada awal tetapi kemudian berkembang dengan cepat tanpa menghabiskan terlalu banyak waktu pada contoh dunia nyata, teknik bukti dasar, dll. Sebagai ahli matematika penelitian, saya memiliki latar...
Saya merancang bahasa pemrograman fungsional sederhana yang diketik secara statis sebagai pengalaman belajar. Tampaknya sistem tipe yang telah saya implementasikan sejauh ini dapat (dengan sedikit kerja ekstra) menggabungkan tipe persimpangan dan gabungan, misalnya Anda dapat memiliki: <Union...