Pertanyaan yang diberi tag «cc.complexity-theory»

Sudah diketahui bahwa keberadaan fungsi satu arah diperlukan dan cukup untuk banyak kriptografi (tanda tangan digital, generator pseudorandom, enkripsi kunci pribadi, dll.). Pertanyaan saya adalah: Apa konsekuensi teori-kompleksitas dari keberadaan fungsi satu arah? Misalnya, OWF menyiratkan bahwa , , dan . Apakah ada konsekuensi lain yang diketahui? Secara khusus, apakah …

9 cc.complexity-theory  reference-request  complexity-classes  cr.crypto-security  one-way-function 

Mari menjadi keluarga subset -element dari alam semesta terbatas benda. Sebuah keluarga dari subset -element dari , dengan , adalah - Memukul-set dari jika untuk setiap terdapat setidaknya satu set seperti bahwa .FFFdddUUUHHHkkkUUU1≤k&lt;d1≤k&lt;d1 \le k < d(k,d)(k,d)(k,d)FFFV∈FV∈FV \in FW∈HW∈HW \in HW⊂VW⊂VW \subset V Mengingat koleksi seperti di atas, yang - …

9 cc.complexity-theory  reference-request  approximation-hardness  parameterized-complexity 

Saya mencari kompleksitas pemenuhan rumus atau dari rumus mana adalah rumus dari bentuk: Dimana adalah konstanta dalam , dan domain variabel juga .∃ x 1 , ... , x m ∀ y 1 , ... , y n , ϕ ϕ ϕ : = ϕ ∧ ϕ | ¬ ϕ …

9 cc.complexity-theory  reference-request  lo.logic 

Banyak literatur komputasi kuantum berfokus pada model rangkaian. Komputasi kuantum adiabatik tidak didasarkan pada penerapan urutan operator kesatuan, tetapi pada perubahan Hamiltonian yang bergantung waktu. Saya mencari wawasan tentang hal-hal berikut. Apakah komputasi kuantum adiabatik sekuat model rangkaian, atau apakah secara inheren kurang kuat? Apakah ada kelas kompleksitas yang secara …

9 cc.complexity-theory  reference-request  complexity-classes  quantum-computing  quantum-information 

Asumsikan kita beroperasi di bidang yang terbatas. Kami diberi p polinomial tetap besar (x) (dari, katakanlah, derajat 1000) di atas bidang ini. Polinomial ini diketahui sebelumnya dan kami diizinkan untuk melakukan perhitungan menggunakan banyak sumber daya dalam "tahap awal." Hasil ini dapat disimpan dalam tabel pencarian yang cukup kecil. Pada …

9 cc.complexity-theory  ds.algorithms  algebra  algebraic-complexity  polynomials 

Pertimbangkan formula Monotone 3CNF yang memiliki batasan tambahan berikut: Setiap variabel muncul tepat klausa.222 Dengan klausa, mereka membagikan paling banyak 1 variabel.222111 Saya ingin tahu betapa sulitnya menghitung tugas yang memuaskan dari formula seperti itu. Perbarui 06/04/2013 12:55 Saya juga ingin tahu seberapa sulit menentukan paritas dari jumlah tugas yang …

9 cc.complexity-theory  sat  counting-complexity 

Apakah setiap bahasa yang dapat dikenali Turing memiliki subset lengkap NP? Pertanyaannya dapat dilihat sebagai versi yang lebih kuat dari fakta bahwa setiap bahasa yang dikenali Turing yang tak terbatas memiliki himpunan bagian yang tak terbatas.

9 cc.complexity-theory  np-hardness  complexity-classes  np  decidability 

