Pertanyaan yang diberi tag «reference-request»

Referensi-permintaan digunakan ketika penulis perlu tahu tentang pekerjaan yang terkait dengan pertanyaan tersebut.



3
Catatan pengantar tentang paralelisasi, khususnya pola masalah dan algoritma
Saya mencari catatan Kuliah yang tersedia online atau sumber daya lain yang memberikan pengenalan yang baik ke pemrograman paralel, seperti analog paralel dari kelas dasar dalam ilmu komputer. Fokus saya adalah sebagai berikut: sementara saya dapat berbicara tentang divide & conquer, algoritma serakah, pemrograman dinamis dan sejenisnya, yaitu pola dasar …


1
Kepadatan bahasa P-lengkap
Misalkan adalah bahasa Boolean, dengan string hingga . Biarkan menjadi jumlah string dalam dengan panjang . Untuk fungsi dari bilangan bulat positif ke bilangan real positif, memiliki kepadatan atas jika untuk semua cukup besar .L.LL{ 0 , 1 }{0,1}\{0,1\}L.nLnL_nL.LLnnnd( n )d(n)d(n)L.LL d( n )d(n)d(n)L.n≤ 2nd( n )Ln≤2nd(n)L_n \le 2^n d(n)nnn …


1
Mengurangi anjak piutang produk utama menjadi anjak produk bilangan bulat (rata-rata)
Pertanyaan saya adalah tentang kesetaraan keamanan berbagai fungsi kandidat satu arah yang dapat dibangun berdasarkan kekerasan anjak piutang. Dengan asumsi masalah FAKTOR: [Diberikan untuk bilangan prima acak P , Q &lt; 2 n , temukan P , Q. ]N= PQN=PQN = PQP, Q &lt; 2nP,Q&lt;2nP, Q < 2^nPPPQQQ tidak dapat …

1
Penalaran tentang pengakhiran non-deterministically loop
Inilah pertanyaan "trek B" jika ada. Ringkasan: hal pertama yang saya pikirkan ketika saya mencoba memberikan semantik untuk program-program non-deterministik menghasilkan semantik di mana saya tidak dapat membuktikan hal-hal tentang loop yang hanya mengakhiri non-deterministik. Tentunya seseorang telah mengetahui apa yang harus dilakukan dalam situasi ini, atau setidaknya menunjukkan bahwa …

4
Ketidaksetaraan Tipe-Bell Quantum
Saya ingin tahu apakah seseorang dapat merekomendasikan beberapa bahan pelengkap untuk mendapatkan pemahaman yang lebih dalam tentang makalah ini: " Beberapa Hasil dan Masalah Ketidaksetaraan Tipe-Bell Quantum - Tsirelson ". Khususnya sesuatu yang mungkin menguraikan sedikit lebih banyak tentang interpretasi geometris ketidaksetaraan Bell-Type. Mungkin kertas primer atau buku teks yang …

2
Masalah kisi
Ada cukup banyak pekerjaan pada masalah komputasi untuk pesanan parsial (misalnya, pengakuan, nomor lompatan, pengakuan grafik komparatif, dll ...). Saya ingin tahu apa pekerjaan khusus untuk kisi telah dilakukan. Saya telah mencari-cari dan tidak menemukan banyak pekerjaan serupa untuk kisi-kisi. Secara khusus, saya tertarik pada apakah masalah kisi berikut telah …

4
Membatasi kesenjangan antara kuantum dan kompleksitas kueri deterministik
Meskipun pemisahan eksponensial antara kompleksitas kueri-kuantum kesalahan terbatas ( Q(f)Q(f)Q(f) ) dan kompleksitas kueri deterministik ( D(f)D(f)D(f) ) atau kompleksitas kueri acak terbatas ( R(f)R(f)R(f) ) diketahui, mereka hanya berlaku untuk fungsi parsial tertentu. Jika fungsi parsial memiliki beberapa struktur khusus maka mereka juga terkait secara polinomi dengan D(f)=O(Q(f)9))D(f)=O(Q(f)9))D(f) = …

1
Program rentang, ukuran saksi, dan kompleksitas sertifikat
Program rentang adalah cara linier-aljabar menentukan fungsi boolean yang diperkenalkan di sini . Baru-baru ini, model ini digunakan untuk menunjukkan bahwa metode musuh negatif memberikan karakterisasi yang ketat (setidaknya hingga ) dari kompleksitas kueri.catatann / logcatatanncatatan⁡n/catatan⁡catatan⁡n\log n/ \log \log n Ukuran kompleksitas yang menghubungkan program rentang ke kompleksitas permintaan kuantum …

4
Konstruksi lebih baik daripada yang acak.
Saya tertarik pada contoh konstruksi dalam teori kompleksitas yang lebih baik daripada konstruksi acak. Satu-satunya contoh konstruksi yang saya tahu adalah di bidang kode koreksi kesalahan. Kode aljabar-geometri lebih baik dalam beberapa rentang parameter daripada kode acak. Orang dapat dengan mudah membuat contoh buatan seperti itu. Saya tertarik pada contoh-contoh …



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.