Pertanyaan yang diberi tag «cc.complexity-theory»

Dalam buku Arora-Barak, dalam definisi fungsi yang dapat dikonstruksikan waktu, dikatakan bahwa menggunakan fungsi yang tidak dapat dikonstruksikan oleh waktu dapat mengarah pada "hasil yang tidak normal". Apakah ada yang punya contoh "hasil yang tidak biasa" seperti itu? Saya telah mendengar khususnya bahwa mungkin ada fungsi sehingga teorema hierarki waktu …

10 cc.complexity-theory 

Pembaruan: Tampaknya masalah ini telah dipelajari dan diselesaikan baru-baru ini, lihat artikel wiki ini: http://en.wikipedia.org/wiki/Tree_walking_automaton Dan juga survei ini: http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf Misalkan alih-alih seperangkat kata yang biasa, {0,1} *, kata-kata kita tidak linear tetapi diberikan pada beberapa struktur pohon. Untuk mencegah mesin kami dari "tersesat", tentukan kata-kata kami sebagai himpunan …

10 cc.complexity-theory  automata-theory  space-bounded  dfa 

Pernyataan masalah : Biarkan menjadi otomat pushdown (berpotensi tidak deterministik) dan biarkan menjadi alfabet inputnya. Apakah ada kata st yang diterima oleh ?A w ∈ A ∗ | w | ≤ k MM.MMSEBUAHA\cal Aw ∈ A∗w∈A∗w \in \cal A^*| w | ≤k|w|≤k|w| \leq kM.MM Apakah ini masalah NP-complete? Apakah sudah …

10 cc.complexity-theory  np-hardness  fl.formal-languages  automata-theory 

Untuk banyak masalah, algoritma dengan kompleksitas asimptotik terbaik memiliki faktor konstan yang sangat besar yang disembunyikan oleh notasi O besar. Ini terjadi dalam perkalian matriks, perkalian integer (khususnya, algoritma multiplikasi integer O (n log n) baru-baru ini dari Harvey dan van der Hoeven), jaringan sortasi rendah-kedalaman dan menemukan grafik di …

9 cc.complexity-theory  ds.algorithms  time-complexity 

Bentuk yang lebih lemah dari Teorema Ketidaklengkapan Pertama Gödel, bukti langsung yang menurut Gödel panjang, terlibat dan di beberapa tempat agak kontra-intuitif, memiliki bukti sederhana dan intuitif berdasarkan pada ketidakpastian masalah penghentian - lihat misalnya https: / /en.wikipedia.org/wiki/Halting_problem#Sketch_of_proof Siapa yang pertama kali mengajukan bukti ini dan di artikel atau buku …

9 cc.complexity-theory  lo.logic  halting-problem 

Ada jenis hasil dalam TCS yang biasanya disebut hasil bootstrap . Secara umum, itu dari bentuk Jika proposisi berlaku, maka proposisi berlaku.AAAA′A′A' di mana dan adalah proposisi yang terlihat serupa, dan tampaknya "lebih lemah" daripada , yang merupakan alasan kami memberi nama jenis hasil ini. Biarkan saya memberikan beberapa contoh …

9 cc.complexity-theory 

Apa batas atas asimptotik yang paling dikenal pada ukuran bukti yang dapat diperiksa secara probabilistik? Idealnya, saya mencari survei kontemporer tentang pertanyaan luas ini, tetapi jika tidak ada, saya terutama tertarik pada ketidak-taksiran 3-SAT. Misalkan 7/8 + ε-3-SAT menjadi 3-SAT dengan janji bahwa jika fraksi 7/8 + ε dari klausa …

9 cc.complexity-theory  reference-request  np-hardness  pcp 

Setelah keberhasilan yang lebih baru dan lebih baru dari jaringan saraf dalam bermain game papan, orang merasa bahwa tujuan berikutnya yang kita tetapkan bisa menjadi sesuatu yang lebih berguna daripada mengalahkan manusia di Starcraft. Lebih tepatnya, saya bertanya-tanya apakah Dapatkah jaringan saraf dilatih untuk memecahkan masalah algoritmik klasik? Di sini …

9 cc.complexity-theory  ds.algorithms  machine-learning  ne.neural-evol 

Apa metode pendekatan Razborov? Bisakah seseorang memberikan ikhtisar tingkat tinggi dan intuisi di baliknya?

9 cc.complexity-theory  circuit-complexity 

Waktu quasi-polinomial, atau QP, adalah kelas kompleksitas pada mesin Turing deterministik. Berikut adalah definisi yang tepat: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:Q#qp Sedangkan βP adalah kelas kompleksitas nondeterminisme terbatas. Berikut adalah definisi yang tepat: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:B#betap Sangat mudah untuk melihat bahwa setiap mesin βP dapat disimulasikan oleh mesin QP, yaitu, βP QP.⊆⊆\subseteq Tapi apakah kita punya …

9 cc.complexity-theory  complexity-classes 

Untuk bahasa tetap pada beberapa alfabet , mari kita pertimbangkan masalah berikut, yang saya sebut -INTERLEAVING :A LL.LLSEBUAHAAL.LL Input: dua katau , v ∈ A∗u,v∈A∗u, v \in A^* Output: apakah ada suatu interleaving dari dan yang di .v LkamuuuvvvL.LL Di sini, interleaving dua kata dan adalah kata yang dapat diperoleh …

9 cc.complexity-theory  reference-request  regular-language 

Apakah ada yang dikenal sejumlah transendental dihitung seperti itu yang nnn digit th adalah dihitung dalam waktu polinomial, tapi tidak di O(n)HAI(n)O(n) ?

9 cc.complexity-theory  comp-number-theory 

Biarkan menjadi alfabet ukuran , dan pertimbangkan DFA minimal yang ukurannya dibatasi paling banyak . Misalkan menunjukkan jumlah DFA minimal yang berbeda.2 m f ( m )ΣΣ\Sigma222mmmf( m )f(m)f(m) Bisakah kita menemukan rumus bentuk tertutup untuk ?f( m )f(m)f(m) Menimbang bahwa untuk fungsi transisi dari DFA ukuran paling banyak adalah …

9 cc.complexity-theory  automata-theory  nondeterminism  dfa 

Ini adalah tindak lanjut dari perhitungan deterministik yang tidak deterministik . Apakah masuk akal bahwa nondeterminisme (atau lebih umum pergantian) akan memungkinkan percepatan kuadratik umum dari perhitungan deterministik? Atau adakah konsekuensi tidak masuk akal yang diketahui untuk sesuatu seperti ?DTime(n2)⊆NTime(n)DTime(n2)⊆NTime(n)\mathsf{DTime}(n^2) \subseteq \mathsf{NTime}(n)

9 cc.complexity-theory  nondeterminism  speed-up  alternation  tradeoff 

Masalah standar 1-in-3 SAT (atau XSAT atau X3SAT) adalah: Instance : rumus CNF dengan setiap klausa yang mengandung tepat 3 liter Pertanyaan : apakah ada pengaturan penugasan yang memuaskan tepatnya 1 liter per klausa benar? Masalahnya adalah NP-lengkap dan tetap sulit bahkan jika tidak ada variabel yang dinegasikan. Saya bertanya-tanya …

9 cc.complexity-theory  np-hardness  sat