Judulnya kurang lebih menyebutkan semuanya, tapi saya rasa saya bisa menambahkan sedikit latar belakang dan beberapa contoh spesifik yang saya minati. Para ahli teori kompleksitas deskriptif, seperti Immerman dan Fagin, telah mengkarakterisasi banyak kelas kompleksitas yang paling terkenal...
Biarkan menjadi kelas dari semua bahasa reguler.REGREG\mathsf{REG} Diketahui dan \ mathsf {REG} \ tidak \ subset \ mathsf {AC} ^ 0 . Tetapi apakah ada karakterisasi untuk bahasa di \ mathsf {AC} ^ 0 \ cap \ mathsf {REG} ?AC0⊄REGAC0⊄REG\mathsf{AC}^0 \not\subset
Diskusi : Saya telah menghabiskan waktu pribadi akhir-akhir ini mempelajari berbagai hal dalam kompleksitas komunikasi. Sebagai contoh, saya telah membiasakan diri dengan bab yang relevan di Arora / Barak, mulai membaca beberapa makalah, dan memesan buku oleh Kushilevitz / Nisan. Secara intuitif,...
The Karp – Lipton Theoem menyatakan bahwa jika , maka runtuh menjadi . Oleh karena itu, dengan asumsi pemisahan antara dan , no - masalah lengkap akan menjadi milik .P H Σ P 2 Σ P 2 Σ P 3 N P P / p o l yN P ⊂ P / p o l yNP⊂P/poly\mathsf{NP} \subset \mathsf{P/poly}P
Ingat jumlah bilangan prima adalah fungsi penghitungan utama . Dengan "PRIMES dalam P", komputasi ada di #P. Apakah masalahnya # P-selesai? Atau, mungkin, ada alasan kerumitan untuk percaya bahwa masalah ini bukan # P-complete? π(n)π(n)\pi(n)≤n≤n\le nπ(n)π(n)\pi(n) PS Saya menyadari ini agak naif...
Apakah ada survei algoritma untuk menghitung interpolant? Bagaimana dengan makalah pada hanya satu algoritma? Kasus yang paling saya minati adalah A=¬p∧qA=¬p∧qA=\lnot p\land q dan C=qC=qC=q , ditambah kendala bahwa interpolant sekecil mungkin. (Saya tahu makalah McMillan dari 2005 , yang...
t ( G )t(G)t(G)GGGnnnt ( G )t(G)t(G)O ( n3)O(n3)O(n^3)QGJ11n2det ( J+ Q )1n2det(J+Q)\frac{1}{n^2} \det(J + Q)QQQGGGJJJ111 Saya ingin tahu apakah ada cara untuk menghitung lebih cepat. (Ya, ada lebih cepat daripada algoritma untuk komputasi penentu tetapi saya tertarik pada beberapa pendekatan...
Saya mencari makalah survei atau buku yang membahas hasil tentang kompleksitas ruang dari operasi aljabar linear umum seperti peringkat matriks, perhitungan nilai eigen, dll. Saya menekankan bagian "kompleksitas ruang" yang berarti kompleksitas ruang kerja, daripada kompleksitas waktu karena itu...
Menurut catatan sejarah (tidak terverifikasi), Kolmogorov berpikir bahwa setiap bahasa dalam PP\mathsf{P} memiliki kompleksitas rangkaian linier. (Lihat sebelumnya pertanyaan dugaan Kolmogorov yang PPP memiliki sirkuit linear-size .) Perhatikan bahwa kandungannya P≠NPP≠NP\mathsf{P}\neq \mathsf{NP}...
Apa kompleksitas waktu (bukan kompleksitas kueri) dari algoritma Grover? Tampak jelas bagi saya bahwa itu adalah karena adaΩ( √Ω(log(N)N−−√)Ω(log(N)N)\Omega(\log(N) \sqrt{N})iterasi dan setiap iterasi membutuhkan penggunaan operasi refleksi yang pada gilirannya membutuhkan...
Tampaknya diketahui bahwa untuk menemukan jawaban atas kueri atas database relasional D , kita perlu waktu | D | | Q | , dan seseorang tidak dapat menyingkirkan eksponen | Q | .QQQDDD| D || Q ||D||Q||D|^{|Q|}| Q ||Q||Q| Karena bisa menjadi sangat besar, kami bertanya-tanya mengapa database bekerja...
Paritas dan seperti kembar yang tidak terpisahkan. Atau begitulah tampaknya selama 30 tahun terakhir. Mengingat hasil Ryan, akan ada minat baru di kelas-kelas kecil.AC0AC0AC^0 Furst Saxe Sipser ke Yao ke Hastad semuanya adalah pembatasan paritas dan acak. Razborov / Smolensky adalah perkiraan...
Biarkan menjadi fungsi bernilai integer sehingga ada di . Apakah itu berarti ada di ? Adakah alasan untuk meyakini hal ini tidak mungkin selalu berlaku? Adakah referensi yang harus saya ketahui?2 F # P F # PFFF2 F2F2F# P#P\#PFFF# P#P\#P Agak mengherankan, situasi ini muncul (dengan konstanta yang...
Adakah referensi yang memberikan perincian tentang batas bawah sirkuit untuk masalah sulit tertentu yang muncul dalam kriptografi seperti bilangan bulat bilangan bulat, masalah logaritma diskrit utama / komposit dan variannya pada kelompok titik kurva eliptik (dan varietas abelian berdimensi...
Masalah keputusan CNF-SAT dapat digambarkan sebagai berikut: Input: Rumus boolean ϕϕ\phi dalam bentuk normal konjungtif. Pertanyaan: Apakah ada tugas variabel yang memenuhi ?ϕϕ\phi Saya sedang mempertimbangkan beberapa pendekatan berbeda untuk memecahkan CNF-SAT dengan mesin Turing dua-tape...
Bisakah kita menghitung gerbang ambang bit berdasarkan ukuran polinomial (kipas tidak terbatas) pada kedalaman lg nnnn ? Atau, dapatkah kita menghitung jumlah 1 dalam bit input menggunakan sirkuit ini?lgnlglgnlgnlglgn\frac{\lg n}{\lg \lg n} Apakah ?T C0⊆ A l t T i m e ( O ( lgnlglgn) , O ( lgn...
Latar Belakang: Pertimbangkan model kompleksitas komunikasi dua pihak yang biasa digunakan di mana Alice dan Bob diberikan string bit x dan y dan harus menghitung beberapa fungsi Boolean f ( x , y ) , di mana f : { 0 , 1 } n × { 0 , 1 } n → { 0 , 1 }
Misalkan f(n)f(n)f(n) menjadi kasus terburuk saat menjalankan masalah pada input ukuran nnn . Mari kita buat masalahnya agak aneh dengan memperbaiki f(n)=n2f(n)=n2f(n) = n^2 untuk n=2kn=2kn=2k tetapi f(n)=nf(n)=nf(n) = n untuk n=2k+1n=2k+1n=2k+1 . Jadi, apa batas bawah masalahnya? Cara saya...
Bekerja secara langsung dengan kompleksitas waktu atau batas bawah sirkuit menakutkan. Karenanya, kami mengembangkan alat seperti kompleksitas kueri (atau kompleksitas pohon keputusan) untuk menangani batasan yang lebih rendah. Karena setiap kueri mengambil setidaknya satu langkah unit, dan...
Apa kompleksitas (pada RAM bilangan bulat standar) komputasi standar diskrit Fourier transform dari vektor bilangan bulat?nnn Algoritma klasik untuk transformasi Fourier cepat , yang tidak tepat [1] dikaitkan dengan Cooley dan Tukey, biasanya digambarkan sebagai berjalan dalam waktu . Tapi...