Secara informal, fungsi satu arah didefinisikan sehubungan dengan algoritma PTIME. Mereka dapat dihitung dalam waktu polinomial tetapi tidak dapat dibalik dalam waktu polinomial kasus-rata. Keberadaan fungsi tersebut merupakan masalah terbuka yang penting dalam ilmu komputer teoretis. Saya...
Biarkan fff menjadi fungsi Boolean dari variabel Boolean. Misalkan menjadi nilai yang diharapkan dari ketika diperoleh dari dengan membalik setiap koordinat dengan probabilitas .g ( x ) = T ϵ ( f ) ( x ) f ( y ) y x ϵ / 2nnng(x)=Tϵ(f)(x)g(x)=Tϵ(f)(x)g(x)=T_\epsilon (f)
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...
Seperti yang saya pahami, bukti bahwa P = NP atau P ≠ NP harus tidak dapat direlatifikasi (seperti dalam teori rekursi). Namun, pada dasarnya semua bukti tampaknya relativizable. Apa contoh yang baik dari bukti yang tidak dapat direlatifikasi, dari jenis yang perlu P = NP / P ≠ NP bukti, yang...
Asumsikan P NP.≠≠\ne Teorema Ladner mengatakan bahwa ada masalah NP Menengah (masalah dalam NP yang tidak dalam P atau NP-Lengkap). Saya telah menemukan beberapa referensi terselubung online yang menyarankan (saya pikir) bahwa ada banyak "level" dari bahasa yang saling direduksi dalam NPI yang...
Apakah semua berikut ini dapat bertahan secara bersamaan? LsLsL_s terkandung dalam untuk semua bilangan bulat positif . sLs+1Ls+1L_{s+1}sss L=⋃sLsL=⋃sLsL = \bigcup_s L_s adalah bahasa dari semua kata hingga lebih dari .{0,1}{0,1}\{0,1\} Ada beberapa kelas kompleksitas CCC dan gagasan yang tepat...
Sebuah pertanyaan baru-baru ini (lihat Konsekuensi dari NP = PSPACE ) meminta "jahat" konsekuensi dari NP=PSPACENP=PSPACENP=PSPACE . Jawaban daftar beberapa konsekuensi keruntuhan, termasuk NP=coNPNP=coNPNP=coNP dan lain-lain, memberikan banyak alasan untuk percaya NP≠PSPACENP≠PSPACENP\neq PSPACE...
Misalkan menjadi fungsi mayoritas, yaitu f ( x ) = 1 jika dan hanya jika β n i = 1 x i > n / 2f:{0,1}n→{0,1}f:{0,1}n→{0,1}f: \{0,1\}^n \to \{0,1\}f(x)=1f(x)=1f(x) = 1∑ni=1xi>n/2∑i=1nxi>n/2\sum_{i = 1}^n x_i > n/2 . Saya bertanya-tanya apakah ada bukti sederhana dari fakta berikut (dengan...
Saya sedang mempelajari model perhitungan BSS baru-baru ini (lih misalnya Kompleksitas dan Komputasi Nyata; Blum, Cucker, Shub, Smale.) Untuk real , ditunjukkan bahwa, diberi sistem polinomial , keberadaan nol adalah . Namun, saya bertanya-tanya, apakah itu polinomial hanya memiliki koefisien...
Judulnya sedikit menyesatkan: tapi semoga pertanyaannya bukan: Hasil baru Grønlund dan Pettie menunjukkan bahwa 3SUM hanya memiliki kompleksitas pohon keputusan membuat saya bertanya-tanya:O(n3/2)O(n3/2)O(n^{3/2}) Apakah ada contoh sederhana dari masalah dengan kompleksitas pohon keputusan...
Saya mengalami pengurangan masalah partisi berikut menjadi masalah penjadwalan tertentu: Input: Daftar bilangan bulat positif dalam urutan yang tidak berkurang.Sebuah1⩽ ⋯ ⩽ anSebuah1⩽⋯⩽Sebuahna_1\leqslant\cdots\leqslant a_n Pertanyaan: Apakah ada vektor sedemikian rupa sehingga( x1, ... , xn) ∈ {...
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...
Dengan diberikannya algoritma yang berjalan dalam waktu , kita dapat mengubahnya menjadi rangkaian keluarga seragam "sepele" untuk masalah ukuran yang sama paling banyak ≈ t ( n ) log t ( n ) .t(n)t(n)t(n)≈t(n)logt(n)≈t(n)logt(n)\approx t(n)\log t(n) Di sisi lain, mungkin kita memiliki sirkuit...
Dalam masalah perpanjangan, kami diberikan bagian dari solusi dan kami ingin memutuskan apakah kami dapat memperluasnya ke solusi yang lengkap. Beberapa masalah perpanjangan dapat dipecahkan secara efisien sementara masalah perpanjangan lainnya mengubah masalah yang mudah menjadi sulit. Misalnya,...
The -hierarchy adalah hirarki kelas kompleksitas W [ t ] dalam kompleksitas parameter, lihat Zoo Kompleksitas untuk definisi. Definisi alternatif mendefinisikan W [ t ] menggunakan pembobotan Fagin tertimbang untuk Π t- formula logika orde pertama, lihat buku teks oleh Flum dan Grohe...
Diberikan grup permutasi pada [ n ] = { 1 , ⋯ , n } , dan dua vektor u , v ∈ Γ n di mana Γ adalah alfabet terbatas yang tidak cukup relevan di sini, pertanyaannya adalah apakah ada beberapa π ∈ G sedemikian rupa sehingga π ( u ) = v di mana π ( u ) berarti menerapkan permutasi π pada Anda dengan...
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...
Apakah ada yang diketahui tentang - t terkecil - terpotong dalam aliran jaringan? Atau, lebih umum, tentang masalah ini:sssttt Input: Jaringan dan angka k , semuanya dalam biner. Output: Sebuah k th terkecil s - t cut.NNNkkkkkksssttt Sebuah th terkecil s - t cut ( S , T ) adalah setiap s - t...
P / poly adalah kelas masalah keputusan yang dipecahkan oleh keluarga sirkuit Boolean ukuran polinomial. Alternatifnya dapat didefinisikan sebagai mesin Turing polinomial-waktu yang menerima string saran yang ukuran polinomial dalam n dan yang hanya didasarkan pada ukuran n. mP / poli adalah kelas...
Pertimbangkan masalah di mana kita diberikan sebagai input grafik asiklik langsung G=(V,E)G=(V,E)G = (V, E) , fungsi pelabelan λλ\lambda dari VVV ke beberapa set LLL dengan urutan total