Pertanyaan yang diberi tag «nondeterminism»

Banyak yang percaya bahwa . Namun kita hanya tahu bahwa B P P berada pada tingkat kedua hierarki polinomial, yaitu B P P ⊆ Σ P 2 ∩ Π P 2 . Langkah menuju menunjukkan B P P = P adalah untuk pertama membawanya ke tingkat pertama dari hirarki polinomial, …

34 cc.complexity-theory  randomness  randomized-algorithms  nondeterminism  barriers 

Nondeterminism dibatasi mengaitkan fungsi dengan kelas C bahasa diterima oleh mesin Turing deterministik sumber daya dibatasi, untuk membentuk kelas baru g - C . Kelas ini terdiri dari bahasa-bahasa yang diterima oleh beberapa mesin Turing nondeterministic M mematuhi batas sumber daya yang sama seperti yang digunakan untuk mendefinisikan C , …

30 cc.complexity-theory  graph-theory  graph-isomorphism  nondeterminism 

Pertimbangkan automata terbatas nondeterministic , dan fungsi . Selain itu kami mendefinisikan .A=(Q,Σ,δ,q0,F)A=(Q,Σ,δ,q0,F)A = (Q, \Sigma, \delta, q_0, F)f(n)f(n)f(n)Σ≤k=⋃i≤kΣiΣ≤k=⋃i≤kΣi\Sigma^{\leq k} = \bigcup_{i \leq k} \Sigma^i Sekarang mari kita menganalisis pernyataan berikut: Jika , maka .Σ≤f(|Q|)⊆L(A)Σ≤f(|Q|)⊆L(A)\Sigma^{\leq f(|Q|)} \subseteq L(A)L(A)=Σ∗L(A)=Σ∗L(A) = \Sigma^* Sangat mudah untuk menunjukkan, bahwa untuk f(n)=2n+1f(n)=2n+1f(n) = 2^n+1 itu …

28 automata-theory  fl.formal-languages  nondeterminism 

Misalkan menjadi dua bahasa reguler yang diberikan oleh NFA sebagai input.M 1 , M 2L1,L2L1,L2L_1,L_2M1,M2M1,M2M_1,M_2 Asumsikan kami ingin memeriksa apakah . Ini jelas dapat dilakukan oleh algoritma kuadratik yang menghitung otomat produk , tetapi saya bertanya-tanya apakah ada yang lebih efisien diketahui.M 1 , M 2L1∩L2≠∅L1∩L2≠∅L_1\cap L_2\neq \emptysetM1,M2M1,M2M_1,M_2 Apakah ada …

23 ds.algorithms  automata-theory  regular-language  nondeterminism 

Teorema Hierarki Waktu Nondeterministik asli adalah karena Cook (tautannya ke S. Cook, Sebuah hierarki untuk kompleksitas waktu nondeterministik , JCSS 7 343-353, 1973). Teorema menyatakan bahwa untuk bilangan real dan , jika maka NTIME ( ) secara ketat terkandung dalam NTIME ( ).r1r1r_1 1 ≤ r 1 < r 2 …

22 cc.complexity-theory  nondeterminism  time-hierarchy 

Saya punya dua pertanyaan historis: Siapa yang pertama kali menggambarkan perhitungan nondeterministik? Saya tahu bahwa Cook menjelaskan masalah NP-complete, dan bahwa Edmonds mengusulkan bahwa algoritma P adalah "efisien" atau "baik" algoritma. Aku mencari ini artikel Wikipedia dan skim "Di Komputasi Kompleksitas Algoritma," tapi tidak bisa menemukan referensi untuk saat perhitungan …

20 reference-request  soft-question  ho.history-overview  nondeterminism 

Masalah keputusan CNF-SAT dapat digambarkan sebagai berikut: Input: Rumus boolean ϕϕ\phi dalam bentuk normal konjungtif. Pertanyaan: Apakah ada tugas variabel yang memenuhi ?ϕϕ\phi Saya sedang mempertimbangkan beberapa pendekatan berbeda untuk memecahkan CNF-SAT dengan mesin Turing dua-tape non-deterministik . Saya percaya bahwa ada NTM yang memecahkan CNF-SAT dalam langkah .n⋅poly(log(n))n⋅poly(log⁡(n))n \cdot …

