Pertanyaan yang diberi tag «cc.complexity-theory»

Dalam makalah "A Compendium of Problem Complete for P" oleh Greenlaw, Hoover dan Ruzzo (PS) (PDF) , ada daftar masalah dalam P yang tidak diketahui berada di NC dan tidak diketahui juga P-complete. . (Daftar ini merangkum semua masalah terbuka dalam survei yang sangat baik oleh Karp dan Ramachandran .) …

20 cc.complexity-theory  open-problem  circuit-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 

Membaca beberapa utas baru-baru ini tentang komputasi kuantum (di sini , di sini , dan di sini ), membuat saya ingat pertanyaan menarik tentang kekuatan beberapa jenis mesin pelestarian .ℓhalℓp\ell_p Bagi orang yang bekerja dalam teori kompleksitas menuju kompleksitas kuantum, teks pengantar yang bagus adalah makalah Fortnow yang tautannya diposting …

20 cc.complexity-theory  quantum-computing  computability  turing-machines  norms 

Secara umum, query-tape untuk oracle diperhitungkan dalam kompleksitas ruang TM. Namun, tampaknya masuk akal untuk memungkinkan rekaman-saja oracle-tape (seperti yang digunakan dalam pengurangan ruang-L). Apakah konstruksi seperti itu bermanfaat? Apakah itu menghasilkan hasil yang sangat tidak masuk akal?

20 cc.complexity-theory  space-bounded  oracles 

Referensi-diri dari masalah P / NP kadang-kadang telah disorot sebagai penghalang untuk penyelesaiannya, lihat, misalnya, makalah Scott Aaronson, apakah P vs. NP independen secara formal ? Salah satu dari banyak resolusi yang dapat dipikirkan untuk P / NP akan menjadi sebuah demonstrasi bahwa masalahnya secara formal independen dari ZFC atau …

20 cc.complexity-theory  lo.logic 

[Catatan: Saya yakin pertanyaan ini sama sekali tidak bergantung pada benar atau tidaknya makalah Deolalikar.] Di blog Scott Aaronson, Shtetl Optimized , dalam diskusi tentang upaya Deolalikar baru-baru ini pada P vs NP, Leonid Gurvits membuat komentar berikut : Saya mencoba memahami / merumuskan kembali pendekatan, dan inilah usaha saya, …

20 cc.complexity-theory  lower-bounds  tensor-rank 

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 

Saat ini, perhitungan real dalam sebagian besar bahasa populer masih dilakukan melalui operasi floating point. Di sisi lain, teori-teori seperti tipe dua efektifitas (TTE) dan teori domain telah lama menjanjikan perhitungan real yang tepat. Jelas, masalah presisi floating point tidak berkurang dalam relevansi, jadi mengapa teori-teori ini tidak menjadi lebih …

19 cc.complexity-theory  computing-over-reals  computable-analysis  domain-theory 

USTCONN adalah masalah yang mengharuskan memutuskan apakah ada jalur dari titik sumber sss ke titik target ttt dalam grafik GGG , di mana semua ini diberikan sebagai bagian dari input. Omer Reingold menunjukkan bahwa USTCONN berada di L (doi: 10.1145 / 1391289.1391291 ). Buktinya membangun expander derajat konstan melalui produk …

19 cc.complexity-theory  lower-bounds  reductions  space-bounded 

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 

Menurut catatan sejarah (tidak terverifikasi), Kolmogorov berpikir bahwa setiap bahasa dalam PP\mathsf{P} memiliki kompleksitas rangkaian linier. (Lihat sebelumnya pertanyaan dugaan Kolmogorov yang PPP memiliki sirkuit linear-size .) Perhatikan bahwa kandungannya P≠NPP≠NP\mathsf{P}\neq \mathsf{NP} . Dugaan Kolmogorov, bagaimanapun, dipandang cenderung gagal. Sebagai contoh, Ryan Williams menulis dalam sebuah makalah baru-baru ini : …

19 cc.complexity-theory  circuit-complexity  ho.history-overview 

Bisakah kita menghitung gerbang ambang bit berdasarkan ukuran polinomial (kipas tidak terbatas) pada kedalaman lg nnnn ? Atau, dapatkah kita menghitung jumlah 1 dalam bit input menggunakan sirkuit ini?lgnlglgnlg⁡nlg⁡lg⁡n\frac{\lg n}{\lg \lg n} Apakah ?T C0⊆ A l t T i m e ( O ( lgnlglgn) , O ( lgn …

19 cc.complexity-theory  circuit-complexity  circuit-depth 

Umpan Balik Vertex Set adalah NP-complete untuk grafik umum. Ini dikenal sebagai NP-lengkap untuk grafik terikat derajat-8 karena pengurangan dari penutup simpul. The artikel Wikipedia mengatakan bahwa itu adalah poli-waktu dipecahkan untuk gelar-3 grafik dibatasi dan NP-lengkap untuk gelar-4 grafik dibatasi. Tetapi saya belum dapat menemukan bukti untuk ini di …

19 cc.complexity-theory  graph-theory  graph-algorithms  np-hardness  bounded-degree 

Matriks disebut benar-benar teratur jika semua submatrians kuadratnya memiliki peringkat penuh. Matriks seperti itu digunakan untuk membangun superkonsentrator. Apa kompleksitas memutuskan apakah matriks yang diberikan benar-benar teratur di atas rasionalitas? Lebih dari bidang yang terbatas? Lebih umum, panggil sebuah matriks yang sama sekali reguler jika semua ukuran persegi dari kebanyakan …

19 cc.complexity-theory  reference-request  linear-algebra  matrices