Biarkan menjadi kelas bahasa yang diputuskan dengan bergantian mesin Turing yang berhenti dalam waktu menggunakan spasi . Biarkan menjadi kelas bahasa yang diputuskan dengan bergantian mesin Turing yang berhenti menggunakan bergantian dan spasi .ATISP(f(n),g(n))ATISP(f(n),g(n))\mathsf{ATISP}(f(n), g(n))f(n)f(n)f(n)A A L T S P ( f ( n ) , g ( n ) …

9 cc.complexity-theory  complexity-classes  structural-complexity 

Tutup. Pertanyaan ini di luar topik . Saat ini tidak menerima jawaban. Ingin meningkatkan pertanyaan ini? Perbarui pertanyaan sehingga sesuai topik untuk Theoretical Computer Science Stack Exchange. Ditutup 7 tahun yang lalu . Bagaimana kita dapat mengekspresikan " " sebagai formula orde pertama?P=PSPACEP=PSPACEP=PSPACE Level hirarki aritmatika mana yang berisi rumus …

9 cc.complexity-theory  lo.logic  descriptive-complexity 

Dalam makalah dari Adi Shamir [1] dari 1979 ia menunjukkan, bahwa anjak piutang dapat dilakukan dalam sejumlah langkah aritmatika polinomial . Fakta ini disajikan kembali, dan dengan demikian menjadi perhatian saya, dalam makalah Borwein dan Hobart baru-baru ini [2] dalam konteks program garis lurus (SLP). Karena saya agak terkejut membaca …

9 cc.complexity-theory  cr.crypto-security  algebraic-complexity 

Diketahui bahwa kompleksitas query quantum error terbatas dari fungsi adalah Θ ( √O R ( x1, x2, ... , xn)OR(x1,x2,…,xn)OR(x_1,x_2,\ldots, x_n). Sekarang pertanyaannya adalah bagaimana jika kita ingin algoritma quantum kami berhasil untuk setiap input dengan probabilitas1-εdaripada biasa2/3. Sekarang dalam halϵapa yang akan menjadi batas atas dan bawah yang sesuai?Θ …

9 cc.complexity-theory  ds.algorithms  quantum-computing  lower-bounds 

Bagi saya, berikut ini sepertinya definisi alami dan saya ingin tahu apakah ini telah dipelajari di suatu tempat Pertimbangkan sekumpulan bahasa. Kemudian K ⊂ { 0 , 1 } ω disebut " informasi yang dapat diverifikasi X " ketika ada L ∈ X stX⊂2{0,1}∗X⊂2{0,1}∗\mathsf{X} \subset 2^{\lbrace 0, 1 \rbrace^*}K⊂{0,1}ωK⊂{0,1}ωK \subset …

9 cc.complexity-theory  reference-request 

Penasaran dengan pertanyaan menarik Chris Pressey tentang fungsi dasar-rekursif , saya menjelajahi lebih banyak dan tidak dapat menemukan jawaban untuk pertanyaan ini di web. The fungsi rekursif dasar sesuai dengan baik untuk hirarki eksponensial, .DTIME(2n)∪DTIME(22n)∪⋯DTIME(2n)∪DTIME(22n)∪⋯\text{DTIME}(2^n) \cup \text{DTIME}(2^{2^n}) \cup \cdots Tampaknya langsung dari definisi bahwa masalah keputusan yang dapat ditentukan (term?) …

9 cc.complexity-theory  reference-request  complexity-classes  computability 

Buku karya Arora dan Barak berisi dalam bab catatan tentang PCP Kami mencatat bahwa strategi umum Dinur agak mengingatkan pada konstruksi zig-zag grafik expander dan algoritme logspace deterministik Reingold untuk konektivitas tidak terarah yang dijelaskan dalam Bab 20, yang menunjukkan bahwa lebih banyak koneksi sedang menunggu untuk dibuat antara berbagai …

9 cc.complexity-theory  pcp 

Pertanyaan saya adalah tentang model teori / kompleksitas deskriptif yang terbatas, sehingga berarti "urutan pertama di atas kata-kata biner yang terbatas, menggunakan predikat Rs dan predikat P unary benar pada posisi 1 dalam kata".FO ( R )FO(R)FO(R) Saya ingin tahu, apakah ada caracterisation dari dengan R setiap predikat pada N …

9 cc.complexity-theory  lo.logic  circuit-complexity  descriptive-complexity  finite-model-theory