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

A maior parte da criptografia de hoje, como o RSA, depende da fatoração de número inteiro, que não se acredita ser um problema difícil de NP, mas pertence ao BQP, que o torna vulnerável a computadores quânticos. Eu me pergunto, por que não houve um algoritmo de criptografia baseado em …

109 complexity-theory  np-hard  encryption  cryptography 

Li em muitos lugares que alguns problemas são difíceis de abordar (é difícil para os aproximar ). Mas a aproximação não é um problema de decisão: a resposta é um número real e não Sim ou Não. Também para cada fator de aproximação desejado, existem muitas respostas corretas e erradas, …

36 complexity-theory  time-complexity  np-hard  approximation 

Existem nnn caixas e mmm tipo de bolas. O iii th bin tem rótulos ai,jai,ja_{i,j} para 1≤j≤m1≤j≤m1\leq j\leq m , que é o número esperado de bolas do tipo jjj . Você começa com bjbjb_j bolas do tipo jjj . Cada esfera de tipo jjj tem peso wjwjw_j , e …

33 complexity-theory  np-hard  integer-programming 

Gostaria de saber se existe um bom exemplo para um problema NP-Hard fácil de entender que não é NP-Complete e não é indecidível? Por exemplo, o problema de parada é NP-Hard, não NP-Complete, mas é indecidível. Acredito que isso significa que é um problema que uma solução pode ser verificada, …

31 complexity-theory  computability  np-hard 

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 

Dado intervalos de tempo que k pessoas querem comprar. A pessoa i tem um valor h ( i , j ) ≥ 0 para cada intervalo de tempo j . Cada pessoa pode comprar apenas um bloco consecutivo de horários, que podem estar vazios.nnnkkkEuiih ( i , j ) ≥ …

27 algorithms  optimization  np-hard  scheduling 

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 

Vamos supor que . N P I é a classe de problemas em N P que não são nem P nem em N P -Hard. Você pode encontrar uma lista de problemas conjecturados como N P I aqui .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}NPINPI\mathsf{NPI}NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}NPINPI\mathsf{NPI} Teorema de Ladner nos diz que se , então …

22 complexity-theory  np-hard 

Aqui está o problema. Dado , em que cada . Existe um subconjunto com tamanho máximo de tal que para todos os ? Estou tentando reduzir esse problema para o SAT. Minha idéia de uma solução seria ter uma variável para cada um de 1 a . Para cada , …

21 complexity-theory  reductions  np-hard 

A Wikipedia declara o problema da soma do subconjunto como encontrar um subconjunto de um determinado conjunto múltiplo de números inteiros, cuja soma é zero. Além disso, afirma que é equivalente a encontrar um subconjunto com soma para qualquer dado .ssssss Então, acredito que, como são equivalentes, deve haver uma …

20 complexity-theory  reductions  np-hard 

Como posso provar que a conversão de CNF para DNF é NP-Hard? Não estou pedindo uma resposta, apenas algumas sugestões sobre como proceder para provar isso.

20 complexity-theory  np-hard  satisfiability  sat-solvers  normal-forms 

É necessário que um problema difícil de NP seja computável? Acho que não, mas não tenho certeza.

19 complexity-theory  computability  np-hard 

Há uma redução no livro de Sipser "Introdução à teoria da computação" na página 286, do 3SAT para o problema do caminho hamiltoniano. Existe uma redução mais simples? Por mais simples, quero dizer uma redução que seria mais fácil de entender (para os alunos). Existe uma redução que usa número …

19 complexity-theory  np-hard 

Um quebra-cabeça "Flow Free" consiste em um número inteiro positivo e um conjunto de pares (não ordenados) de vértices distintos no gráfico da grade modo que cada vértice esteja no máximo em um par. Uma solução para esse quebra-cabeça é um conjunto de caminhos não direcionados no gráfico, de modo …

15 np-hard  square-grid 

Um Hidoku é uma grade com alguns números inteiros pré-preenchidos de 1 a . O objetivo é encontrar um caminho de números inteiros sucessivos (de 1 a ) na grade. Mais concreto, cada célula da grade deve conter um número inteiro diferente de 1 a e cada célula com valor …

15 complexity-theory  reductions  np-hard