Pertanyaan yang diberi tag «complexity-classes»

Kelas kompleksitas komputasi dan hubungannya


Apa kelas kompleksitas yang paling erat terkait dengan apa yang dapat dicapai oleh pikiran manusia dengan cepat?
Pertanyaan ini adalah sesuatu yang sudah lama saya tanyakan. Ketika orang menggambarkan masalah P vs NP, mereka sering membandingkan NP kelas dengan kreativitas. Mereka mencatat bahwa menyusun simfoni kualitas Mozart (analog dengan tugas NP) tampaknya jauh lebih sulit daripada memverifikasi bahwa simfoni yang sudah dikomposisikan adalah kualitas Mozart (yang dianalogikan …

Bisakah satu memperkuat P = NP di luar P = PH?
Dalam Kompleksitas Deskriptif , Immerman memiliki Konsekuensi 7.23. Kondisi berikut ini setara: 1. P = NP. 2. Struktur yang terbatas, terurut, FO (LFP) = SO. Ini dapat dianggap sebagai "memperkuat" P = NP untuk pernyataan yang setara atas (mungkin) kelas kompleksitas yang lebih besar. Perhatikan bahwa SO menangkap polinomial-time hierarki …

Apa konsekuensi dari
Kita tahu bahwa L⊆NL⊆PL⊆NL⊆P\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{P} dan L⊆NL⊆L2⊆L⊆NL⊆L2⊆\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{L}^2 \subseteq polyLpolyL\mathsf{polyL} , di mana L2=DSPACE(log2n)L2=DSPACE(log2⁡n)\mathsf{L}^2 = \mathsf{DSPACE}(\log^2 n) . Kita juga tahu bahwa polyL≠PpolyL≠P\mathsf{polyL} \neq \mathsf{P}karena yang terakhir memiliki masalah lengkap di bawah ruang reduksi banyak-satu sementara logaritmik tidak (karena teorema hierarki ruang). Dalam rangka …

Contoh di mana keunikan solusi membuatnya lebih mudah ditemukan
Kelas kompleksitas terdiri dari masalah-masalah yang dapat diputuskan oleh mesin Turing waktu polinomial nondeterministic yang memiliki paling banyak satu yang menerima jalur komputasi. Artinya, solusinya, jika ada, unik dalam pengertian ini. Diperkirakan sangat tidak mungkin bahwa semua masalah ada di , karena oleh Teorema Valiant-Vazirani ini akan menyiratkan keruntuhan .UPUP\mathsf{UP}NPNP\mathsf{NP}UPUP\mathsf{UP}PP\mathsf{P}NP=RPNP=RP\mathsf{NP}=\mathsf{RP} …

Apa yang kita ketahui tentang program yang terbukti benar?
Semakin kompleksnya program komputer dan semakin pentingnya posisi komputer dalam masyarakat kita membuat saya bertanya-tanya mengapa kita masih belum secara kolektif menggunakan bahasa pemrograman di mana Anda harus memberikan bukti formal bahwa kode Anda berfungsi dengan benar. Saya percaya istilah ini adalah 'kompiler sertifikasi' (saya menemukannya di sini ): kompiler …

Apakah
Sejauh yang saya mengerti, upaya Program teori kompleksitas geometri untuk memisahkan dengan membuktikan bahwa permament dari matriks bernilai kompleks adalah jauh lebih sulit untuk menghitung dari determinan.VP≠VNPVP≠VNPVP \neq VNP Pertanyaan yang saya miliki setelah membaca sekilas tentang GCT Papers: Apakah ini segera menyiratkan , atau apakah itu hanya langkah besar …


Kelas Kompleksitas Semantik vs. Sintaksis
Dalam bukunya "Kompleksitas Komputasi", Papadimitriou menulis: Dalam beberapa hal RP adalah jenis kompleksitas yang baru dan tidak biasa. Tidak ada mesin Turing nondeterministik terikat polinomi dapat menjadi dasar mendefinisikan bahasa dalam RP. Agar mesin N mendefinisikan bahasa dalam RP , ia harus memiliki properti luar biasa yang pada semua input …

Kekuatan ketidakseragaman yang tidak masuk akal
Dari sudut akal sehat pandang, mudah untuk percaya bahwa menambahkan non-determinisme ke secara signifikan memperluas kekuasaannya, yaitu, N P jauh lebih besar dari P . Bagaimanapun juga, non-determinisme memungkinkan paralelisme eksponensial, yang nampaknya sangat kuat. PP\mathsf{P}N PNP\mathsf{NP}PP\mathsf{P} Di sisi lain, jika kita hanya menambahkan non-keseragaman ke , memperoleh P / …

kompleksitas pembagi umum terbesar (gcd)
Pertimbangkan masalah penghitungan berikut (atau masalah keputusan terkait): Diberi dua bilangan bulat positif yang dikodekan dalam biner, hitung pembagi bersama terbesarnya (gcd). Apa kelas kompleksitas terkecil dari masalah ini? Bisakah Anda memberikan referensi? Dalam pertanyaan ini saya terutama tidak tertarik pada batas asimptotik pada waktu berjalan, tetapi lebih pada kelas …


vs
Masalah utama dari teori kompleksitas ini bisa dibilang vs N P .PPPNPNPNP Namun, karena Alam adalah kuantum, akan terlihat lebih alami untuk mempertimbangkan kelas (masalah yaitu keputusan dipecahkan oleh sebuah komputer kuantum dalam waktu polinomial, dengan probabilitas kesalahan paling 1/3 untuk semua kasus) ans Q M A (setara kuantum dari …



Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.