19 time-complexity  sat  turing-machines  np  nondeterminism 

Apakah mungkin untuk menguji secara algoritmik apakah bilangan yang dihitung rasional atau bilangan bulat? Dengan kata lain, apakah mungkin bagi perpustakaan yang mengimplementasikan angka yang dapat dihitung untuk menyediakan fungsi isIntegeratau isRational? Saya menduga itu tidak mungkin, dan bahwa ini entah bagaimana terkait dengan fakta bahwa tidak mungkin untuk menguji …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Sirkuit Boolean yang non-deterministik memiliki, di samping input biasa , satu set input "non-deterministik" y = ( y 1 , ... , y m ) . Sirkuit non-deterministik C menerima input x jika ada y sedemikian sehingga output sirkuit 1 on ( x , y ) . Analog dengan P …

17 cc.complexity-theory  circuit-complexity  nondeterminism 

Dalam teori automata (automata terbatas, automata pushdown, ...) dan dalam kompleksitas, ada gagasan "ambiguitas". Otomat bersifat ambigu jika ada kata www dengan setidaknya dua proses penerimaan yang berbeda. Sebuah mesin kkk ambigu jika untuk setiap kata www diterima oleh mesin paling tidak ada kkk berjalan berbeda untuk menerima www . …

17 lo.logic  automata-theory  regular-language  nondeterminism  finite-model-theory 

Masalah Mari menjadi robot Büchi, mengakui bahasa L ⊆ Σ ohm . Kami berasumsi bahwa A memiliki strategi penerimaan dalam arti berikut: ada fungsi σ : Σ * → Q yang dapat digunakan untuk percontohan berjalan dari A . Kami meresmikan ini dengan ketentuan sebagai berikut:A=⟨Σ,Q,q0,F,Δ⟩A=⟨Σ,Q,q0,F,Δ⟩A=\langle \Sigma, Q, q_0,F,\Delta\rangleL⊆ΣωL⊆ΣωL\subseteq\Sigma^\omegaAAAσ:Σ∗→Qσ:Σ∗→Q\sigma:\Sigma^*\to QAAA …

15 fl.formal-languages  automata-theory  regular-language  nondeterminism 

Bisakah nondeterminisme mempercepat perhitungan deterministik? Jika ya, berapa banyak? Dengan mempercepat perhitungan deterministik dengan nondeterminisme yang saya maksud adalah hasil dari bentuk: D T i m e (f( n ) ) ⊆ N T i m e ( n )DTsayame(f(n))⊆NTsayame(n)\mathsf{DTime}(f(n)) \subseteq \mathsf{NTime}(n) Misalnya sesuatu D T i m e ( …

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

Xor automata (NXA) yang non-deterministik secara sintaksis adalah NFA, tetapi sebuah kata dikatakan diterima oleh NXA jika memiliki jumlah jalur penerimaan yang ganjil (daripada setidaknya satu jalur penerimaan dalam kasus NFA). Sangat mudah untuk melihat bahwa untuk bahasa reguler berhingga , terdapat NFA minimal yang tidak mengandung siklus apa pun …

14 fl.formal-languages  automata-theory  nondeterminism  minimization 

Bukti Omer Reingold yang memberikan algoritma untuk USTCON (Dalam U ndirected grafik dengan simpul khusus dan , mereka ConL=SLL=SLL=SLtsssttt nected?) Hanya menggunakan logspace. Ide dasarnya adalah untuk membangun grafik expander dari grafik asli, dan kemudian berjalan di grafik expander. Grafik expander dibuat dengan mengkuadratkan grafik asli secara logaritma berkali-kali. Dalam …

13 graph-algorithms  nondeterminism  expanders  logspace 

Menurut makalah ini , yang membahas perpanjangan nondeterministik dari Strong Exponential Time Hypothesis (SETH), "[...] Williams baru-baru ini menunjukkan hipotesis terkait tentang kompleksitas Merlin-Arthur dari k-TAUT adalah salah". Namun, makalah itu hanya mengutip komunikasi pribadi. Bagaimana SETH versi MA terbukti salah? Saya menduga itu melibatkan algebrizing formula, tetapi tidak punya …

13 sat  proofs  nondeterminism