Pertanyaan yang diberi tag «reference-request»

Bagian dari kesulitan untuk mengetahui lebih lanjut tentang masalah ini adalah bahwa masalah pencocokan grafik berbeda dari sepupunya yang jauh lebih terkenal, masalah pencocokan, tetapi sulit dibedakan dari itu ketika menggunakan mesin pencari. Diberikan dua grafik G=(V,E)G=(V,E)G=(V,E) dan sedemikian rupa sehingga, tugasnya adalah untuk menemukan bijection sedemikian rupa sehingga bijection …

11 reference-request  graph-theory  graph-isomorphism 

Saya mencoba memahami protokol bitcoin dalam konteks keamanan kriptografi komputasi. Pertanyaannya adalah permintaan referensi untuk dasar artikel kriptografi di bitcoin. Pertanyaan pertama saya adalah protokol bitcoin kriptografi abstrak apa yang coba diimplementasikan? Apakah kita memiliki definisi uang elektronik / mata uang digital dalam kriptografi yang menangkap bitcoin? Apa persyaratan keamanan …

11 reference-request  cr.crypto-security 

Apakah permainan informasi yang sempurna ini dimainkan pada grafik yang diketahui / dipelajari? Diberikan grafik , dua pemain bergantian memilih tepi atau simpul yang terisolasi. Jika pemain memilih tepi e = ( u , v ) dua simpul u dan v dihapus bersama dengan tepi insidennya. Jika pemain memilih simpul …

11 reference-request  combinatorial-game-theory 

Masalah terbuka yang sangat menarik dalam studi ukuran kompleksitas fungsi Boolean adalah dugaan sensitivitas vs blok sensitivitas. Untuk latar belakang tentang sensitivitas versus sensitivitas blok Anda dapat melihat posting blog berikut S. Aaronson di http://www.scottaaronson.com/blog/?p=453 . Sepengetahuan saya, batas atas terbaik yang diketahui pada dalam hal adalah . [Kenyon, kertas …

11 cc.complexity-theory  reference-request  fourier-analysis 

Beberapa latar belakang: Saya tertarik untuk menemukan batas bawah (atau hasil kekerasan) "kurang dikenal" untuk masalah Belajar dengan Kesalahan (LWE), dan generalisasi seperti Belajar dengan Kesalahan atas Cincin. Untuk definisi spesifik, dll., Ini adalah survei yang bagus oleh Regev: http://www.cims.nyu.edu/~regev/papers/lwesurvey.pdf Tipe standar (R) asumsi gaya LWE adalah melalui (mungkin, kuantum) …

11 cc.complexity-theory  reference-request  cr.crypto-security  machine-learning  lg.learning 

Saya tertarik pada pertanyaan apakah NP sama dengan coNP atau tidak. Saya sangat menghargai saran tentang publikasi yang bagus untuk membaca topik ini. Sebagai catatan, saya tahu bahwa pertanyaan ini terkait erat dengan pertanyaan apakah P sama dengan NP atau tidak (sehingga jika NP! = CoNP maka P! = NP). …

11 cc.complexity-theory  reference-request  p-vs-np 

EDIT (Oleh Tara B): Saya masih tertarik pada referensi ke bukti ini, karena saya harus membuktikannya sendiri untuk makalah saya sendiri. Saya mencari bukti Teorema 4 yang muncul di makalah ini: Hierarki Infinite dari titik-temu Bahasa Bebas Konteks oleh Liu dan Weiner. Teorema 4: Sebuah berjenis affine berdimensi tidak dinyatakan …

11 reference-request  fl.formal-languages  linear-algebra  context-free-languages  lattice 

Mari menjadi urutan bilangan bulat di mana setiap satu j ∈ { 1 , 2 , ... , n } . Untuk i ∈ { 1 , 2 , … , n } , biarkan m i = | { j : a j = i } | . The …

11 ds.algorithms  reference-request  communication-complexity  data-streams 

Masalah galeri seni tradisional membuat suatu daerah dan penjaga dengan beberapa pandangan tentang visibilitas, dan meminta jumlah penjaga minimum yang perlu ditempatkan untuk melihat seluruh wilayah. Adakah yang pernah melihat varian galeri seni di mana wilayah visibilitas ditentukan oleh sepasang penjaga. Misalnya, satu formulasi mungkin bahwa suatu titik tertutup jika …

11 reference-request  cg.comp-geom 

Saat ini saya sedang mencari beberapa bahan referensi bagus yang menghubungkan permainan non-lokal dengan aspek-aspek bermanfaat dalam komunikasi kuantum. Sebagai contoh, saya menyadari bahwa game non-lokal bagus dalam kompleksitas komunikasi yang terbatas serta memastikan keamanan protokol QKD. Yang ingin saya ketahui adalah, beberapa makalah besar apa yang berkaitan dengan game …

11 reference-request  quantum-computing  communication-complexity  quantum-information 

Saya ingin tahu apakah masalah berikut dapat dipecahkan dalam (nondeterministic logspace):N LNL\mathsf{NL} Diberikan grafik terarah dengan dua simpul dibedakan dan , apakah ada jalur unik dari ke di ?s t s t GGGGssstttssstttGGG Saya merasa bahwa itu kemungkinan ada di karena kita dapat memutuskan apakah ada - --path dan jika …

11 reference-request  graph-theory 

Apakah mungkin untuk membangun suatu algoritma yang mengambil sebagai input suatu pushdown automaton bersama dengan janji bahwa bahasa yang diterima oleh automaton ini L ( M ) adalah bahasa bebas bebas konteks-deterministik dan menghasilkan sebuah otomatisasi pushdown deterministic N yang menerima secara tepat bahasa yang diterima oleh M ?M.MML ( …

11 reference-request  computability  fl.formal-languages  automata-theory 

Logika bersyarat adalah logika yang menambah implikasi logis tradisional dengan operator modal yang sesuai dengan pengertian kondisi lainnya (misalnya, kondisional kausal Ke berbunyi " menyebabkan" B ", atau pengkondisian probabilistik " ", yang bertuliskan " given ").A A | B A BSEBUAH□→ BA◻→BA\; \square\!\!\!\!\to BSEBUAHAAA | BA|BA|BSEBUAHAABBB Biasanya logika ini …

11 reference-request  lo.logic  pl.programming-languages  type-theory  proof-theory 

Saya tahu bahwa pertanyaan "apakah formula orde pertama memiliki model" tidak dapat diputuskan secara umum.ϕϕ\phi Adakah yang bisa memberi saya tautan atau buku yang memberikan jawaban untuk model yang terbatas. Jika saya memiliki rumus urutan pertama , apakah dapat diputuskan apakah ϕ memiliki model terbatas? Saya cukup yakin bahwa pertanyaannya …

11 reference-request  lo.logic  computability  finite-model-theory 

Saya mencoba menemukan masalah yang kompleksitas ruang kasus rata-ratanya telah dianalisis. Lebih khusus, saya tertarik untuk mengetahui apakah ada masalah dengan kompleksitas ruang yang terbukti batas bawahnya yang super-linear, dan terutama jika ada dengan analisis kasus rata-rata (misalnya, terikat berlaku bahkan jika algoritma diizinkan untuk melakukan kesalahan dalam persentase kecil …

11 cc.complexity-theory  reference-request  space-bounded  average-case-complexity