Ilmu Komputer Teoritis

T&J untuk ilmuwan dan peneliti komputer teoretis di bidang terkait

2
Menyortir menggunakan tumpukan read-only
Pertimbangkan pengaturan berikut: kami diberi tumpukan sss yang berisi item.nnn kita dapat menggunakan jumlah tumpukan ekstra konstan .O ( 1 )HAI(1)O(1) kita dapat menerapkan operasi berikut pada tumpukan ini: periksa apakah tumpukan kosong, membandingkan item teratas dari dua tumpukan, hapus item teratas dalam tumpukan, cetak item teratas dalam tumpukan, salin …
2
Jaminan teoretis untuk waktu menjalankan metode penyebaran keyakinan?
Perambatan keyakinan telah terbukti menjadi metode yang sangat kuat melalui penelitian dalam model grafis probabilistik. Namun, saya tidak tahu apa-apa tentang BP yang sebanding dengan metode MCMC di mana kita dapat memiliki skema aproksimasi acak polinomial sepenuhnya (FPRAS) untuk masalah # P-complete. Bisakah seseorang mengarahkan saya ke beberapa referensi?
1
Bisakah mesin dua penghitung memutuskan
Dapatkah mesin standar dua penghitung ( ) dengan instruksi berikut:c1,c2c1,c2c_1,c_2 1) ADD 1 to c_i, GOTO label_j 2) IF c_i = 0 GOTO label_j, OTHERWISE SUB 1 to c_i and GOTO label_k 3) GOTO label_j 4) HALT and ACCEPT|REJECT tentukan bahasa berikut: L={n2∣n≥1}L={n2∣n≥1}L = \{ n^2 \mid n \geq 1 …
1
Beigel-Tarui transformasi cricuit ACC
Saya membaca lampiran tentang batas bawah ACC untuk NEXP dalam buku Komputasi Kompleksitas Arora dan Barak . http://www.cs.princeton.edu/theory/uploads/Compbook/accnexp.pdf Salah satu lemmas kunci adalah transformasi dari sirkuit untuk polinomial multilinear atas bilangan bulat dengan gelar polylogarithmic dan koefisien quasipolynomial, atau ekuivalen , kelas sirkuit S Y M + , yang merupakan …
6
Interpretasi Geometrik dari Komputasi
Menjadi dari Fisika, saya telah dilatih untuk melihat banyak masalah dari sudut pandang geometris. Misalnya geometri diferensial manifold dalam sistem dinamik dll. Ketika saya membaca dasar-dasar ilmu komputer, saya selalu berusaha menemukan interpretasi geometris. Seperti interpretasi geometris yang masuk akal dari set enumerable rekursif (saya bekerja pada bagian di mana …
1
Berapa kedalaman reduksi minimum yang disyaratkan untuk NP-hardness SAT?
Seperti diketahui semua orang, SAT lengkap untuk kali banyak polynomial . Itu masih lengkap wrt banyak-satu pengurangan.N PNP\mathsf{NP}A C0SEBUAHC0\mathsf{AC^0} Pertanyaan saya adalah berapa kedalaman minimum yang diperlukan untuk reduksi? Lebih formal, Apa yang paling sehingga SAT adalah -Hard wrt banyak-satu pengurangan?dddN PNP\mathsf{NP}A C0dSEBUAHCd0\mathsf{AC^0_d} Sepertinya saya harus mencukupi? Adakah yang tahu …
6
variasi SAT
Saya mencari di internet, tetapi saya tidak dapat menemukan 'daftar besar' varian masalah SAT. Terlepas dari (umum) DUDUK, k-SAT, MAX-kSAT, Setengah SAT, XOR-SAT, NAE-SAT varian apa lagi yang ada? (juga akan sangat berguna jika ada kelas kompleksitas diberikan (jika memungkinkan))
4
Apakah eta-equivalence untuk fungsi-fungsi yang kompatibel dengan operasi seq Haskell?
Lemma: Dengan asumsi kesetaraan eta kita memilikinya (\x -> ⊥) = ⊥ :: A -> B. Bukti: ⊥ = (\x -> ⊥ x)dengan kesetaraan eta, dan (\x -> ⊥ x) = (\x -> ⊥)dengan pengurangan di bawah lambda. Laporan Haskell 2010, bagian 6.2 menentukan seqfungsi dengan dua persamaan: seq :: …
2
Menguji positif bukannya kesetaraan
Alice dan Bob memiliki string n-bit, dan ingin mencari tahu apakah mereka setara saat melakukan sedikit komunikasi. Solusi acak standar adalah memperlakukan string n-bit sebagai polinomial derajat dan kemudian mengevaluasi polinomial atas beberapa elemen yang dipilih secara acak dari bidang ukuran yang lebih besar dari n . Ini membutuhkan komunikasi …
2
Apakah Parity-P terkandung dalam PP?
Pertanyaan ini ditanyakan oleh Jan Pax di milis Yayasan Matematika . Tentu saja tetapi saya menduga dari jawaban pertanyaan ini bahwa tidak diketahui apakah (jika tidak, akan menjadi satu kemungkinan jawaban untuk pertanyaan itu). Jika tidak diketahui, apakah ada pemisahan oracle?P⊕P⊆P#P=PPPP⊕P⊆P#P=PPPP^{\oplus P} \subseteq P^{\#P} = P^{PP}⊕P⊆PP⊕P⊆PP\oplus P \subseteq PPPPPPPP
1
Bagaimana sebuah masalah bisa di NP, NP-hard dan bukan NP-complete?
Untuk waktu yang paling lama saya berpikir bahwa masalah adalah NP-lengkap jika keduanya (1) NP-hard dan (2) ada di NP. Namun, dalam makalah terkenal "Metode ellipsoid dan konsekuensinya dalam optimasi kombinatorial" , para penulis mengklaim bahwa masalah bilangan kromatik fraksi milik NP dan NP-keras, namun tidak diketahui NP-lengkap. Pada halaman …
1
Apakah ada algoritma NC kuantum untuk menghitung GCD?
Dari komentar di salah satu pertanyaan saya di MathOverflow saya mendapatkan perasaan bahwa pertanyaan mengenai GCD berada di vs P ini mirip dengan pertanyaan mengenai Integer faktorisasi berada di P vs N P .N CNC\mathsf{NC}PP\mathsf{P}PP\mathsf{P}N PNP\mathsf{NP} Apakah ada sesuatu seperti "kuantum " algoritma untuk GCD karena ada kuantum polinomial waktu …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.