Perguntas com a marcação «decision-problem»

Existe um algoritmo / procedimento sistemático para testar se um idioma é regular? Em outras palavras, dado um idioma especificado em forma algébrica (pense em algo como ), teste se o idioma é regular ou não. Imagine que estamos escrevendo um serviço da Web para ajudar os alunos com todos …

11 algorithms  formal-languages  regular-languages  decision-problem 

O seguinte problema é NP-completo? (Presumo que sim). Entrada: um gráfico não direcionado em que o conjunto de arestas pode ser decomposto em dois ciclos simples separados por arestas (estes não fazem parte da entrada).k∈N,G=(V,E)k∈N,G=(V,E)k \in \mathbb{N},G=(V,E) Pergunta: Existe um ciclo simples em com comprimento maior que ?GGGkkk Obviamente, o …

11 graph-theory  np-complete  decision-problem 

Existe um algoritmo para o seguinte problema: Dada uma máquina de Turing que decide uma linguagem L , existe uma máquina de Turing decide tal que ?M1M1M_1LLL L t 2 ( n ) = o ( t 1 ( n ) )M2M2M_2LLLt2(n)=o(t1(n))t2(n)=o(t1(n))t_2(n) = o(t_1(n)) As funções e t 2 são …

11 complexity-theory  computability  undecidability  decision-problem 

Quero especificar o que significa dar uma álgebra como entrada para um algoritmo e não encontrei muita literatura sobre isso. Então, primeiro quero perguntar se você pode recomendar um livro ou artigo que lide com o tópico de análise de complexidade de álgebras sobre campos e defina claramente o problema …

11 computability  terminology  decision-problem 

Eu tenho tentado descobrir se o problema de parada é decidível para autômatos celulares unidimensionais de três símbolos. Definição Deixe denotar a configuração do sistema no momento da etapa . Mais formalmente , onde é o alfabeto.i f : A ∗ × N → A ∗ Af( w , i …

10 computability  decision-problem  halting-problem  cellular-automata 

Dados números modo que há uma atribuição dos números que é uma permutação de modo queA 1 ≤ A 2 ≤ . . . ≤ Um k k Σ i = 1 A i = k ( 2 k + 1 ) i 1 , i 2 , . . …

10 np-complete  decision-problem 

Meu livro afirma isso Se um problema de decisão B estiver em P e A for reduzido para B, o problema de decisão A estará em P. Um problema de decisão B é NP-completo se B estiver em NP e para todo problema em A em NP, A reduz para …

10 complexity-theory  np-complete  decision-problem 

Essa variante do problema de soma de subconjuntos é fácil / conhecida? Dado um número inteiro , e um conjunto de números inteiros positivos A = { x 1 , x 2 , . . . , x n } de modo que todo x i tenha no máximo k …

9 complexity-theory  reference-request  decision-problem 

Tenho um problema que suspeito ser NP-completo. É fácil provar que é NP. Minha linha de pensamento atual gira em torno do uso de uma redução da mochila, mas resultaria em instâncias de 0-1-mochila com o valor de cada item igual ao seu peso. Ainda está NP-completo? Ou eu estou …

9 complexity-theory  np-complete  decision-problem  packing 

Eu estava olhando para esta leitura do MIT sobre complexidade computacional e, às 15:00, Erik Demaine embarca em uma demonstração para mostrar o que é afirmado no título desta pergunta. No entanto, não posso seguir seu raciocínio, na prática o que ele diz é o seguinte: podemos declarar um problema …

8 computability  proof-techniques  decision-problem  uncountability 

Seja e o seguinte:L1L1L_1L2L2L_2 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} \} ReivindicarL1≤PL2L1≤PL2L_1 \leq_P L_2 Prova de esboço Se eu quero saber se .r∈L1r∈L1r\in L_1 O número …

8 complexity-theory  time-complexity  np  decision-problem 

Acabamos de aprender sobre a auto-redutibilidade nas aulas. Meu professor e nosso livro não se comprometeram a dizer que todos os problemas em PN são auto-redutíveis, mas não parecia haver exemplos de problemas que não sejam. Fiquei me perguntando se existem exemplos, ou se é apenas uma situação em que …

8 complexity-theory  reductions  decision-problem  np 

Existe alguma classe de problemas de NP com uma solução única? Estou perguntando isso, porque quando eu estava estudando criptografia, li sobre a mochila e achei a idéia muito interessante.

8 complexity-theory  decision-problem  np  cryptography 

Considere o seguinte problema no universo . O problema do universo. Dado um conjunto finito para uma classe de idiomas e um autômato que aceita o idioma , decida se .ΣΣ\SigmaLLLL=Σ∗L=Σ∗L=\Sigma^* Em [1], é afirmado e provado que o problema do universo é indecidível para uma classe específica de autômatos …

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

Seja pára em cada entrada no máximoetapas .L={&lt;M&gt;|ML={&lt;M&gt;|ML = \{ | Mxxx200∗|x|200∗|x|200 * |x|}}\} é decidível? Reconhecível?LLL Dado que a participação em afirma algo sobre o comportamento de em um conjunto infinito de strings, parece extremamente improvável para mim que possa ser. Mostrei que co- é Turing-reconhecível (eu acho): você …

8 computability  turing-machines  undecidability  decision-problem