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

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 {1-clique, 2-clique, 3-clique, ...}. No entanto, talvez haja algoritmos mais …

7 complexity-theory  decision-problem  polynomial-time 

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 …

7 undecidability  decision-problem  halting-problem 

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 recursivas primitivas de A e B, …

7 computability  decision-problem  primitive-recursion 

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, …

7 computability  turing-machines  logic  decision-problem  incompleteness 

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 de pesquisa possa …

7 algorithms  search-algorithms  decision-problem  np  search-problem 

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 ≥ …

7 computability  undecidability  decision-problem 

É 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 \lor x_3 …

7 complexity-theory  satisfiability  decision-problem  complexity-classes 

Deixei ϕϕ\phi ser uma fórmula 3-CNF sobre variáveis x1,x2,…,xnx1,x2,…,xnx_1,x_2,\ldots,x_n. Toda variávelxixix_i, i∈[n]i∈[n]i \in [n], ocorre igualmente muitas vezes como um literal positivo e como um literal negativo em ϕϕ\phi. É NP-completo decidir a satisfação de tal fórmula? Supondo que seja, eu estaria interessado em saber se ele tem um nome …

7 complexity-theory  np-complete  satisfiability  decision-problem 

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 negadas. É …

7 complexity-theory  np-complete  decision-problem  complexity-classes 

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 física, eletromagnetismo e …

7 probability-theory  decision-problem  probabilistic-algorithms 

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 …

7 np-complete  optimization  decision-problem  linear-programming  parameterized-complexity