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

Em seu artigo (p. 503), Garey e Johnson comentam: ... pode haver um problema de NP-completo que não é nem NP-completo no sentido forte nem solucionável por um algoritmo de tempo pseudo-polinomial ... Alguém conhece alguns problemas de candidatos com as propriedades mencionadas acima? Penso que a possível resposta a …

19 ds.algorithms  np-hardness  np 

Esse problema surgiu no meu post recente do blog , suponha que você faça um tour pelo TSP. Ele é co-NP-complete para determinar se é mínimo? Mais precisamente, é o seguinte problema NP-complete: Instância: dado um gráfico completo G com arestas ponderadas com números inteiros positivos e um ciclo simples …

18 np-hardness 

A noção de redução de tempo polinomial (reduções de Cook) é uma abstração de um conceito muito intuitivo: resolver um problema com eficiência usando um algoritmo para um problema diferente. No entanto, na teoria de -completeness, a noção de -hardness é capturado por meio de reduções de mapeamento (reduções Karp). …

18 cc.complexity-theory  np-hardness  soft-question 

Estou correto ao entender que provar que um NP está completo é um sucesso de pesquisa? Se sim, por quê?

18 cc.complexity-theory  np-hardness  big-picture 

Estou interessado no seguinte problema: Dado um conjunto X e subconjuntos X_1, ..., X_n de X, encontre uma coloração dos elementos de X com k cores, de modo que os elementos em cada X_i sejam todos de cores diferentes. Mais especificamente, estou analisando o caso em que todos os X_i …

18 cc.complexity-theory  reference-request  np-hardness  hypergraphs 

Considere o seguinte problemaQQQ : Estamos dado um número inteiro , e intervalos com . Também recebemos números inteiros . A tarefa é selecionar um número mínimo de intervalos para que para cada , pelo menos intervalos contendo o número inteiro sejam selecionados.k [ l i , r i ] …

17 cc.complexity-theory  np-hardness 

Recentemente, encontrei a seguinte variante de coloração de borda. Dado um gráfico não direcionado conectado, encontre uma coloração das arestas que use o número máximo de cores, além de satisfazer a restrição de que, para cada vértice , as arestas incidentes em usem no máximo duas cores.vvvvvv Meu primeiro palpite …

17 cc.complexity-theory  np-hardness  complexity-classes  graph-colouring 

Recentemente, li uma prova que pretendia mostrar que um problema era fortemente NP-difícil, simplesmente reduzindo-o (em tempo polinomial) de um problema fortemente NP-difícil. Isso não fazia sentido para mim. Eu pensaria que você teria que mostrar que todos os números usados ​​na redução e as instâncias do problema para o …

17 cc.complexity-theory  np-hardness  reductions 

Estou procurando descobrir se existem resultados gerais ou exemplos relativos à completude de NP do problema de encontrar uma segunda solução para um problema de NP-completo. Mais precisamente, estou interessado em qualquer problema da seguinte forma: Dada uma solução para uma instância de um problema NP-completo, existe uma solução para …

17 cc.complexity-theory  reference-request  np-hardness  unique-solution 

Suponha que você receba um gráfico H. simples, não direcionado, conectado O problema do corte sem H é definido da seguinte maneira: Dado um gráfico simples e não direcionado G, existe um corte (partição de vértices em dois conjuntos não vazios, L, R), de modo que os gráficos induzidos pelos …

17 cc.complexity-theory  reference-request  graph-theory  np-hardness 

Os algoritmos de hash de senha comumente usados ​​funcionam hoje em dia: salte a senha e alimente-a em um KDF. Por exemplo, usando PBKDF2-HMAC-SHA1, o processo de hash da senha é DK = PBKDF2(HMAC, Password, Salt, ...). Como o HMAC é um hash de duas etapas com teclas acolchoadas e …

16 np-hardness  cr.crypto-security  np-complete  security 

Dado um gráfico simples e não direcionado , encontre um subconjunto A ≠ ∅ de vértices, de modo queGGGA≠∅A≠∅A\neq \emptyset para qualquer vértice pelo menos metade dos vizinhos de x também estão em A , ex∈Ax∈Ax\in AxxxAAA o tamanho de é mínimo.AAA Ou seja, estamos procurando um cluster, no qual …

16 graph-theory  graph-algorithms  np-hardness 

Sabe-se que a interseção de três matróides gerais é NP-difícil ( fonte ), o que é feito através da redução do ciclo Hamiltoniano. A redução usa um matroid gráfico e dois matroids de conectividade. Um caso especial de um problema no qual estou trabalhando pode ser resolvido pela interseção de …

16 reference-request  np-hardness  reductions 

Estou procurando problemas que são conhecidos por serem NPCs para gráficos direcionados, mas que possuem um algoritmo polinomial para gráficos não direcionados. Vi a pergunta sobre o contrário aqui, problemas "direcionados" que são mais fáceis do que sua variante "não direcionada" , mas estou procurando por dureza no lado direcionado. …

16 cc.complexity-theory  ds.algorithms  graph-theory  graph-algorithms  np-hardness 

Há muito pouca informação que eu possa encontrar sobre o problema NP-completo de resolver a equação diofantina linear em números inteiros não negativos. Ou seja, existe uma solução em não negativo para a equação , onde todas as constantes são positivas? A única menção digna de nota desse problema que …

16 cc.complexity-theory  reference-request  np-hardness  counting-complexity