Pertanyaan yang diberi tag «application-of-theory»

Pertanyaan yang timbul dari aplikasi ilmu komputer teoretis di bidang lain penelitian / praktik ilmu komputer atau mata pelajaran lainnya.

1
Mendeteksi sirkuit yang memiliki fungsionalitas dan implementasi yang serupa
Misalkan menjadi vektor variabel boolean. Misalkan C , D menjadi dua sirkuit boolean pada x . Katakan bahwa C mirip dengan D jika:x=(x1,…,xn)x=(x1,…,xn)x=(x_1,\dots,x_n)C,DC,DC,DxxxCCCDDD kecil secara eksponensial, ketika x ditarik secara acak secara acak dari { 0 , 1 } n (dengan kata lain, mereka memiliki fungsi yang hampir identik); dan,Pr[C(x)≠D(x)]Pr[C(x)≠D(x)]\Pr[C(x) …




2
Apakah jejaring sosial biasanya merupakan ekspander yang baik?
Saya tertarik pada sifat kombinatorial jejaring sosial sebagai grafik. Orang-orang telah melihat hal-hal seperti distribusi derajat, koefisien pengelompokan dan kompresibilitas grafik ini. Satu pertanyaan mendasar adalah: Apakah grafik ini biasanya merupakan grafik expander yang bagus? Adakah yang sudah memeriksa, katakanlah, celah spektral grafik facebook? Atau kesenjangan spektral dari jaringan dunia …

1
Apa bukti bahwa komputer kuantum dapat secara efisien mensimulasikan sistem mekanika kuantum yang berubah-ubah?
JBV menyarankan saya mengubah beberapa komentar menjadi pertanyaan, jadi begini saja. Pertanyaan lain [1] menanyakan tentang aplikasi komputasi QM. Satu jawaban [2] adalah "simulasi mekanika kuantum secara efisien". Rupanya ide ini berasal dari tulisan Feynman awal tentang subjek; walaupun saya tidak punya referensi. Begitu: Pertanyaan. Apa bukti bahwa komputer kuantum …

1
Jalur minimum yang mencakup masalah
Kami bekerja di komputer terdistribusi, dan kami menemukan masalah kompleksitas yang mengurangi masalah jalur minimum. Kami saat ini tidak tahu bagaimana menyelesaikannya. Masalahnya adalah sebagai berikut: Biarkan ada beberapa integer, dan membiarkan Z k menjadi grafik yang berisi k ( k + 1 )kkkZkZkZ_k simpul. Kami memberi label pada setiap …



2
Postselection dalam teori kompleksitas geometris
Konteks: Seperti yang saya pahami, dalam teori kompleksitas geometris, keberadaan penghalang berfungsi sebagai sertifikat bukti, sehingga dapat dikatakan, untuk tidak adanya sirkuit komputasi yang efisien untuk fungsi keras eksplisit dalam masalah batas bawah yang sedang dipertimbangkan. Sekarang ada beberapa asumsi lain untuk penghalang bahwa mereka harus pendek, mudah diverifikasi dan …
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.