Dalam banyak makalah yang melibatkan tata bahasa bebas konteks (CFG), contoh-contoh tata bahasa yang disajikan di sana sering mengakui karakterisasi yang mudah dari bahasa yang mereka hasilkan. Sebagai contoh: S→aaSbS→aaSbS \to a a S b S→S→S \to menghasilkan {a2ibi|i≥0}{a2ibi|i≥0}\{ a^{2i}...
Jawaban ini untuk masalah utama yang belum terpecahkan dalam ilmu komputer teoritis? pertanyaan menyatakan bahwa itu terbuka jika masalah tertentu dalam NP membutuhkan waktu .Ω(n2)Ω(n2)\Omega(n^2) Melihat komentar di bawah jawaban membuat saya bertanya-tanya: Selain dari padding dan trik...
Misalkan dan algoritma linear-waktu yang cepat untuk SAT muncul besok. Tiba-tiba RSA tidak aman, sebagian besar sistem komunikasi modern kita rusak, dan kita perlu mempertimbangkan kembali cara menjaga rahasia satu sama lain.P= NPP=NPP = NP Pertanyaan: Apakah ada referensi tunggal yang baik (atau...
Menurut D. den Hertog, Interior Point Approach to Linear, Quadratic and Convex Programming, 1994 , sebuah program linier dengan variabel, kendala dan presisi dapat dipecahkan dalam waktu . Apakah itu sudah
Apakah Anda tahu konsekuensi menarik dari dugaan (standar) dalam teori kompleksitas di bidang matematika lainnya (yaitu di luar ilmu komputer teoretis)? Saya lebih suka jawaban di mana: dugaan teori kompleksitas adalah sebagai umum dan standar mungkin; Saya baik-baik saja dengan konsekuensi...
Saya perlu menghitung median berjalan: Input: , k , vektor ( x 1 , x 2 , ... , x n ) .nnnkkk( x1, x2, ... , xn)(x1,x2,…,xn)(x_1, x_2, \dotsc, x_n) Output: vektor , di mana y i adalah median dari ( x i , x i + 1 , ... , x i + k - 1 ) .( y1, y2, ... , yn - k + 1)(y1,y2,…,yn−k+1)(y_1, y_2, \dotsc,...
Karakteristik yang terkenal dari instance -SAT adalah rasio jumlah klausa atas jumlah variabel , yaitu, hasil bagi . Untuk setiap , ada nilai ambang st \ untuk , sebagian besar instance memuaskan, dan untuk kebanyakan instance tidak memuaskan. Ada banyak penelitian yang dilakukan untuk masalah di...
ACSL (Ansi C Spesifikasi Bahasa), adalah spesifikasi untuk kode C, dijelaskan dengan komentar khusus, yang memungkinkan kode C untuk diverifikasi secara resmi. Saya belum memeriksanya, tetapi saya membayangkan bahwa metode formal yang digunakan dalam verifier ACSL akan mirip dengan Hoare Logic....
Tentu saja, beberapa hasil kompleksitas mungkin runtuh untuk bahasa unary tapi saya bertanya-tanya apakah ada suatu survei yang merangkum hasil yang diketahui dalam kasus ini: semacam kompleksitas kebun binatang untuk bahasa unary. Apakah Anda tahu referensi seperti
Untuk setiap , saya mengatakan bahwa urutan s dari bilangan bulat dalam { 1 , ... , n } adalah n- lengkap jika, untuk setiap permutasi p dari { 1 , ... , n } , ditulis sebagai urutan bilangan bulat berbeda berpasangan p 1 , … , p n , urutan p adalah urutan s , yaitu terdapat 1 ≤ i 1 < i...
Apakah ada bahasa NP-complete (lebih disukai natural) , sehingga untuk setiap n ≥ 1 | L ∩ { 0 , 1 } n | = 2 n - 1 tahan? Dengan kata lain, L mengandung tepat setengah dari semua instance n- bit.L⊆{0,1}∗L⊆{0,1}∗L\subseteq \{0,1\}^*n≥1n≥1n\geq 1 |L∩{0,1}n|=2n−1|L∩{0,1}n|=2n−1|L\cap...
Selain menjadi akademis sepenuhnya dan mendapatkan gelar doktor / post-dok, atau mencari pekerjaan yang lebih atau kurang 'standar' dalam pengembangan perangkat lunak, apa sajakah pilihan karir lain di bidang CS teoritis penuh atau semi
Apa konsekuensi dari memiliki masalah lengkap dalam ?NP∩ c o NPNP∩coNPNP\cap
Apakah ada analog paralel alami dengan pohon merah-hitam dengan sifat yang sama atau bahkan tidak terlalu buruk untuk pembaruan sementara cukup efisien dalam bekerja? Secara umum, apa yang terbaik yang dapat kita lakukan untuk pencarian paralel dengan pembaruan?
Apakah ada masalah NP-lengkap yang diketahui algoritma yang waktu berjalannya diharapkan polinomial (untuk beberapa distribusi yang masuk akal atas contoh)? Jika tidak, adakah masalah yang keberadaan algoritme seperti itu telah ditetapkan? Atau apakah keberadaan algoritma seperti itu menyiratkan...
Wikipedia mendefinisikan serangan preimage kedua sebagai: diberi pesan tetap m1, cari pesan berbeda m2 sedemikian sehingga hash (m2) = hash (m1). Wikipedia mendefinisikan serangan tabrakan sebagai: temukan dua pesan berbeda sembarang m1 dan m2 sedemikian sehingga hash (m1) = hash...
Saya mencari ekspander yang tidak seimbang yang "baik" dan "hemat ruang". Secara khusus, grafik reguler-kiri bipartit , , , dengan derajat kiri adalah ekspander -pengembang jika untuk setiap ukuran paling banyak , jumlah tetangga di setidaknya. Diketahui bahwa metode probabilistik menghasilkan...
Keterjeratan sering dianggap sebagai unsur utama yang membuat algoritma kuantum dengan baik ... kuantum, dan ini dapat ditelusuri kembali ke status Bell yang menghancurkan gagasan fisika kuantum sebagai model probabilistik keadaan tersembunyi. Dalam teori informasi kuantum (dari pemahaman saya yang...
Algoritma Coppersmith-Winograd adalah algoritma yang diketahui paling cepat secara asimptot untuk mengalikan dua matriks persegi. Waktu berjalan dari algoritma mereka adalah yang merupakan yang paling dikenal sejauh ini. Apa kompleksitas ruang dari algoritma ini? Apakah itu di ?n×nn×nn \times...
Diketahui bahwa NP-complete untuk menguji apakah siklus Hamilton ada dalam grafik 3-reguler, bahkan jika itu adalah planar (Garey, Johnson, dan Tarjan, SIAM J. Comput. 1976) atau bipartit (Akiyama, Nishizeki, dan Saito, J. Inform. Proc. 1980) atau untuk menguji apakah siklus Hamilton ada dalam...