Pertanyaan yang diberi tag «reference-request»

Asumsikan seseorang memiliki algoritma acak (BPP) AAA menggunakan rrr bit keacakan. Cara alami untuk memperbesar probabilitas keberhasilannya menjadi 1−δ1−δ1-\delta , untuk setiap δ>0δ>0\delta>0 , adalah Berjalan independen + suara terbanyak: jalankan AAA secara independen T=Θ(log(1/δ)T=Θ(log⁡(1/δ)T=\Theta(\log(1/\delta) kali, dan mengambil suara mayoritas dari output. Ini membutuhkan rT=Θ(rlog(1/δ))rT=Θ(rlog⁡(1/δ))rT =\Theta(r\log(1/\delta)) bit keacakan, dan meledakan …

12 reference-request  randomness  pseudorandomness  expanders 

Ada peneliti yang menunjukkan bahwa menghapus bit harus mengkonsumsi energi, sekarang adakah penelitian yang dilakukan terhadap konsumsi rata-rata algoritma dengan kompleksitas komputasi ? Saya kira, kompleksitas komputasi F ( n ) berkorelasi dengan konsumsi energi rata-rata, harap saya bisa mendapatkan jawaban di sini.F( n )F(n)F(n)F( n )F(n)F(n)

12 cc.complexity-theory  reference-request  it.information-theory  quantum-information  statistical-physics 

Siapa orang pertama yang menunjukkan bahwa suatu bahasa ada dalam NP jika suatu sertifikat untuk bahasa tersebut dapat diverifikasi dalam waktu polinomial? Apakah kita memiliki kertas yang secara formal membuktikan ini? Kapan komunitas TCS mulai de-menekankan non-determinisme demi verifikasi? Saya tidak bisa, untuk kehidupan saya, menemukan referensi yang bagus untuk …

12 reference-request 

Katakanlah grafik memiliki properti M jika simpulnya dapat dipesan v 1 , v 2 , ... v n sedemikian rupa sehingga grafik H i diinduksi oleh simpul { v 1 , ... , v i } memiliki d i s t H i ( v j , v k ) …

12 reference-request  graph-theory 

Saya mencari makalah survei tentang konsep-konsep penting di bidang Quantum Automata. Saya telah menemukan Teori Quantum Automata - Tinjauan oleh Hirvensalo, tetapi kedengarannya terlalu ringkas untuk memahami topik tersebut. Apakah ada survei yang cukup komprehensif tentang topik Quantum Automata? Juga, bisakah Anda mengarahkan saya ke literatur penting tentang topik ini?

12 reference-request  quantum-computing  automata-theory 

Saya seorang jurusan matematika yang tertarik pada TCS. Saya ingin mempelajari sendiri algoritme, dan kompleksitasnya untuk menyelesaikan masalah teoretis kelompok seperti urutan elemen, penghitungan coset, menemukan generator, menguji apakah subset yang diberikan menghasilkan grup. Buku apa yang harus saya baca?

12 ds.algorithms  reference-request  gr.group-theory  books 

Mengingat komposit jumlah jenderal lapangan saringan terkenal algoritma faktorisasi untuk integer faktorisasi . Ini adalah algoritma acak dan kami mendapatkan kompleksitas yang diharapkan dari faktor . N O ( e √N∈NN∈NN\in\Bbb NNNNNO(e649√(logN)13(loglogN)23)O(e649(log⁡N)13(log⁡log⁡N)23)O\Big(e^{\sqrt{\frac{64}{9}}(\log N)^{\frac 13}(\log\log N)^{\frac 23}}\Big)NNN Saya mencari informasi tentang kompleksitas kasus terburuk pada algoritma acak ini. Namun saya tidak …

12 reference-request  derandomization  factoring  average-case-complexity  worst-case 

pada tahun 1979 Hopcroft / Ullman menulis bahwa L ⊆ P ⊆ NP ⊆ PSpace diketahui tetapi L ⊊ PSpace adalah satu-satunya penahanan yang tepat (& sepele) yang diketahui meskipun semua dikira sebagai penahanan yang tepat, dan "di mana keadaan masih ada" ~ 4 dekade kemudian . sejak itu apakah …

12 cc.complexity-theory  reference-request  lower-bounds  p-vs-np  conditional-results 

Saya membaca survei oleh Trevisan dan Lovett tentang aplikasi kombinatorik aditif di TCS. Sebagian besar aplikasi ini berada di bawah kompleksitas komputasi , misalnya batas bawah. Saya ingin tahu apakah kombinatorik aditif telah menemukan aplikasi dalam desain algoritma juga. Motivasi untuk pertanyaan saya adalah sebagai berikut: sementara hubungan antara aditif …

12 ds.algorithms  reference-request  co.combinatorics 

Saya cukup yakin bahwa saya bukan yang pertama untuk menghibur gagasan bahwa saya akan hadir. Namun, akan sangat membantu jika saya dapat menemukan literatur yang terkait dengan ide tersebut. Idenya adalah untuk membangun Mesin Turing M dengan properti bahwa jika P = NP maka M akan menyelesaikan 3-SAT dalam waktu …

12 reference-request  turing-machines  p-vs-np 

Jadi kita semua tahu perbandingan-pohon batas bawah pada jumlah perbandingan terburuk yang dibuat oleh algoritma sortir perbandingan (deterministik). Itu tidak berlaku untuk penyortiran perbandingan acak (jika kita mengukur perbandingan yang diharapkan untuk input kasus terburuk). Misalnya, untuk n = 4 , batas bawah deterministik adalah lima perbandingan, tetapi algoritma acak …

12 ds.algorithms  reference-request  sorting 

Saat menjawab pertanyaan ini di cstheory , saya (secara informal) membuktikan teorema berikut ini dengan segera: Teorema : Untuk setiap tetap > 3, masalah siklus Hamilton tetap NP-lengkap bahkan jika terbatas pada planar bipartit grafik tidak berarah tingkat maksimum 3 yang tidak mengandung siklus panjang ≤ l .l≥3l≥3l \geq 3≤l≤l\leq …

12 reference-request  np-hardness 

Jadi, pencarian cepat di web membuat saya percaya bahwa "APXHardness menyiratkan bahwa tidak ada QPTAS untuk suatu masalah kecuali [beberapa kelas kompleksitas] termasuk dalam beberapa [kelas kompleksitas lain]" dan ini juga dikenal! Sepertinya semua orang tahu ini kecuali aku. Sayangnya, tidak ada referensi untuk mendukung pernyataan ini. Saya punya dua …

12 cc.complexity-theory  reference-request 

Bahasa Dyck didefinisikan oleh tata bahasa S → S S berikutD y c k (k)Dyck(k)\mathsf{Dyck}(k) atas himpunan simbol { ( 1 , ... , ( k , ) 1 , ... , ) k } . Bahasa secara intuitif Dyck adalah bahasa kurung seimbang dari k yang berbeda. Sebagai contoh, …

12 reference-request  fl.formal-languages  circuit-complexity  ho.history-overview  context-free 

Saya membaca makalah Freyd "Kategori Lengkap Aljabar" di Como90 yang terkenal dan saya memiliki dua pertanyaan tentang gagasan kekompakan aljabar yang ia definisikan dalam makalah itu. (Jika Anda tidak terbiasa dengan definisi tersebut, ini dia: Kategori yang disebut aljabar kompak jika setiap endofunctor memiliki aljabar awal dan aljabar akhir yang …

12 reference-request  type-theory  ct.category-theory