Pertanyaan yang diberi tag «complexity-classes»

László Babai baru-baru ini membuktikan bahwa masalah Graph Isomorphism berada dalam masa quasipolynomial . Lihat juga ceramahnya di University of Chicago, catatan dari pembicaraan oleh Jeremy Kun GLL pos 1 , GLL pos 2 , GLL pos 3 . Menurut teorema Ladner, jika , maka tidak kosong, yaitu berisi masalah …

21 cc.complexity-theory  complexity-classes  np-complete  polynomial-time  np-intermediate 

Katakanlah bahasa adalah P -density-close jika ada algoritma waktu polinomial yang memutuskan pada hampir semua input dengan benar.LLLLLLL Dengan kata lain, ada P , sehingga menghilang, yang berarti Ini juga berarti bahwa pada input acak yang seragam, algoritma polytime untuk A akan memberikan jawaban yang benar untuk L dengan probabilitas …

20 cc.complexity-theory  ds.algorithms  complexity-classes  np-complete 

Diskusi : Saya telah menghabiskan waktu pribadi akhir-akhir ini mempelajari berbagai hal dalam kompleksitas komunikasi. Sebagai contoh, saya telah membiasakan diri dengan bab yang relevan di Arora / Barak, mulai membaca beberapa makalah, dan memesan buku oleh Kushilevitz / Nisan. Secara intuitif, saya ingin membedakan kompleksitas komunikasi dengan kompleksitas komputasi. …

20 cc.complexity-theory  complexity-classes  big-picture  communication-complexity 

Bahasa daun adalah cara yang indah untuk secara seragam mendefinisikan banyak kelas kompleksitas. Sebagian besar kelas kompleksitas biasanya ditentukan oleh model perhitungan (misalnya, deterministik / acak TM), dan sumber daya terikat (waktu log, ruang poli, dll.). Namun dalam formulasi bahasa daun, hanya ada satu model perhitungan, dan kelas ditentukan dengan …

20 cc.complexity-theory  complexity-classes 

Hari ini di New York dan di seluruh dunia Ulang tahun Christos Papadimitriou dirayakan. Ini adalah kesempatan yang baik untuk bertanya tentang hubungan antara PPAD kelas kompleksitas Christos (dan kelas terkait lainnya) dan komputer kuantum. Dalam makalahnya yang dirayakan tahun 1994, Papadimitriou memperkenalkan dan secara sistematis mempelajari beberapa kelas kompleksitas …

20 cc.complexity-theory  complexity-classes  quantum-computing  cr.crypto-security  nash-equilibrium 

Biarkan menjadi fungsi bernilai integer sehingga ada di . Apakah itu berarti ada di ? Adakah alasan untuk meyakini hal ini tidak mungkin selalu berlaku? Adakah referensi yang harus saya ketahui?2 F # P F # PFFF2 F2F2F# P#P\#PFFF# P#P\#P Agak mengherankan, situasi ini muncul (dengan konstanta yang jauh lebih …

19 cc.complexity-theory  complexity-classes  counting-complexity 

Wikipedia terdaftar empat masalah yang berada di tapi menduga berada di luarBQPBQPBQP : Integer faktorisasi; Logaritma diskrit; Simulasi sistem kuantum; Menghitung polinomial Jones pada akar persatuan tertentu.PPP Apakah ada masalah lain seperti itu?

19 cc.complexity-theory  complexity-classes  quantum-computing 

Apakah ada contoh kelas grafik yang masalah pewarnaan verteksnya ada di P tetapi himpunan independennya adalah masalah NP lengkap?

19 cc.complexity-theory  graph-theory  complexity-classes 

Adakah referensi yang memberikan perincian tentang batas bawah sirkuit untuk masalah sulit tertentu yang muncul dalam kriptografi seperti bilangan bulat bilangan bulat, masalah logaritma diskrit utama / komposit dan variannya pada kelompok titik kurva eliptik (dan varietas abelian berdimensi tinggi) dan umum masalah subkelompok tersembunyi? Secara khusus apakah salah satu …

19 cc.complexity-theory  complexity-classes  cr.crypto-security  circuit-complexity 

Paritas dan seperti kembar yang tidak terpisahkan. Atau begitulah tampaknya selama 30 tahun terakhir. Mengingat hasil Ryan, akan ada minat baru di kelas-kelas kecil.AC0AC0AC^0 Furst Saxe Sipser ke Yao ke Hastad semuanya adalah pembatasan paritas dan acak. Razborov / Smolensky adalah perkiraan polinomial dengan paritas (ok, gerbang mod). Aspnes et …

19 cc.complexity-theory  complexity-classes  lower-bounds  circuit-complexity 

EDIT di 2011/02/08: Setelah beberapa referensi menemukan dan membaca, saya memutuskan untuk memisahkan pertanyaan asli menjadi dua yang terpisah. Inilah bagian tentang UP vs NP, untuk bagian kelas sintaksis dan semantik silakan lihat Manfaat untuk kelas sintaksis dan semantik . U PUP\mathsf{UP} (waktu polinomial yang jelas, lihatwikidankebun binatanguntuk referensi) didefinisikan …

19 cc.complexity-theory  complexity-classes  conditional-results  unique-solution 

Yang terkenal isomorfisma dugaan dari Berman dan Hartmanis mengatakan bahwa semua bahasa -Lengkap adalah waktu polinomial isomorfik (p-isomorfik) satu sama lain. Pentingnya kunci dari dugaan adalah bahwa hal itu menyiratkan P ≠ N P . Itu diterbitkan pada tahun 1977, dan sepotong bukti pendukung adalah bahwa semua N P masalah …

18 cc.complexity-theory  complexity-classes  p-vs-np  np-complete 

The Kompleksitas kebun binatang tidak memiliki banyak tentang SCSC\mathsf{SC} . Saya mencari masalah † bagus yang ada di level hirarki yang lebih tinggi, yaitu masalah di D T i m e S p a c e ( n O ( 1 ) , lg O ( 1 ) n ) …

18 cc.complexity-theory  complexity-classes 

Masalah: Kami diberi satu set batang yang semuanya memiliki panjang bilangan bulat. Jumlah total panjangnya adalah n (n + 1) / 2. Bisakah kita memecahnya untuk mendapatkan ukuran tongkat dalam waktu polinomial? 1 , 2 , … , n1,2,...,n{1,2,\ldots,n} Anehnya, satu-satunya referensi yang saya temukan untuk masalah ini adalah diskusi …

18 reference-request  complexity-classes  puzzles 

Parity-P adalah seperangkat bahasa yang dikenali oleh mesin Turing non-deterministik yang hanya dapat membedakan antara jumlah genap atau ganjil dari jalur "penerimaan" (daripada jumlah jalur penerimaan yang nol atau tidak nol). Dengan demikian Parity-P pada dasarnya adalah adik kandung PP kerdil: sementara PP menghitung apakah jumlah jalur penerimaan mesin NP …

18 cc.complexity-theory  complexity-classes  np