adalah kelas konstan mendalam sirkuit polinomial-ukuran dengan TIDAK gerbang dan tak terbatas fan-in AND dan gerbang OR, di mana input dan gerbang juga memiliki fanout tak terbatas.AC0AC0AC^0 Sekarang pertimbangkan sebuah kelas baru, sebut saja yang seperti A C 0 tetapi input dan gatesnya paling...
Versi cepat Apakah ada model decoherence untuk kuantum berjalan pada baris sehingga kita bisa tune berjalan ke spread sebagai untuk setiap 1 / 2 ≤ k ≤ 1 ?Θ ( tk)Θ(tk)\Theta(t^k)1 / 2 ≤ k ≤ 11/2≤k≤11/2 \leq k \leq 1 Motivasi Jalan acak klasik berguna dalam desain algoritma, dan jalan acak...
Saya mencari referensi (bukan bukti, yang bisa saya lakukan) untuk perpanjangan Chernoff berikut. Misalkan menjadi variabel acak Boolean, tidak harus independen . Sebagai gantinya, dijamin bahwa untuk setiap dan setiap peristiwa yang hanya bergantung pada
Kita tahu bahwa jika maka seluruh PH akan runtuh. Bagaimana jika hierarki polinomial runtuh sebagian? (Atau bagaimana memahami bahwa PH dapat runtuh di atas titik tertentu dan tidak di bawah?)P=NPP=NPP=NP Dengan kata yang lebih singkat, apa yang akan menjadi konsekuensi dari dan ?P ≠ N...
Biasanya entropi Shannon digunakan untuk membuktikan hasil pengkodean saluran. Bahkan untuk hasil pemisahan sumber-saluran digunakan shannon entropy. Mengingat kesetaraan antara pengertian Shannon (global) vs Kolmogorov (lokal) tentang informasi, apakah telah ada penelitian untuk memanfaatkan...
Dalam bab 10 dari HAC (10.4.2) , kita melihat protokol identifikasi Feige-Fiat-Shamir yang terkenal berdasarkan pada bukti nol-pengetahuan menggunakan kesulitan (diduga) mengekstraksi modulo akar persegi modulo komposit yang sulit untuk faktor. Saya akan memberikan skema dengan kata-kata saya...
SAT unik adalah masalah yang terkenal: diberi rumus CNF , apakah benar F memiliki satu model?FFFFFF Saya tertarik pada masalah «Persis -SAT»: diberikan rumus CNF F dan integer m > 1 , apakah benar F memiliki model m persis ?mmmFFFm > 1m>1m>1FFFmmm Kedua masalah terlihat serupa. Jadi...
Saya bertanya-tanya apa saja kemajuan terbaru dalam teori basis data relasional dan domain terkait? Saya tertarik pada pendekatan baru, bahasa query (alternatif untuk SQL dan / atau ekstensi untuk itu), produk (proprietary dan open source, meskipun saya jauh lebih tertarik pada open source) dan...
Apa masalah standar yang dapat kita kurangi untuk membuktikan batas bawah?Ω ( n logn )Ω(nlogn)\Omega(n\log n) Tentu saja, nyatakan masalah selain penyortiran dan perbedaan elemen.
Dalam pekerjaan saya masalah berikut muncul: Apakah ada algoritma yang diketahui, yang mendekati jumlah kromatik grafik tanpa urutan 65 yang independen? (Jadi alpha (G) <= 64 diketahui dan | V | / 64 adalah lebih rendah sepele, | V | batas atas sepele. Tetapi apakah ada perkiraan yang lebih...
Saya menemukan masalah dalam bukti pengurangan subjek Barendregt (Thm 4.2.5 dari kalkulasi Lambda dengan tipe ). Langkah terakhir dari bukti (halaman 60), mengatakan: "Dan karenanya oleh Lemma 4.1.19 (1), Γ,x:ρ⊢P:σ′Γ,x:ρ⊢P:σ′\quad\Gamma,x:\rho\vdash P:\sigma' . " Namun, menurut Lemma 4.1.19 (1)...
Pertimbangkan masalah tes keanggotaan abelian-subkelompok berikut ini . Input: Sebuah kelompok abelian berhingga dengan sewenang-wenang-besar .G=Zd1×Zd1…×ZdmG=Zd1×Zd1…×ZdmG=\mathbb{Z}_{d_1}\times\mathbb{Z}_{d_1}\ldots\times\mathbb{Z}_{d_m}didid_i Sebuah pembangkit-set dari subkelompok...
Seperti diketahui, masalah optimasi NP-hard dapat memiliki banyak rasio pendekatan yang berbeda, mulai dari memiliki PTAS hingga tidak dapat diperkirakan dalam faktor apa pun. Di antaranya, kita memiliki berbagai konstanta, , p o l y ( n ) , dll.O ( logn )O(logn)O(\log n)p o l y( n...
Saya mencari bahasa L dengan properti berikut: L seharusnya tidak bebas konteks. Komplemen L tidak boleh bebas konteks. (Segala sesuatu yang Anda lihat dalam buku teks sebagai contoh utama dari bahasa bebas-konteks tampaknya gagal persyaratan kedua ini.) L seharusnya tidak terlalu sulit,...
Berat |x||x||x|dari string biner x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n adalah jumlah yang ada dalam string. Apa yang terjadi jika kita tertarik untuk menghitung fungsi monoton pada input dengan sedikit? Kita tahu bahwa memutuskan apakah sebuah grafik memiliki kkk -clique sulit untuk rangkaian monoton...
Diberi endofunctor , kita dapat mendefinisikan fungsi observasi sebagai fungsi yang polimorfik untuk setiap F -coalgebra, yaitu o b s didefinisikan untuk setiap F -coalgebra ⟨ A , c : A → F A ⟩ . o b s : ∀ ⟨ A , c ⟩ . A → B Cara lain untuk melihat fungsi observasi adalah sebagai fungsi finalF: Se...
Biasanya lebih mudah untuk berpikir tentang kalkulus di mana batasannya adalah keterbatasan perhitungan daripada ambang batas seperti "dapat dihitung dalam jumlah waktu polinomial". Dalam teori bahasa formal misalnya, alih-alih menggunakan ∃ n . xn + 1= xn∃n.xn+1=xn\exists n. x^{n+1} = x^n untuk...
Saya hanya ingin tahu beberapa contoh fungsi yang dapat dihitung oleh kalkulus lambda yang tidak diketik tetapi tidak dengan mengetik kalkulus lambda. Karena saya seorang pemula, beberapa pengulangan informasi latar belakang akan dihargai. Terima kasih. Sunting: dengan kalki lambda yang diketik,...
Katakanlah seseorang memiliki bahasa , tetapi orang tidak tahu string apa yang sebenarnya bagian dari bahasa tersebut. Semua yang dimiliki adalah pandangan terbatas bahasa: seperangkat string terbatas A ⊆ L yang dikenal dalam bahasa tersebut, dan seperangkat string terbatas B ⊆ ( Σ ∗ ∖ L ) yang...
Saya mencari algoritma cepat untuk menghitung aliran maksimum dalam grafik dinamis. yaitu diberi grafik dan s , t ∈ V kita memiliki aliran maksimum F dalam G dari s ke t . Kemudian simpul baru / lama u ditambahkan / dihapus dengan tepi yang sesuai untuk membentuk grafik G 1 . Berapakah aliran...