Perguntas com a marcação «complexity-theory»

Estou fazendo um curso de complexidade e estou tendo problemas para apresentar reduções entre os problemas dos NPCs. Como posso encontrar reduções entre problemas? Existe um truque geral que eu possa usar? Como devo abordar um problema que me pede para provar que é um NPC?

27 complexity-theory  np-complete  proof-techniques  reductions 

Ocorreu a muitos que em todas as provas de integridade de que li (que me lembro), é sempre trivial mostrar que existe um problema em e mostrando que é -hard é a ... parte mais difícil. Quais problemas -completos são esses cujos verificadores de tempo polinomial são altamente não triviais?NP …

27 complexity-theory  np-complete  np 

Como visto nesta faixa recente do XKCD e nesta postagem recente no blogde Peter Norvig (e uma história do Slashdot com o último), "regex golf" (que pode ser chamado de problema de separação de expressões regulares) é o quebra-cabeça de definir a expressão regular mais curta possível que aceita todas …

27 complexity-theory  np-complete  regular-expressions 

Esta pergunta foi inspirada por um comentário no StackOverflow . Além de conhecer os problemas NP-completos do livro Garey Johnson e muitos outros; existe uma regra de ouro para saber se um problema se parece com um NP-completo? Não estou procurando algo rigoroso, mas algo que funcione na maioria dos …

26 complexity-theory  np-complete  intuition 

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 

Esta pergunta foi migrada do Mathematics Stack Exchange porque pode ser respondida no Computer Science Stack Exchange. Migrou há 6 anos . Dominosa é um jogo relativamente novo. É reproduzido em uma grade (n+1)×(n+2)(n+1)×(n+2)(n+1)\times(n+2) . Antes do jogo começar, os ossos de dominó (0,0),(0,1),…,(n,n)(0,0),(0,1),…,(n,n)\left(0,0\right),\left(0,1\right),\ldots,\left(n,n\right) são colocados na grade (constituindo um …

26 complexity-theory  np-hard  board-games  tiling 

Declaração informal do problema: Dada uma sequência, por exemplo, ACCABBABACCABBABACCABBAB , queremos colorir algumas letras em vermelho e outras em azul (e algumas nem sequer), de modo que a leitura apenas das letras vermelhas da esquerda para a direita produz o mesmo resultado que a leitura apenas as letras azuis. …

26 algorithms  complexity-theory  np-complete  strings  subsequences 

Estou interessado na questão de qual a melhor maneira de ensinar a NP-completude aos cursos de ciência da computação. Em particular, devemos ensiná-lo usando reduções de Karp ou reduções de Turing? Sinto que os conceitos de completude e redução de NP são algo que todo especialista em ciência da computação …

25 complexity-theory  np-complete  reductions  education  didactics 

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 

Se alguém construísse um computador quântico universal, isso teria alguma implicação no problema de P vs. NP?

25 complexity-theory  complexity-classes  quantum-computing 

Supondo que P NP, os problemas completos de NP sejam "difíceis de resolver, mas têm respostas fáceis de verificar". Faz algum sentido considerar o contrário, ou seja, problemas para os quais é fácil calcular uma resposta correta, mas difícil de verificar uma solução arbitrária?≠≠\neq Eu acho que esse problema implicaria: …

25 complexity-theory 

Seja uma fórmula booleana que consiste nos operadores usuais AND, OR e NOT e em algumas variáveis. Gostaria de contar o número de satisfazer atribuições para B . Ou seja, quero encontrar o número de diferentes atribuições de valores de verdade para as variáveis ​​de B para as quais B …

24 complexity-theory  reference-request  satisfiability 

Dado qualquer problema computacional, a tarefa de encontrar limites mais baixos para esse cálculo é realmente possível? Suponho que tudo se resume a como um único passo computacional é definido e qual modelo usamos para a prova, mas, dado que, realmente provamos um limite inferior ao geral? O que quero …

24 complexity-theory  time-complexity  proof-techniques  lower-bounds 

Esta pergunta foi migrada do Stack Overflow porque pode ser respondida no Computer Science Stack Exchange. Migrou há 7 anos . Definição do problema LMC (Log Min Min Cut) Suponha-se que é um digrama não ponderada, s e t são dois vértices de V , e t é acessível a …

24 complexity-theory  graph-theory  np-complete 

Esta pergunta foi migrada do Stack Overflow porque pode ser respondida no Computer Science Stack Exchange. Migrou há 7 anos . Estou um pouco confuso com alguma terminologia que encontrei em relação à complexidade dos problemas de otimização. Em uma classe de algoritmos, tive o grande problema de parcimônia descrito …

24 complexity-theory  np-complete  terminology