Saya cukup yakin bahwa saya bukan yang pertama untuk menghibur gagasan bahwa saya akan hadir. Namun, akan sangat membantu jika saya dapat menemukan literatur yang terkait dengan ide tersebut. Idenya adalah untuk membangun Mesin Turing M dengan properti bahwa jika P = NP maka M akan menyelesaikan...
Bagaimana seseorang menunjukkan bahwa properti tertentu tidak dapat dinyatakan dalam 2-CNF (2-SAT)? Apakah ada game, seperti game kerikil? Tampaknya game kerikil hitam klasik dan game kerikil hitam-putih tidak cocok untuk ini (mereka PSPACE lengkap, menurut Hertel dan Pitassi, SIAM J of Computing,...
Biarkan menjadi fungsi boolean dengan sensitivitas s ( f ) dan sensitivitas blok b s ( f ) .fffs ( f)s(f)s(f)b s ( f)bs(f)bs(f) Konjektur Sensitivitas-Blok sensitivitas menyatakan bahwa ada sehingga ∀ f , b s ( f ) ≤ s ( f ) c .c > 0c>0c>0∀ f, b s ( f ) ≤ s ( f)c∀f, bs(f)≤s(f)c\forall...
Biarkan menjadi konstanta. Bagaimana kita bisa provably membangun pseudorandom generator yang bodoh d -state terbatas automata?dddddd Di sini, automata terbatas state memiliki d node, node mulai, satu set node yang menyatakan status terima, dan dua tepi terarah berlabel 0, 1 yang keluar dari...
Saya bukan ilmuwan komputer teoretis. Saya seorang ahli teori homotopy yang stabil menggunakan -kategori. Saya telah melihat aplikasi teori kategori dan teori topos untuk ilmu komputer teoretis, dan saya bertanya-tanya apakah ada cara seseorang dapat menggunakan ∞ -kategori (dan lebih disukai bagi...
Apakah ada contoh aplikasi praktis game paritas, yaitu sistem, di dunia nyata, yang dapat direpresentasikan sebagai game paritas? Biasanya dokumentasi terkait pada permainan paritas hampir tidak pernah menjadi contoh praktis dari aplikasi
Saya sudah mencoba untuk membungkus kepala saya di sekitar apa, mengapa dan bagaimana -kalkulus tapi saya tidak bisa memahami "mengapa itu bekerja"?λλ\lambda "Secara Intuitif" Saya mendapatkan model komputer Turing Machines (TM). Tapi -straksi ini membuat saya bingung.λλ\lambda Mari kita...
Dalam makalah "Pada kompleksitas beberapa permainan mewarnai", Bodlaender memberikan beberapa pertanyaan terbuka tentang kompleksitas menentukan apakah pemain 1 atau 2 memiliki strategi kemenangan dalam beberapa permainan mewarnai grafik. Adakah yang tahu kalau itu sudah dipecahkan? 1) Dalam satu...
Penghalang bukti alami dari Razborov dan Rudich menyatakan bahwa di bawah asumsi kriptografi yang kredibel orang tidak dapat berharap untuk memisahkan NP dari P / poli dengan menemukan sifat kombinatorial dari fungsi yang konstruktif, besar, dan bermanfaat. Ada beberapa hasil terkenal yang berhasil...
Apakah ada algoritma untuk menata ulang data untuk mengoptimalkan kompresi? Saya mengerti ini khusus untuk data dan algoritma kompresi, tetapi apakah ada kata untuk topik ini? Di mana saya dapat menemukan penelitian di bidang ini? Secara khusus, saya memiliki daftar json berisi 1,5 juta string,...
Apa masalah dengan properti berikut: 1) mereka adalah pembatasan (mungkin diketahui) masalah yang PSPACE-complete; 2) versi terbatasnya ada di PSPACE, tetapi ini merupakan masalah terbuka jika mereka PSPACE-complete (atau bahkan jika mereka NP-hard). Empat contoh dari "puzzle &...
Saya membaca survei oleh Trevisan dan Lovett tentang aplikasi kombinatorik aditif di TCS. Sebagian besar aplikasi ini berada di bawah kompleksitas komputasi , misalnya batas bawah. Saya ingin tahu apakah kombinatorik aditif telah menemukan aplikasi dalam desain algoritma juga. Motivasi untuk...
Pikirkan model pemeriksaan sel. Apakah ada struktur data yang dapat mengalokasikan potongan memori yang berdekatan dengan panjang berapa pun (seperti misalnya malloc di C), dan membebaskannya, sambil menghindari segmentasi memori, dan mengeksekusi setiap operasi dalam kasus deterministik O (log n)...
Saya mencari daftar tentang kompleksitas yang diketahui atau tidak diketahui dari berbagai masalah teori / aljabar. Sebagai contoh, GCD di terbuka,NC1NC1NC^1 anjak piutang dalam terbuka,PPP komputasi berkas cohomology yaitu -Hard# P#P\#P , Arora dan Barak menyatakan bahwa varian anjak piutang...
Diketahui bahwa menambahkan pengacakan kesalahan terbatas ke PSPACE tidak menambah daya. Yaitu, BPPSAPCE = PSPACE. Tidak diketahui apakah P = BPP, tetapi diketahui bahwa .B PP⊆ Σ2∩ Π2BPP⊆Σ2∩Π2BPP\subseteq \Sigma_2\cap \Pi_2 Dengan demikian, adalah mungkin (meskipun diduga salah) bahwa menambahkan...
Apa saja (tidak terkenal) pernyataan bahwa jika benar, PH harus runtuh? Balasan yang berisi pernyataan tingkat tinggi pendek dengan referensi dihargai. Saya mencoba mencari balik tanpa banyak
Biarkan kkk diperbaiki, dan biarkan GGG menjadi grafik (terhubung). Jika saya tidak salah, itu berasal dari karya Bodlaender [1, Teorema 3.11] bahwa jika treewidth GGG kira-kira setidaknya 2k32k32k^3 , maka GGG berisi bintang K1,kK1,kK_{1,k} sebagai minor. Bisakah kita membuat istilah 2k32k32k^3...
P/poly=NP/polyP/poly=NP/polyP/poly = NP/poly menyiratkanNP⊆P/polyNP⊆P/polyNP \subseteq P/poly , yang pada gilirannya memiliki konsekuensi yang menarik seperti runtuhnya hierarki polinomial. Apakah ada implikasi yang menarik untuk P/poly≠NP/polyP/poly≠NP/polyP/poly \neq NP/poly...
Diberikan grafik , kita perlu menemukan kardinalitas set simpul terbesar sehingga masing-masing hadir dalam setiap pencocokan maksimum yang dimungkinkan.GGG Apakah ada solusi selain menghapus setiap simpul yang jelas dan menemukan pencocokan maksimum untuk melihatnya
pada tahun 1979 Hopcroft / Ullman menulis bahwa L ⊆ P ⊆ NP ⊆ PSpace diketahui tetapi L ⊊ PSpace adalah satu-satunya penahanan yang tepat (& sepele) yang diketahui meskipun semua dikira sebagai penahanan yang tepat, dan "di mana keadaan masih ada" ~ 4 dekade kemudian . sejak itu apakah ada...