Pertanyaan yang diberi tag «big-picture»

Ini adalah pos yang dipisahkan dari Konsekuensi UP sama dengan NP , dan juga pertanyaan lanjutan untuk Kelas Kompleksitas Semantik vs. Sintaksis . Dalam posting di atas kita belajar tentang kelas semantik dan sintaksis . Secara singkat dinyatakan, ketika suatu kelas dapat dikarakteristikkan sebagai bahasa daun, kelas , maka suatu …

9 cc.complexity-theory  complexity-classes  big-picture 

Teori kompleksitas komputasi mengklasifikasikan masalah berdasarkan kesulitannya. Teori sistem kompleks membahas sistem yang menunjukkan perilaku yang tidak jelas muncul dari sifat-sifat bagian individu sistem. Contohnya termasuk sistem kacau, sistem adaptif yang kompleks, atau sistem nonlinier. Apakah ada jembatan formal antara bidang-bidang ini? Untuk apa nilainya, gagasan melakukan kriptografi dengan automata …

9 cc.complexity-theory  soft-question  big-picture 

Baru-baru ini saya berpikir tentang "mengimpor" beberapa pertanyaan terkait fisika ke dalam kuantum CS: Gagasan fenomena hukum-daerah dalam sistem Hamilton biasanya merupakan singkatan dari Hamiltonian lokal pada beberapa kisi, yang groundstate menunjukkan properti di mana keterjeratan suatu wilayah tertutup sebanding dengan permukaan wilayah, dan bukan volumenya (seperti yang akan terjadi). …

9 quantum-computing  big-picture 

Diketahui bahwa NP-Complete Problem yang disebut Subset Sum memiliki FPTAS. Saya bertanya-tanya apakah ada masalah Lengkap PSPACE yang juga memiliki FPTAS? Terima kasih sebelumnya.

9 ds.algorithms  space-bounded  big-picture 

Konteks : Ada beberapa makalah yang mempelajari implikasi dari kurva timelike tertutup (CTL) terhadap kompleksitas kuantum. Pada tahun 2008, Aaronson dan Watrous menerbitkan makalah terkenal mereka tentang topik ini yang menunjukkan bahwa bentuk perjalanan waktu tertentu dapat membuat komputasi klasik dan kuantum setara, yaitu komputer kuantum tidak memberikan keuntungan komputasi …

9 cc.complexity-theory  quantum-computing  big-picture 

Dalam https://en.wikipedia.org/wiki/Geometric_complexity_theory disebutkan bahwa ".. Ketan Mulmuley percaya bahwa program tersebut, jika layak, kemungkinan akan memakan waktu sekitar 100 tahun sebelum dapat menyelesaikan masalah P vs NP". Tampaknya mengindikasikan bahwa satu-satunya program yang saat ini dapat dijalankan dapat menghadapi kendala serius. Apa saja kendala di mana program bisa gagal?

8 cc.complexity-theory  complexity-classes  lower-bounds  big-list  big-picture 

Baru-baru ini ada beberapa hasil baru pada studi eksperimental berbasis komputer dari Erdos Discrepancy Problem (EDP) (melalui solver SAT, dikutip di bawah). Masalah ini telah dikutip dan dipelajari oleh beberapa (T) peneliti CS. Namun (mungkin mendalam?) Tautan ke (T) CS tidak begitu jelas. Apa tautan dari EDP ke (T) CS? …

8 reference-request  co.combinatorics  soft-question  big-picture