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 , . . . , I 2 k 1 , 2 , . . . , 2 kkkkUMA1 1≤ A2≤ . . . ≤ AkA1≤A2≤...≤AkA_1 \leq A_2 \leq ... \leq A_k∑i = 1kUMAEu= k ( 2 k + 1...
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
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 = 2 bits definido como 1 ( x i = 2 b i 1 + 2 b i 2 ,mmmA = { x1 1, x2, . . . ,...
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 esquecendo de alguma...
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...
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<N,∃1<d≤M such that d|N}L2={(N,M):M<N,∃1<d≤M such that d|N}L_2=\{(N,M):
Seja pára em cada entrada no máximoetapas .L={<M>|ML={<M>|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....
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
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...
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...
Eu já vi alguns problemas que são difíceis de NP, mas polinomialmente solucionáveis em dimensão fixa. Penso que os exemplos são a mochila que pode ser resolvida em tempo polinomial se o número de itens for fixo e a Programação Linear Inteira com número fixo de variáveis ou restrições pelo...
Conhecemos uma sequência infinita de problemas de decisão em que o algoritmo mais eficiente para cada problema ocorre Θ(nk)Θ(nk)\Theta(n^k) hora, onde kkk aumenta sem limites? Suponha, por exemplo, que saberíamos que encontrar um k-clique requer Θ(nk)Θ(nk)\Theta(n^k), essa sequência pode ser...
Considere o problema de pegar uma máquina de Turing de entrada e determinar se a célula final é uma 0 000ou após o término da computação. Nos casos em que ele escreve algo mais ou não pára, você pode dar qualquer resposta (mas você precisa parar e dar alguma resposta em todas as entradas).1...
Dadas duas funções recursivas primitivas, é decidível se elas são ou não a mesma função? Por exemplo, vamos considerar os algoritmos de classificação A e B, que são recursivos primitivos. Embora existam muitos algoritmos para classificação, todos descrevem a mesma relação. Dadas duas implementações...
Para continuar este post , vamos definir o problema Monotone -SAT:(+,2−)(+,2−)(+, 2^-) Dada uma fórmula monótona de CNF , em que cada variável aparece exatamente uma vez (como um literal positivo) e uma fórmula monotônica de 2-CNF definida nas mesmas variáveis que , onde todas as variáveis são...
Peço desculpas se esta pergunta já foi feita antes, mas não consegui encontrar uma duplicata. Acabei de ler The Annotated Turing e estou um pouco confuso. Pelo que entendi, o problema do Entscheidung é se existe ou não um algoritmo que pode determinar se uma declaração é comprovável. No artigo,...
Não sei como defini-lo com elegância, mas basicamente quero implementar um algoritmo de pesquisa de força bruta, mas existem muitas maneiras diferentes de enumerar através do espaço de pesquisa. Isso pode ser ingênuo da minha parte, mas imagino que a maneira como escolho enumerar através do espaço...
Portanto, sabe-se que o PCP é indecidível, mesmo quando fixamos o número de blocos para n ≥ 7n≥7n \geq 7. Gostaria de saber, algo semelhante pode ser dito quando existe um tamanho fixo de palavra? Para ser mais preciso, aqui está o problema: Dado fixo mmm e nnncom n ≥ 7n≥7n \geq 7e palavras...
Existem problemas de CS, de preferência abertos, relacionados à música ou à teoria musical de alguma forma? Eu pensaria em problemas com notação musical, mas também em probabilidades ao randomizar de acordo com uma escala, uma tonalidade ou geral, o que é considerado harmonia em frequências e...
É sabido que qualquer fórmula CNF pode ser transformada em tempo polinomial em uma fórmula 3-CNF usando novas variáveis ( veja aqui ). Se o uso de novas variáveis não for permitido, isso nem sempre é possível (por exemplo, a fórmula da cláusula única:(x1 1∨x2∨x3∨x4)(x1 1∨x2∨x3∨x4)(x_1 \lor x_2...