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

problemas de decisão que são pelo menos tão difíceis quanto problemas NP-completos

28
Por que o tipo de vácuo de C não é análogo ao tipo vazio / inferior?

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. Uma função com um tipo de retorno de...

27
Venda de blocos de horários

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 ) ≥ 0h(i,j)≥0h(i,j)\geq 0jjj Existe um algoritmo de tempo...

22
Candidatos naturais à hierarquia dentro do NPI

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

21
Reduza o seguinte problema para SAT

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 , crie uma cláusula se . Então e todas essas cláusulas...

15
O Hidoku NP está completo?

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 deve ter uma célula vizinha com...

15
Os quebra-cabeças “Flow Free” são difíceis de usar?

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

12
A integridade do coNP implica dureza do NP?

A integridade do coNP implica dureza do NP? Em particular, tenho um problema que demonstrei ser coNP-completo. Posso afirmar que é NP-difícil? Percebo que posso reivindicar dureza de coNP, mas não tenho certeza se essa terminologia é padrão. Estou satisfeito com a afirmação de que, se um problema...