Pertanyaan yang diberi tag «decision-problem»

Apakah ada algoritma / prosedur sistematis untuk menguji apakah suatu bahasa biasa? Dengan kata lain, diberikan bahasa yang ditentukan dalam bentuk aljabar (pikirkan sesuatu seperti ), uji apakah bahasa itu teratur atau tidak. Bayangkan kita sedang menulis layanan web untuk membantu siswa dengan semua pekerjaan rumah mereka; pengguna menentukan bahasa, …

11 algorithms  formal-languages  regular-languages  decision-problem 

Apakah masalah berikut NP-complete? (Saya anggap ya). Input: grafik tidak terarah di mana set edge dapat didekomposisi menjadi dua siklus sederhana disjointing edge (ini bukan bagian dari input).k∈N,G=(V,E)k∈N,G=(V,E)k \in \mathbb{N},G=(V,E) Pertanyaan: Apakah ada siklus sederhana dalam dengan panjang lebih besar dari ?kGGGkkk Jelas masalahnya adalah dalam NP dan derajat maksimum …

11 graph-theory  np-complete  decision-problem 

Apakah ada algoritma untuk masalah berikut: Diberikan mesin Turing yang menentukan bahasa L , Apakah ada mesin Turing M 2 yang memutuskan L sedemikian rupa sehingga t 2 ( n ) = o ( t 1 ( n ) ) ?M1M1M_1LLLM2M2M_2LLLt2(n)=o(t1(n))t2(n)=o(t1(n))t_2(n) = o(t_1(n)) Fungsi dan t 2 adalah waktu menjalankan …

11 complexity-theory  computability  undecidability  decision-problem 

Saya ingin menentukan, apa artinya memberikan aljabar sebagai input untuk suatu algoritma dan tidak menemukan banyak literatur tentangnya. Jadi pertama-tama saya ingin bertanya apakah Anda dapat merekomendasikan buku atau makalah yang membahas topik analisis kompleksitas aljabar di atas bidang dan dengan jelas mendefinisikan masalah keputusan . Setelah menggali, saya menemukan …

11 computability  terminology  decision-problem 

Saya sudah mencoba mencari tahu apakah masalah penghentian dapat dipilih untuk automata seluler satu dimensi 3-simbol. Definisi Biarkan menunjukkan konfigurasi sistem pada langkah waktu i . Secara lebih formal f : A ∗ × N → A ∗ , di mana A adalah alfabet.f(w,i)f(w,i)f(w,i)iiif:A∗×N→A∗f:A∗×N→A∗f:A^*\times \mathbb{N} \to A^*AAA Definisi. Otomat seluler …

10 computability  decision-problem  halting-problem  cellular-automata 

Diberi angka sedemikian rupa sehingga apakah ada penetapan angka yang merupakan permutasi dari sedemikian rupaA 1 ≤ A 2 ≤ . . . ≤ A k k Σ i = 1 A i = k ( 2 k + 1 ) i 1 , i 2 , . . . …

10 np-complete  decision-problem 

Buku saya menyatakan ini Jika masalah keputusan B dalam P dan A dikurangi menjadi B, maka masalah keputusan A ada di P. Masalah keputusan B adalah NP-lengkap jika B di NP dan untuk setiap masalah di A di NP, A dikurangi menjadi B. Masalah keputusan C adalah NP-lengkap jika C …

10 complexity-theory  np-complete  decision-problem 

Apakah varian masalah jumlah subset ini mudah / diketahui? Dengan bilangan bulat , dan satu set bilangan bulat positif sedemikian rupa sehingga setiap x_i memiliki paling banyak k = 2 bit diatur ke 1 ( x_i = 2 ^ {b_ {i_1} } + 2 ^ {b_ {i_2}}, \; \; b_ …

9 complexity-theory  reference-request  decision-problem 

Saya memiliki masalah yang saya duga adalah NP-complete. Sangat mudah untuk membuktikan bahwa itu adalah NP. Kereta pikiran saya saat ini berkisar menggunakan pengurangan dari ransel tetapi akan menghasilkan contoh 0-1-ransel dengan nilai setiap item sama dengan beratnya. Apakah ini masih lengkap dengan NP? Atau apakah saya melewatkan sesuatu?

9 complexity-theory  np-complete  decision-problem  packing 

Saya melihat ini pembacaan MIT pada kompleksitas komputasi dan sebentar 15:00 embarks Erik Demaine pada demonstrasi untuk menunjukkan apa yang dinyatakan dalam judul pertanyaan ini. Namun saya tidak dapat mengikuti alasannya, dalam praktiknya apa yang dia katakan adalah ini: kita dapat menyatakan masalah keputusan sebagai string dan yang dalam praktiknya …

8 computability  proof-techniques  decision-problem  uncountability 

Membiarkan L1L1L_1 dan L2L2L_2 menjadi yang berikut: L1={r:∃x,y∈Z such that x2+y2=r}L1={r:∃x,y∈Z such that x2+y2=r}L_1=\{r:\exists x,y \in \mathbb{Z} \text{ such that } x^2+y^2=r\} L2={(N,M):M&lt;N,∃1&lt;d≤M such that d|N}L2={(N,M):M&lt;N,∃1&lt;d≤M such that d|N}L_2=\{(N,M): M<N, \exists 1<d\leq M \text{ such that d|N} \} Klaim L1≤PL2L1≤PL2L_1 \leq_P L_2 Bukti Sketsa Jika saya ingin tahu apakah r∈L1r∈L1r\in …

8 complexity-theory  time-complexity  np  decision-problem 

Jadi kami baru belajar tentang reducibilitas diri di kelas. Profesor saya dan buku teks kami tidak akan berkomitmen untuk mengatakan bahwa semua masalah dalam NP dapat direduksi sendiri, tetapi sepertinya tidak ada contoh masalah yang tidak. Saya bertanya-tanya apakah ada contoh, atau hanya situasi di mana Anda tidak dapat membuktikan …

8 complexity-theory  reductions  decision-problem  np 

Apakah ada kelas masalah NP yang memiliki satu solusi unik? Saya bertanya itu, karena ketika saya belajar kriptografi saya membaca tentang ransel dan saya menemukan ide yang sangat menarik.

8 complexity-theory  decision-problem  np  cryptography 

Pertimbangkan masalah alam semesta berikut ini . Masalah alam semesta. Diberikan himpunan terbatas untuk kelas bahasa, dan otomat yang menerima bahasa , putuskan apakah .ΣΣ\SigmaLLLL=Σ∗L=Σ∗L=\Sigma^* Dalam [1], dinyatakan dan dibuktikan bahwa masalah alam semesta tidak dapat diputuskan untuk kelas khusus one-counter automata. Hasil ini kemudian mengikuti untuk kelas semua automata …

8 formal-languages  reference-request  automata  undecidability  decision-problem