Ilmu Komputer Teoritis

Teorema favorit saya dalam teori kompleksitas adalah teorema hierarki waktu. Namun, ini dilakukan pada tahun 1965. Saya ingin tahu kalau ada sesuatu yang serupa dengan Quantum Computing. Juga, jika bukan apa yang orang / kelompok bekerja di arah ini!

19 cc.complexity-theory  quantum-computing 

Saya bertanya-tanya apakah spesifikasi JSON mendefinisikan bahasa biasa. Tampaknya cukup sederhana, tetapi saya tidak yakin bagaimana membuktikannya sendiri. Alasan saya bertanya, adalah karena saya bertanya-tanya apakah seseorang dapat menggunakan ekspresi reguler untuk mengurai JSON secara efektif. Bisakah seseorang dengan cukup perwakilan tolong buat tag json dan bahasa biasa untuk saya?

19 fl.formal-languages  regular-expressions  regular-language 

Saya mencari makalah survei atau buku yang membahas hasil tentang kompleksitas ruang dari operasi aljabar linear umum seperti peringkat matriks, perhitungan nilai eigen, dll. Saya menekankan bagian "kompleksitas ruang" yang berarti kompleksitas ruang kerja, daripada kompleksitas waktu karena itu lebih mudah untuk melacak hasil waktu. Saya menghargai referensi apa pun …

19 linear-algebra  space-complexity 

Saya sedang belajar matematika. Namun, saya tidak berpikir saya ingin menjadi ahli matematika profesional di masa depan. Saya berpikir untuk menerapkan pengetahuan matematika saya untuk melakukan penelitian dalam kecerdasan buatan. Namun, saya tidak yakin berapa banyak kursus matematika yang harus saya ikuti. (Dan kursus teori CS mana yang harus saya …

19 soft-question  machine-learning  ai.artificial-intel 

Adakah yang diketahui, contoh eksplisit dari suatu algoritma dengan properti sedemikian sehingga jika maka algoritma ini tidak berjalan dalam waktu polinomial dan jika maka ia berjalan dalam waktu polinomial?P≠ NPP≠NPP\neq NPP= NPP=NPP=NP

18 ds.algorithms  np  p-vs-np 

Saya menyadari ini mungkin pertanyaan yang kontroversial, tetapi ini sepertinya tempat yang tepat untuk bertanya. Tolong redirect saya jika tidak. Latar belakangnya adalah bahwa saya seorang "praktisi" (mahasiswa PhD, saya tidak belajar teori CS) tetapi saya memiliki dasar yang masuk akal dalam algoritma dan matematika sarjana. Namun demikian, diskusi dengan …

18 soft-question  advice-request 

Saya memecahkan masalah yang diklaim sebagai NP-hard di tempat lain, katakan di koran [XYZ]. Kekerasan NP yang disediakan dalam [XYZ] rumit dan menggunakan teknik-teknik canggih. Setelah beberapa penelitian dan pekerjaan, saya berhasil memberikan bukti kekerasan NP yang sederhana dan jelas. Saya bertanya-tanya apakah ini dianggap sebagai kontribusi atau tidak? Saya …

18 research-practice  writing 

Apakah ada proyek yang sedang berlangsung untuk secara formal memverifikasi teorema dan bukti teori kompleksitas menggunakan asisten bukti seperti Coq? Apakah ada batasan untuk melakukan ini?

18 cc.complexity-theory  complexity  proof-assistants 

Apakah ada masalah lengkap NP tanpa subset instance sedemikian sehingga keanggotaan dalam dapat diputuskan dalam waktu polinomial, dan untuk semua , dapat diselesaikan dalam waktu polinomial? (Dengan asumsi )Φ x ∈ Φ x P ≠ N P.ΦΦ\PhiΦΦ\Phix ∈ Φx∈Φx \in \PhixxxP≠ NPP≠NPP \neq NP

18 cc.complexity-theory  np-complete  heuristics 

Saya tertarik masalah berikut: Mengingat matriks, apakah ada sebuah grafik diarahkan pada n simpul yang adjacency matrix kuadrat yaitu bahwa matriks?n×nn×nn\times nnnn Apakah kompleksitas komputasi dari masalah ini diketahui? Catatan: Tentu saja ini juga dapat diutarakan sebagai masalah pencarian, di mana Anda diberi matriks untuk A matriks adjacency dari grafik …

18 cc.complexity-theory  graph-theory 

Dalam deskripsi masalah Clay resmi untuk P versus NP dinyatakan bahwa akan mengikuti dari yang menunjukkan bahwa "setiap bahasa dalam [kelas bahasa dikenali dalam waktu eksponensial dengan mesin Turing deterministik] dapat dihitung oleh keluarga sirkuit Boolean sedemikian rupa sehingga untuk setidaknya satu , memiliki gerbang lebih sedikit daripada maksimum yang …

18 cc.complexity-theory  circuit-complexity 

Ini adalah hasil yang terkenal dari pertanyaan itu Apakah tata bahasa bebas konteks menghasilkan bahasa reguler? tidak dapat ditentukan. Namun, itu menjadi decidable pada alfabet unary, hanya karena dalam kasus ini, kelas bahasa bebas konteks dan reguler bertepatan. Pertanyaan saya adalah untuk mengetahui apa yang terjadi pada bahasa yang peka …

18 fl.formal-languages  decidability 

Treewidth memainkan peran penting dalam algoritma FPT, sebagian karena banyak masalah yang FPT parameter oleh treewidth. Gagasan terkait, lebih terbatas, adalah pathwidth. Jika grafik memiliki pathwidth , grafik juga memiliki treewidth paling banyak k , sedangkan pada arah sebaliknya, treewidth k hanya menyiratkan pathwidth di sebagian besar k log n …

18 parameterized-complexity  treewidth  graph-minor 

Saya tertarik mempelajari hubungan antara "kekacauan", atau lebih luas, sistem dinamis, dan pertanyaan . Berikut adalah contoh jenis literatur yang saya cari:P= NPP=NPP{=}NP Ercsey-Ravasz, Mária, dan Zoltán Toroczkai. "Optimalisasi kekerasan sebagai kekacauan sementara dalam pendekatan analog untuk membatasi kepuasan." Fisika Alam 7, no. 12 (2011): 966-970. ( Tautan jurnal .) …

18 cc.complexity-theory  p-vs-np 

Saya ingin tahu apakah ada dugaan yang sudah lama tidak terbukti dalam TCS, yang kemudian dibuktikan dengan implikasi dari teorema lain, yang mungkin lebih mudah untuk dibuktikan.

18 reference-request  soft-question  big-list