Uma pergunta em algum sistema formal com uma resposta sim ou não.
Gostaria de saber se houve algum trabalho relacionado ao código legal da complexidade. Em particular, suponha que tenhamos o problema de decisão "Dado este livro de leis e esse conjunto específico de circunstâncias, o réu é culpado?" A que classe de complexidade pertence? Há resultados que...
A Wikipedia e outras fontes que eu encontrei listam o voidtipo de C como um tipo de unidade, em vez de um tipo vazio. Acho isso confuso, pois me parece que voidmelhor se ajusta à definição de um tipo vazio / inferior. Nenhum valor habita void, até onde eu sei. Uma função com um tipo de retorno de...
Eu tenho um conjunto de pares. Cada par tem a forma (x, y) tal que x, y pertencem a números inteiros do intervalo [0,n). Portanto, se n é 4, tenho os seguintes pares: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Eu já tenho os pares. Agora, eu tenho que construir uma combinação usando n/2pares de...
Esta pergunta foi migrada do Theoretical Computer Science Stack Exchange porque pode ser respondida no Computer Science Stack Exchange. Migrou há 7 anos . Sabe-se que cada problema de otimização / pesquisa tem um problema de decisão equivalente. Por exemplo, o problema do...
Claramente, não há problemas indecidíveis no NP. No entanto, de acordo com a Wikipedia : NP é o conjunto de todos os problemas de decisão para os quais as instâncias em que a resposta é "sim" têm [..] provas que são verificáveis em tempo polinomial por uma máquina determinística de Turing....
Essas terminologias me confundem. Como eu entendo Solucionador SAT: decida a satisfação da lógica proposicional (usando DPLL ou Local Search). Procedimento de decisão é um procedimento para decidir a satisfação de uma certa teoria de primeira ordem decidível. O SMT Solver é um procedimento SAT...
Então eu entendo a ideia de que o problema de decisão é definido como Existe um caminho P tal que o custo seja menor que C? e você pode facilmente verificar se isso é verdade, verificando o caminho que você recebe. No entanto, e se não houver um caminho que atenda a esse critério? Como você...
Existe um algoritmo / procedimento sistemático para testar se uma linguagem é livre de contexto? Em outras palavras, dado um idioma especificado em forma algébrica (pense em algo como ), teste se o idioma é livre de contexto ou não . Imagine que estamos escrevendo um serviço da Web para ajudar os...
Eu tenho um problema de decisão NP-completo. Dada uma instância do problema, eu gostaria de criar um algoritmo que produza SIM, se o problema for possível e, NÃO, caso contrário. (Obviamente, se o algoritmo não for ideal, ele cometerá erros.) Não consigo encontrar algoritmos de aproximação para...
Em Teoria da computação de Michael Sipser, na página 270, ele escreve: P = a classe de idiomas para os quais a associação pode ser decidida rapidamente. NP = a classe de idiomas para os quais a associação pode ser verificada rapidamente. Qual é a diferença entre "decidido" e...
por exemplo, ?xy+x+y=x+y(x+1)xy+x+y=x+y(x+1)xy+x+y=x+y(x+1) As expressões são da álgebra comum do ensino médio, mas restritas à adição e multiplicação aritmética (por exemplo, ), sem inversões, subtrações ou divisões. Letras são variáveis.2+2=4;2.3=62+2=4;2.3=62+2=4; 2.3=6 Se ajudar, podemos...
Eu estou querendo saber se decidir a decidibilidade do problema é um problema decidível. Acho que não, mas após as pesquisas iniciais não consigo encontrar nenhuma literatura sobre esse
Acabei de ler algumas páginas do livro de Sipser Introdução à teoria da computação sobre o problema pós-correspondência, e estou pensando que o PCP está realmente em NP. O certificador é: para uma configuração de entrada da pilha concatenando como uma string concatenando como uma cadeia de , e...
Então, eu sei que testar se uma linguagem regular RRR é um subconjunto de linguagem regular SSS é decidível, já que pode converter-los tanto para DFAs, compute R∩S¯R∩S¯R \cap \bar{S} , e em seguida, teste se esta linguagem é vazia. No entanto, como isso requer conversão em DFAs, é possível que os...
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...
Então, considerando dois DFAs, o problema de descobrir se eles geram o mesmo idioma é um problema Decidable? Eu já sei que a Igualdade de duas CFL não é Decidable mas e a igualdade de dois DFAs? considerando que a maioria dos problemas com os DFAs é decidível, isso também é...
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 os piores tempos de...
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...
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 os seus...
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...