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

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 provaram que o jogo …

64 complexity-theory  np-complete  decision-problem 

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

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

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 …

28 algorithms  graphics  data-structures  computational-geometry  operating-systems  process-scheduling  algorithms  sorting  database-theory  relational-algebra  finite-model-theory  logic  automata  linear-temporal-logic  buchi-automata  complexity-theory  np-complete  decision-problem  machine-learning  algorithms  pattern-recognition  logic  formal-languages  formal-grammars  context-free 

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 caminho mais curto optimização / pesquisa versão: …

26 complexity-theory  optimization  search-problem  decision-problem 

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 …

25 complexity-theory  computability  undecidability  decision-problem 

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 Solver + Decision. O provador …

24 algorithms  terminology  reference-request  decision-problem 

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 …

21 complexity-theory  time-complexity  np  decision-problem  traveling-salesman 

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 esses problemas. Eu …

18 algorithms  satisfiability  approximation  decision-problem 

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 …

18 algorithms  formal-languages  context-free  decision-problem 

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 "verificado"?

16 complexity-theory  terminology  decision-problem 

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 proibir qualquer expressão representável com valores numéricos diferentes de ; ou seja, não nem nem :111x2x2x^23x3x3x444 …

14 complexity-theory  time-complexity  decision-problem 

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 problema.

13 computability  undecidability  decision-problem 

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

12 complexity-theory  decision-problem  np 

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 …

12 algorithms  regular-languages  automata  np-complete  decision-problem 

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 …

11 computability  automata  finite-automata  decision-problem