Pertanyaan yang diberi tag «nondeterminism»

Greibach terkenal didefinisikan bahasa , yang disebut versi non-deterministik dari D 2 , sehingga setiap CFL adalah gambar morphic kebalikan dari H . Apakah ada pernyataan serupa dengan DCFL, mungkin dengan pembatasan morfisme diizinkan?HHHD2D2D_2HHH (Lihat, misalnya, M. Autebert, J. Berstel, dan L. Boasson. Bahasa bebas konteks dan automata pushdown. Dalam …

12 fl.formal-languages  open-problem  context-free  nondeterminism  hard-instances 

Makalah ini memberikan bukti bahwa dalam permainan dengan pintu dan pelat penekan, sulit bagi PSPACE untuk menentukan apakah avatar (pemain) dapat mencapai lokasi tertentu. Ini dibuktikan dengan pengurangan dari TQBF , dan lamanya solusi yang dihasilkan tergantung secara eksponensial pada jumlah quantifiers universal dalam formula. Apakah ada pengurangan dari mesin …

12 reductions  nondeterminism  pspace 

Jika kita dapat membuktikan bahwa , apakah itu menyiratkan bahwa ?L = PL.=P\mathsf{L}=\mathsf{P}N L = N PNL.=NP\mathsf{NL}=\mathsf{NP} Saya pikir itu masalahnya, tapi saya tidak bisa membuktikannya (juga untuk yang sebaliknya).

10 cc.complexity-theory  complexity-classes  nondeterminism 

Perhitungan dari mesin Turing nondeterministic (NTM) dikenal sebagai pohon konfigurasi, yang berakar pada konfigurasi awal. Setiap transisi dalam program diwakili oleh tautan ayah-anak di pohon ini. Pohon serupa juga dapat dibangun untuk memvisualisasikan perhitungan mesin probabilistik dan kuantum juga. (Perhatikan bahwa lebih baik untuk beberapa tujuan untuk tidak melihat grafik …

10 cc.complexity-theory  quantum-computing  randomness  derandomization  nondeterminism 

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 

Ada beberapa masalah NP-Lengkap ( , S U B S E T S U M , dll.) Diketahui berada di D S P A C E ( n ) . Bagaimana dengan ruang sub-linear?SATSAT \mathsf{SAT} SUBSETSUMSUBSETSUM \mathsf{SUBSETSUM} DSPACE(n)DSPACE(n) \mathsf{DSPACE(n)} Apakah ada masalah NP-Complete (atau NP-Intermediate) yang diketahui dalam ruang nlineterministic …

9 cc.complexity-theory  np-hardness  nondeterminism  np-intermediate 

Savický dan Woods (Jumlah Fungsi Boolean Dihitung dengan Rumus dari Ukuran yang Diberikan) membuktikan hasil berikut. Teorema [SW98]: Untuk setiap konstan , hampir semua fungsi boolean dengan kompleksitas rumus paling n k memiliki kompleksitas rangkaian setidaknya n k / k .k>1k>1k>1nknkn^knk/knk/kn^k/k Buktinya terdiri dari menurunkan batas bawah pada , jumlah …

8 cc.complexity-theory  circuit-complexity  nondeterminism 

Mengingat NFA NNN dan yang setara DFA DDD yang dihasilkan dari keseluruhan determinization dari NNN (menggunakan konstruksi Powerset, misalnya), sifat-sifat berikut tahan selama NNN , DDD dan untuk setiap kata www : NNN membacawww dalam menjalankan waktu paling banyakO(|w|.|N|2)O(|w|.|N|2)O(|w|.|N|^2) . DDD membacawww dalam menjalankan waktu paling banyakO(|w|)O(|w|)O(|w|) dan ukurannya mungkinO(2|N|)O(2|N|)O(2^{|N|}) …

8 automata-theory  regular-language  nondeterminism  dfa  nfa 

\newcommand{\cc}[1]{\mathsf{#1}} Apakah teorema di sepanjang baris berikut ini berlaku: Jika g(n)g(n)g(n) sedikit lebih besar dari f(n)f(n)f(n) , maka NTIME(g)∩coNTIME(g)≠NTIME(f)∩coNTIME(f)NTIME(g)∩coNTIME(g)≠NTIME(f)∩coNTIME(f)\cc{NTIME}(g) \cap \cc{coNTIME}(g) \neq \cc{NTIME}(f) \cap \cc{coNTIME}(f) ? Sangat mudah untuk menunjukkan bahwa NP∩coNP≠NEXP∩coNEXPNP∩coNP≠NEXP∩coNEXP\cc{NP} \cap \cc{coNP} \neq \cc{NEXP} \cap \cc{coNEXP} , setidaknya. Bukti: Asumsikan tidak. Kemudian NEXP∩coNEXP⊆NP∩coNP⊆NP∪coNP⊆NEXP∩coNEXP,NEXP∩coNEXP⊆NP∩coNP⊆NP∪coNP⊆NEXP∩coNEXP,\cc{NEXP} \cap \cc{coNEXP} \subseteq \cc{NP} \cap …

8 cc.complexity-theory  time-complexity  nondeterminism  time-hierarchy  hierarchy-theorems 

Jika berisi kelas masalah waktu superpolinomial, yaituNPNP\mathsf{NP} untuk beberapa fungsi , D T I M E ( t ) ⊆ N P ,t∈nω(1)t∈nω(1)t \in n^{\omega(1)}DTIME(t)⊆NPDTIME(t)⊆NP\mathsf{DTIME}(t) \subseteq \mathsf{NP} P⊊NPP⊊NP\mathsf{P} \subsetneq \mathsf{NP} Tetapi apakah ada konsekuensi menarik lain yang nontrivial (yaitu bukan konsekuensi dari ) jika nondeterminisme dapat mempercepat perhitungan deterministik?P⊊NPP⊊NP\mathsf{P} \subsetneq …

8 cc.complexity-theory  time-complexity  nondeterminism