Saya tahu bahwa (secara logis banyak panggilan ke oracle NP) setara dengan (polinomial jumlah kueri paralel ke oracle NP). Saya bertanya-tanya apakah versi "fungsi" dari kelas-kelas ini juga setara, yaitu, apakahP N P | |PNP[logn]PNP[logn]\mathsf{P}^{\mathsf{NP}[\log
Pertanyaan ini terkait dengan salah satu pertanyaan saya sebelumnya, masalah NP-hard pada pohon . Saya mencari masalah yang P-lengkap di
Apakah akan ada konsekuensi besar jika SAT paling banyak memiliki bukti tidak aman subeksponensial atau bahkan lebih kuat, SAT memiliki algoritma waktu
Saya memiliki masalah serius dalam memahami satu langkah di koran Dobkin dan Kirkpatrick tentang pemisahan polyhedra. Saya mencoba memahami versi ini: http://www.cs.princeton.edu/~dpd/Papers/SCG-09-invited/old%20papers/DPD+Kirk.pdf Dikatakan bahwa setelah kita mengetahui pemisahan terbaik dari dan...
Pertanyaan ini terinspirasi oleh komentar Jukka Suomela yang dibuat pada pertanyaan lain . Apa saja contoh dari masalah perhitungan yang sangat besar tapi terbatas secara lokal (dan algoritma)? Dengan kata lain, apa saja contoh perhitungan yang berhenti dalam waktu yang terbatas, di mana...
Pertimbangkan masalah menemukan jumlah maksimum ksatria yang dapat ditempatkan di papan catur tanpa dua dari mereka saling serang. Jawabannya adalah 32: tidak terlalu sulit untuk menemukan pencocokan sempurna (grafik yang disebabkan oleh gerakan ksatria adalah bipartit, dan ada pencocokan sempurna...
Pernyataan penelitian JM Siskind menyatakan: Stalin adalah kompiler pengoptimalisasi untuk Skema yang melakukan analisis statis seluruh program dan menggunakan hasil analisis itu untuk menghasilkan kode yang sangat efisien. Stalin menggunakan banyak koleksi teknik analisis statis. Ini melakukan...
Saya menerapkan beberapa bagian sistem yang memerlukan bantuan. Karena itu saya membingkainya sebagai masalah grafik untuk menjadikannya domain independen. Masalah: Kami diberi grafik asiklik langsung G=(V,E)G=(V,E)G=(V,E) . Tanpa kehilangan umum menganggap bahwa memiliki tepat satu sumber vertex...
Masalah lebar pita grafik didefinisikan sebagai berikut. Diberikan grafik , tata letak dari adalah pemetaan satu-ke-satu dari simpul ke dalam bilangan bulat . The bandwidth didefinisikan sebagaiG=(V,E)G=(V,E)G=(V,E) fffGGGGGG{1,…,|V|}{1,…,|V|}\{1, \ldots,
Pertanyaan. Dalam makalah mereka Peningkatan simulasi sirkuit stabilizer , Aaronson dan Gottesman mengklaim bahwa mensimulasikan sirkuit CNOT adalah ⊕L -complete (di bawah pengurangan ruang log). Jelas bahwa itu terkandung dalam ⊕L ; bagaimana hasil kekerasan berlangsung? Secara ekuivalen: apakah...
Dalam kertas Ben-Dor / Halevi [1] itu diberikan bukti lain bahwa permanen -Lengkap. Di bagian akhir makalah ini, mereka menunjukkan rantai reduksi IntPerm ∝ NoNegPerm ∝ 2PowerPerm ∝ 0/1-Perm sementara nilai permanen dipertahankan di sepanjang rantai. Karena jumlah tugas pemisah dari formula 3SAT...
Saya tertarik pada sejarah awal hasil yang dipublikasikan tentang pertukaran ruang-waktu untuk tujuan umum. Secara khusus, saya ingin tahu siapa yang pertama kali menggambarkan jenis algoritma berikut untuk mengevaluasi perhitungan yang memiliki grafik aliran data acak dengan derajat O (1)...
Ini bukan pekerjaan rumah, meskipun sepertinya. Setiap referensi diterima. :-) Skenario: Ada bola yang nnn berbeda dan nampan yang nnn berbeda (dilabeli dari 1 ke nnn , dari kiri ke kanan). Setiap bola dilemparkan secara independen dan seragam ke dalam tempat sampah. Biarkan f(i)f(i)f(i) menjadi...
Saya bertanya-tanya bagaimana menemukan ketebalan grafik tidak berarah jarang. Maksud saya jarang . Maksud saya adalah kompleksitas waktu terendah.|E|=O(|V|)|E|=O(|V|)|E|=O(|V|) Saya memikirkan beberapa modifikasi pada algoritma Tarjan untuk grafik tidak berarah, tetapi saya tidak menemukan hasil...
(sudah bertanya di situs utama , tetapi meminta juga di sini untuk cakupan yang lebih baik, maaf) Karena saya tahu tentang Struktur Data Singkat, saya sangat membutuhkan tinjauan yang baik tentang perkembangan terkini di bidang itu. Saya telah googled dan membaca banyak artikel yang bisa saya...
Sejauh yang saya tahu, hampir semua implementasi QKD menggunakan Brassard dan algoritma CASCADE Salvail untuk koreksi kesalahan. Apakah ini benar-benar metode paling terkenal untuk memperbaiki kesalahan dalam urutan bersama dari qubit acak, atau adakah yang lebih baik proposisi bahwa implementasi...
Apa kompleksitas komputasi untuk mengoptimalkan berbagai fungsi di atas grup kesatuan ?U( n )U(n)\mathcal{U}(n) Sebuah tugas yang khas, yang timbul sering dalam teori informasi kuantum, akan memaksimalkan kuantitas tipe (atau perintah polinomial lebih tinggi di U ) atas semua kesatuan matriks U ....
Akan menyenangkan untuk mengumpulkan daftar kondisi yang menyiratkan bahwa bahasa bebas konteks-L adalah reguler, yaitu syarat-syarat bentuk: "jika CFG / PDA yang diberikan memiliki properti P, maka bahasanya adalah reguler" Properti P tidak harus mengkarakterisasi CFG yang menghasilkan bahasa...
Saya tertarik pada masalah "terdekat" (dan "paling kompleks") dengan dugaan Collatz yang telah berhasil diselesaikan (yang menurut Erdos terkenal "matematika belum matang untuk masalah seperti itu"). Telah terbukti bahwa kelas masalah "Collatz-like" tidak dapat diputuskan. Namun, masalah yang...
Jawab: tidak dikenal. Pertanyaan yang diajukan wajar, terbuka, dan tampaknya sulit; pertanyaannya sekarang adalah wiki komunitas. Gambaran Pertanyaannya adalah mencoba untuk membagi bahasa yang termasuk dalam kelas kompleksitas - bersama dengan mesin Turing keputusan (TMs) yang menerima bahasa...