Pertanyaan yang diberi tag «cc.complexity-theory»

Tentu saja, beberapa hasil kompleksitas mungkin runtuh untuk bahasa unary tapi saya bertanya-tanya apakah ada suatu survei yang merangkum hasil yang diketahui dalam kasus ini: semacam kompleksitas kebun binatang untuk bahasa unary. Apakah Anda tahu referensi seperti itu?

25 cc.complexity-theory  reference-request  big-list 

EDIT (v2): Menambahkan bagian di akhir tentang apa yang saya ketahui tentang masalah. EDIT (v3): Menambahkan diskusi tentang ambang batas di akhir. Pertanyaan Pertanyaan ini terutama merupakan permintaan referensi. Saya tidak tahu banyak tentang masalahnya. Saya ingin tahu apakah ada pekerjaan sebelumnya tentang masalah ini, dan jika demikian, dapatkah seseorang …

24 cc.complexity-theory  reference-request  circuit-complexity  polynomials 

Hal ini terkait dengan pertanyaan, Apakah Ukuran Keanggotaan Saksi untuk Setiap Bahasa NP Sudah Diketahui? Beberapa masalah NPNP\mathsf{NP} (-complete) alami memiliki saksi panjang linier: tugas yang memuaskan untuk SATSATSAT , urutan simpul untuk HAMPATHHAMPATHHAMPATH , dll. Pertimbangkan kelas kompleksitas " NPNP\mathsf{NP} terbatas pada saksi panjang linier". Definisi formal dari kelas …

24 cc.complexity-theory  complexity-classes  np 

Sunting: Saya pertama kali salah mengartikan kendala saya (2), sekarang sudah diperbaiki. Saya juga menambahkan lebih banyak informasi dan contoh. Dengan beberapa rekan, mempelajari beberapa pertanyaan algoritmik lainnya, kami dapat mengurangi masalah kami menjadi masalah menarik berikut, tetapi kami tidak dapat menyelesaikan pertanyaan tentang kompleksitasnya. Masalahnya adalah sebagai berikut. Instance: …

24 cc.complexity-theory  ds.algorithms  reference-request 

Jelas bahwa setiap masalah yang dapat ditentukan dalam deterministic logspace ( LLL ) berjalan paling banyak waktu polinomial ( PPP ). Ada banyak kelas kompleksitas antara LLL dan PPP . Contohnya termasuk NLNLNL , LogCFLLogCFLLogCFL , NCiNCiNC^i , SACiSACiSAC^i , ACiACiAC^i , SCiSCiSC^i . Hal ini secara luas diyakini bahwa …

24 cc.complexity-theory  lower-bounds  space-bounded 

Ada literatur yang kaya dan setidaknya satu buku yang sangat bagus menguraikan kekerasan yang diketahui hasil perkiraan untuk masalah NP-keras dalam konteks kesalahan multiplikasi (misalnya 2-perkiraan untuk penutup vertex optimal dengan asumsi UGC). Ini juga termasuk kelas kompleksitas perkiraan yang dipahami dengan baik seperti APX, PTAS dan sebagainya. Apa yang …

24 cc.complexity-theory  complexity-classes  np-hardness  approximation-hardness 

Apa konsekuensi dari memiliki masalah lengkap dalam ?NP∩ c o NPNP∩coNPNP\cap coNP

24 cc.complexity-theory  conditional-results 

Apakah ada masalah NP-lengkap yang diketahui algoritma yang waktu berjalannya diharapkan polinomial (untuk beberapa distribusi yang masuk akal atas contoh)? Jika tidak, adakah masalah yang keberadaan algoritme seperti itu telah ditetapkan? Atau apakah keberadaan algoritma seperti itu menyiratkan adanya algoritma waktu polinomial deterministik?

24 cc.complexity-theory  np-hardness 

Pertanyaan ini dimigrasikan dari Computer Science Stack Exchange karena dapat dijawab di Theoretical Computer Science Stack Exchange. Bermigrasi 3 tahun yang lalu . Dalam makalah Science 2016 " Realisasi algoritma Shal scalable " [ 1 ], penulis faktor 15 dengan hanya 5 qubit, yang lebih sedikit dari 8 qubit "diperlukan" …

23 cc.complexity-theory  ds.algorithms  quantum-computing  factoring  security 

Akses ke oracle akan memberikan percepatan super-polinomial besar untuk semua yang ada di (dengan asumsi set tidak kosong). Hal ini kurang jelas, bagaimanapun, berapa banyak akan manfaat dari akses oracle ini. Tentu saja, percepatan dalam tidak bisa super polinomial, tetapi masih bisa polinomial. Misalnya, dapatkah kita menemukan jalur terpendek lebih …

23 cc.complexity-theory  np  np-complete 

Teori kompleksitas, melalui konsep-konsep seperti NP-kelengkapan, membedakan antara masalah komputasi yang memiliki solusi yang relatif efisien dan yang tidak bisa dipecahkan. Kompleksitas "berbutir halus" bertujuan untuk menyaring perbedaan kualitatif ini menjadi panduan kuantitatif tentang waktu yang dibutuhkan untuk menyelesaikan masalah. Rincian lebih lanjut dapat ditemukan di sini: http://simons.berkeley.edu/programs/complexity2015 Berikut ini …

23 cc.complexity-theory  reference-request  complexity-classes  fine-grained 

Saat ini bitcoin memiliki sistem proof of work (PoW) menggunakan SHA256. Fungsi hash lainnya menggunakan bukti sistem kerja menggunakan grafik, inversi fungsi hash parsial. Apakah mungkin untuk menggunakan masalah Keputusan dalam Knot Theory seperti pengakuan Knot dan menjadikannya sebagai bukti fungsi kerja? Adakah yang pernah melakukan ini sebelumnya? Juga, ketika …

23 cc.complexity-theory  reference-request  cr.crypto-security  algebraic-topology 

Polinom adalah proyeksi monoton dari polinom g ( y 1 , ... , y m ) jika m = poli ( n ) , dan ada penugasan π : { y 1 , ... , y m } → { x 1 , ... , x n , 0 , …

23 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits 

Saat ini saya mencoba untuk menemukan masalah EXPSPACE-lengkap (terutama untuk menemukan inspirasi untuk pengurangan), dan saya terkejut dengan sejumlah kecil hasil yang muncul. Sejauh ini, saya menemukan ini, dan saya kesulitan memperluas daftar: universalitas (atau sifat-sifat lainnya) dari ekspresi reguler dengan eksponensial. masalah yang berkaitan dengan sistem penambahan vektor game …

23 cc.complexity-theory  reference-request  big-list 

Pertimbangkan tugas komputasi berikut: Kami ingin mengambil sampel rumus 3-SAT dari variabel (varian: variabel klausa) berkenaan dengan distribusi probabilitas seragam, dikondisikan pada rumus yang memuaskan:n mnnnnnnmmm T1: Dapatkah ini dicapai secara efisien oleh komputer klasik (dengan bit acak)? T2: Bisakah ini dicapai secara efisien oleh komputer kuantum? Saya juga tertarik …

23 cc.complexity-theory  quantum-computing  sample-complexity