Ilmu Komputer Teoritis

Untuk merayakan ulang tahun Alan Turing, Google menerbitkan doodle yang menunjukkan mesin. Mesin seperti apa doodle itu? Bisakah itu mengekspresikan bahasa Lengkap Turing? Ada perbedaan yang jelas dengan mesin turing klasik: pita terbatas, kendala dalam bagaimana negara dapat dihubungkan, ... Orat-oret masih tersedia di sini (Tampilan di kanan atas menunjukkan …

10 cc.complexity-theory  turing-machines 

Misalkan menjadi grafik yang tidak terarah. Sebuah dekomposisi V menjadi beberapa bagian yang menguraikan V i disebut dekomposisi Hamilton dari G jika subgraph disebabkan oleh masing-masing set V i adalah salah grafik Hamilton atau terdiri dari tepi tunggal dengan | V i | = 2 .G = ( V, E)G=(V,E)G=(V,E)VVVVsayaViV_iGGGVsayaViV_i| …

10 cc.complexity-theory  ds.algorithms  graph-theory  np-hardness  hamiltonian-paths 

Saya mencoba menggunakan pohon sufiks untuk membandingkan urutan string. Saya telah menemukan implementasi / teori untuk masalah sub string umum terpanjang menggunakan pohon suffix. Namun, apa yang saya cari adalah diskusi tentang masalah terkait - "semua substring umum". Secara khusus, saya memiliki masalah di mana saya harus terlebih dahulu menemukan …

10 ds.algorithms  string-matching 

Dalam makalah Pada dua masalah teori informasi , Erd dan Rényi memberikan batas yang lebih rendah pada jumlah minimum penimbangan yang harus dilakukan seseorang untuk menentukan jumlah koin palsu dalam satu set koin.nnn Lebih formal: Koin palsu memiliki bobot lebih kecil dari koin kanan; bobot dan dari koin kanan dan …

10 ds.algorithms  reference-request  co.combinatorics  it.information-theory  randomized-algorithms 

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 …

10 reference-request  quantum-computing  application-of-theory 

Misalkan menjadi seperangkat Basis yang Tidak Saling Cocok (MUB) dalam C n , yaitu setiap B i adalah basis ortonormal dan untuk v ∈ B i , w ∈ B j , i ≠ j we punya | ⟨ V | w ⟩ | = 1B= { B1, ... , …

10 reference-request  quantum-information 

Apa batas terbaik saat ini untuk melakukan kueri penghitungan kisaran ruang setengah pada set poin dimensi, dinyatakan dalam bentuk tradeoff waktu / ruang. Menurut mani 1993 kertas Matousek ini (Teorema 6.2, pencarian Rentang dengan Efisien hirarkis Stek), kita dapat melakukan berbagai perhitungan untuk query yang merupakan persimpangan halfspaces, untuk , …

10 reference-request  ds.data-structures  cg.comp-geom 

Untuk sebuah grafik diarahkan dan himpunan simpul, apa algoritma asimtotik tercepat dikenal untuk menemukan jalan sederhana yang berisi semua elemen . Bagaimana jika kita membutuhkan jalur sesingkat mungkin?GGGSSSSSS

10 ds.algorithms  graph-algorithms  time-complexity 

Saya baru di situs ini dan pertanyaan ini tentu saja bukan tingkat penelitian - tetapi oh well. Saya memiliki sedikit latar belakang dalam rekayasa perangkat lunak dan hampir tidak ada di CSTheory, tetapi saya merasa menarik. Untuk membuat cerita panjang pendek, saya ingin jawaban yang lebih rinci untuk yang berikut …

10 pl.programming-languages  recursion  recursive 

Matriks Moore mirip dengan matriks Vandermonde tetapi memiliki definisi yang sedikit dimodifikasi. http://en.wikipedia.org/wiki/Moore_matrix Apa kompleksitas komputasi determinan dari yang diberikan n×nn×nn \times n rank penuh Moore matriks modulo suatu bilangan bulat? Can Moore penentu dikurangi dari O(n3)O(n3)O(n^{3}) menggunakan teknik FFT ke O(nlogan)O(nloga⁡n)O(n\log^{a}n) untuk beberapa a∈R+∪{0}a∈R+∪{0}a \in \mathbb{R}_{+} \cup \{0\} ? …

10 cc.complexity-theory  algebraic-complexity 

Misalkan kita mempertimbangkan 3-SAT dengan variabel dan klausa . Saya sedang meneliti metode yang tampaknya mengambil waktu / ruang untuk memecahkan masalah SAT yang sesuai dengan deskripsi ini, untuk dalam kesalahan yang dapat disesuaikan dengan jumlah sewenang-wenang. Namun, ada yang menangkap.vvvcccO(v2+logc)O(v2+log⁡c)O(v^{2+\log c}) Metode ini membutuhkan seperangkat nilai yang dikomputasi, setelah …

10 ds.algorithms  sat  upper-bounds 

Set S={e1,⋯,en}S={e1,⋯,en}S=\{e_1,\cdots,e_n\} diberikan. Untuk setiap elemen esayaeie_i , kami memiliki bobot wsaya> 0wi>0w_i>0 dan biaya csaya> 0ci>0c_i>0 . Tujuannya adalah menemukan subset M.MM dari ukuran kkk yang memaksimalkan fungsi tujuan sebagai berikut: ∑esaya∈ M.wsaya+ ∑esaya∉ M.wsayacsaya∑esaya∉ M.csaya∑ei∈Mwi+∑ei∉Mwici∑ei∉Mci\sum_{e_i\in M} w_i + \frac{\sum_{e_i\notin M} w_i c_i}{\sum_{e_i\notin M} c_i} . Apakah masalahnya NP-keras? …

10 np-hardness  optimization 

Jika OWF ada, maka komitmen bit yang mengikat secara statistik adalah mungkin. [1] Apakah diketahui bahwa jika OWF ada, maka komitmen bit yang mengikat dengan sempurna dimungkinkan? Jika tidak, adakah pemisahan kotak hitam yang diketahui di antara mereka? [1] http://en.wikipedia.org/wiki/Pseudorandom_generator_theorem dan http://en.wikipedia.org/wiki/Commitment_scheme#Bit-commitment_from_a_pseudo-random_generator

10 cr.crypto-security  one-way-function 

Pertimbangkan grafik kubik acak yang terhubung darisimpul, diambil dari -reg (seperti yang didefinisikan di sini , yaitu adalah genap dan setiap dua grafik memiliki probabilitas yang sama).n = | V | G ( n , 3 ) 3 nG=(V,E)G=(V,E)G=(V,E)n=|V|n=|V|n =|V|G(n,3G(n,3G(n, 3)))3n3n3n Tentu saja ada mungkin Searches Breadth First, satu untuk …

10 graph-theory  co.combinatorics 

Beberapa dari kita telah membaca makalah Michael Nielsen tentang pendekatan geometri untuk menggunakan batas bawah kuantum (secara singkat, konstruksi metrik Finsler pada sehingga jarak geodesi dari I ke elemen U adalah batas bawah) pada jumlah gerbang dalam sirkuit kuantum yang menghitung U ).SU(2n)SU(2n)SU(2^n)IIIUUUUUU Saya bertanya-tanya apakah ada contoh nyata masalah …

10 quantum-computing