Perguntas com a marcação «np-complete»

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 

Problemas de mochila são facilmente resolvidos por programação dinâmica. A programação dinâmica é executada em tempo polinomial; é por isso que fazemos, certo? Eu li que, na verdade, é um problema NP-completo, o que significa que provavelmente é impossível resolver o problema no problema polinomial. Onde está meu erro?

52 complexity-theory  np-complete  dynamic-programming 

Existem problemas completos de NP que provaram algoritmos de tempo subexponencial? Estou solicitando informações gerais de casos, não estou falando de casos especiais tratáveis ​​aqui. Por subexponencial, quero dizer uma ordem de crescimento acima dos polinômios, mas menor que exponencial, por exemplo .nlognnlog⁡nn^{\log n}

51 complexity-theory  np-complete  np 

Eu li a entrada da Wikipedia sobre " Lista de problemas NP-completos " e descobri que jogos como super mario, pokemon, tetris ou saga de doces são np-completos. Como posso imaginar a completude np de um jogo? As respostas não precisam ser muito precisas. Eu só quero ter uma visão …

50 complexity-theory  np-complete  computer-games 

Suponha que eu sou um programador e tenho um problema NP-completo que preciso resolver. Quais métodos estão disponíveis para lidar com problemas de NPC? Existe uma pesquisa ou algo semelhante sobre este tópico?

43 algorithms  reference-request  np-complete  efficiency  reference-question 

Existem problemas conhecidos em (e não em ) que não são completos? Meu entendimento é que atualmente não há problemas conhecidos, mas não foi descartada como uma possibilidade. P N PNPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP} Se houver um problema (e não ), mas não , isso seria resultado de nenhum isomorfismo existente entre as …

34 complexity-theory  np-complete  p-vs-np 

Portanto, o problema de decisão do TSP (problema do vendedor ambulante) é NP completo . Mas não entendo como posso verificar se uma determinada solução para o TSP é de fato ideal no tempo polinomial, já que não há como encontrar a solução ideal no tempo polinomial (o que ocorre …

31 complexity-theory  np-complete  traveling-salesman 

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 

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 

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