Shor menyatakan, dalam komentarnya pada jawaban moose anonim untuk pertanyaan ini Bisakah Anda mengidentifikasi jumlah dua permutasi dalam waktu polinomial? , bahwa -complete untuk mengidentifikasi perbedaan dua permutasi. Sayangnya, saya tidak melihat pengurangan langsung dari masalah jumlah...
Katakanlah kita memiliki masalah komputasi, misalnya 3-SAT, yang memiliki seperangkat contoh masalah (mungkin input) . Biasanya dalam analisis algoritma atau teori kompleksitas komputasi, kami memiliki beberapa set dari semua input dengan panjang , dan fungsi yang memberikan waktu berjalan...
Algoritma Karatsuba untuk perkalian cepat pertama kali diterbitkan dalam A. Karatsuba dan Yu. Ofman (1962), "Multiplikasi Angka Banyak-Digital dengan Komputer Otomatis", Prosiding Akademi Ilmu Pengetahuan Uni Soviet 145: 293–294. Menurut Karatsuba (1995, "Kompleksitas perhitungan", Proc. Steklov...
Ketika saya mengajar batas ekor, saya menggunakan progresi yang biasa: Jika rv Anda positif, Anda dapat menerapkan ketimpangan Markov Jika Anda memiliki kemandirian dan juga varian dibatasi, Anda dapat menerapkan ketidaksamaan Chebyshev Jika setiap rv independen juga memiliki semua momen...
Mari kita memanggil fungsi superpolinomial jika ditahan untuk setiap c> 0 .f( n )f(n)f(n) c > 0limn → ∞nc/ f( n ) = 0limn→∞nc/f(n)=0\lim_{n\rightarrow\infty} n^c/f(n)=0c > 0c>0c>0 Jelaslah bahwa untuk bahasa apa pun L ∈ PL∈PL\in {\mathsf P} ia berpendapat bahwa L ∈ D T I M E ( f( n )...
Ini adalah hasil klasik bahwa setiap rangkaian fan-in 2 AND-OR-NOT yang menghitung PARITY dari variabel input memiliki ukuran minimal dan ini tajam. (Kami mendefinisikan ukuran sebagai jumlah gerbang AND dan OR.) Buktinya adalah dengan eliminasi gerbang dan tampaknya gagal jika kami mengizinkan...
Ketika dibatasi hingga - input, setiap -circuit menghitung beberapa fungsi . Untuk mendapatkan fungsi boolean , kita bisa menambahkan satu gerbang ambang batas fanin-1 sebagai gerbang keluaran. Pada input , ambang yang dihasilkan - sirkuit kemudian menghasilkan jika , dan menghasilkan jika ; ambang...
Saya tahu bahwa kompleksitas sebagian besar varietas kalkulus lambda yang diketik tanpa primitif combinator Y dibatasi, yaitu hanya fungsi kompleksitas yang dibatasi yang dapat diekspresikan, dengan batas menjadi lebih besar ketika ekspresi dari sistem tipe tumbuh. Saya ingat bahwa, misalnya,...
Saya menemukan hasil berikut selama penelitian saya. m=ω(√limn → ∞E [ # { | Sebuahsaya- aj| ,1≤i,j≤m}n] =1limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1\lim\limits_{n\to \infty} \mathbb{E}\left[ \frac{\#\{|a_i-a_j|,1\le i,j\le m \}}{n} \right] = 1a1,⋯,am[n]m = ω ( n--√)m=ω(n)m=\omega(\sqrt n)Sebuah1, ⋯ ,...
Untuk algoritma acak mengambil nilai nyata, "trik median" adalah cara sederhana untuk mengurangi kemungkinan kegagalan pada ambang batas mana pun , dengan biaya hanya pada multiplikatif) overhead. Yaitu, jika output \ mathcal {A} jatuh ke "rentang yang baik" I = [a, b] dengan probabilitas...
Apakah ada masalah alami dalam P yang terikat waktu berjalan paling dikenal adalah dari bentuk , di mana adalah konstanta irasional ?O (
László Babai baru-baru ini membuktikan bahwa masalah Graph Isomorphism berada dalam masa quasipolynomial . Lihat juga ceramahnya di University of Chicago, catatan dari pembicaraan oleh Jeremy Kun GLL pos 1 , GLL pos 2 , GLL pos 3 . Menurut teorema Ladner, jika , maka tidak kosong, yaitu...
Diketahui bahwa masalah berikut ini adalah PSPACE-complete: Diberi persamaan reguler , apakah ?L ( β ) = Σ ∗ββ\betaL ( β) = Σ∗L(β)=Σ∗L(\beta) = \Sigma^* Bagaimana dengan menentukan ekivalensi dengan persamaan reguler (tetap) ?αα\alpha Diberi persamaan reguler , apakah ?L ( β ) = L ( α...
CoC yang dikatakan puncak dari semua tiga dimensi dari Lambda Cube. Ini sama sekali tidak terlihat bagi saya. Saya pikir saya memahami dimensi individu, dan kombinasi dari dua tampaknya menghasilkan persatuan yang relatif mudah (mungkin saya kehilangan sesuatu?). Tapi ketika saya melihat CoC itu,...
Masalah berikut baru-baru ini muncul dalam penelitian saya. Menjadi tidak ahli dalam pertanyaan algoritmik, saya telah mencari Google secara ekstensif dalam mencari masalah yang cocok untuk dikurangi. Saya tidak melihat bagaimana 3SAT akan bekerja, dan meskipun ZOE memiliki semangat yang sama,...
Saya menulis makalah dalam ilmu komputer teoritis kadang-kadang menjadi penulis tunggal nonanonim. Sebelumnya, saya menggunakan orang pertama jamak dalam makalah tersebut, misalnya: Kami akan menunjukkan bahwa kompleksitas kelas X dan Y bersamaan. Saya bukan penutur bahasa Inggris asli atau...
Sepertinya saya bahwa bahasa makro yang digunakan oleh mungkin dapat dilihat sebagai semacam sistem penulisan ulang istilah atau semacam bahasa pemrograman dengan pelingkupan panggilan demi nama.TEXTEX\TeX Bahkan implementasi modern dari mesin (mis. ) menafsirkan kode dengan cara yang cukup...
Baru-baru ini, saya melalui pengalaman menyenangkan yang menyakitkan dengan menjelaskan secara informal konsep kompleksitas komputasi kepada seorang programmer otodidak berbakat muda, yang tidak pernah mengambil kursus formal dalam algoritma atau kompleksitas sebelumnya. Tidak mengherankan, banyak...
Saya mencari bahasa yang "mungkin bukan Bebas Konteks" tetapi kami tidak dapat (buktikan) menggunakan teknik standar yang dikenal. Apakah ada survei terbaru pada subjek atau bagian masalah terbuka dari konferensi baru-baru ini? Mungkin tidak banyak bahasa yang tidak dikenal sebagai CF, jadi...
Secara umum, query-tape untuk oracle diperhitungkan dalam kompleksitas ruang TM. Namun, tampaknya masuk akal untuk memungkinkan rekaman-saja oracle-tape (seperti yang digunakan dalam pengurangan ruang-L). Apakah konstruksi seperti itu bermanfaat? Apakah itu menghasilkan hasil yang sangat tidak...