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

Sabe-se que é NP-completo testar se existe um ciclo hamiltoniano em um gráfico tridimensional, mesmo que seja plano (Garey, Johnson e Tarjan, SIAM J. Comput. 1976) ou bipartido (Akiyama, Nishizeki, e Saito, J. Inform. Proc. 1980) ou para testar se existe um ciclo hamiltoniano em um gráfico de 4 regulares, …

24 graph-theory  np-hardness  hamiltonian-paths 

Existem problemas de NP-completos para os quais um algoritmo é conhecido que o tempo de execução esperado é polinomial (para alguma distribuição sensata nas instâncias)? Caso contrário, existem problemas para os quais a existência desse algoritmo foi estabelecida? Ou a existência de um algoritmo desse tipo implica a existência de …

24 cc.complexity-theory  np-hardness 

Para uma constante , pode-se determinar em tempo linear, dado um gráfico de entrada , se sua largura de árvore é . No entanto, quando e são dados como entrada, o problema é NP-difícil. ( Fonte ). G ≤ k k Gk ∈ Nk∈Nk \in \mathbb{N}GGG≤ k≤k\leq kkkkGGG No entanto, …

23 reference-request  graph-theory  np-hardness  open-problem  treewidth 

Há claramente uma redução de CLIQUE para k-Color porque ambos são NP-Complete. Na verdade, eu posso construir um compondo uma redução de CLIQUE para 3-SAT com uma redução de 3-SAT para k-Color. O que eu quero saber é se existe uma redução direta razoável entre esses problemas. Digamos, uma redução …

23 cc.complexity-theory  graph-theory  np-hardness  reductions 

Sabe-se que o ciclo hamiltoniano (presunto abreviado) é NP-completo e que o ciclo planar de presunto é NP-completo. A prova para o Ciclo de Presunto Planar não é do Ciclo de Presunto. Existe um gadget legal que, dado um gráfico G, substitua todos os cruzamentos por algum gadget planar, para …

23 cc.complexity-theory  np-hardness  planar-graphs  hamiltonian-paths 

Esta pergunta está relacionada a uma resposta que eu postei em resposta a outra pergunta. O problema de 3 partições é o seguinte: Instância : números inteiros positivos a 1 ,…, a n , em que n = 3m e a soma dos n números inteiros é igual a mB, …

23 cc.complexity-theory  np-hardness 

Estou interessado no problema de empacotar cópias idênticas de retângulos (bidimensionais) em um polígono convexo (bidimensional) sem sobreposições. No meu problema, você não tem permissão para girar os retângulos e pode assumir que eles estão orientados paralelamente aos eixos. Você recebe as dimensões de um retângulo e os vértices do …

23 reference-request  np-hardness  cg.comp-geom  optimization  packing 

I corrigir uma linguagem regular LLL em um alfabeto ΣΣ\Sigma , e eu considere o seguinte problema que eu chamo carta agendamento para LLL . Informalmente, a entrada me fornece nnn letras e um intervalo para cada letra (ou seja, uma posição mínima e máxima), e meu objetivo é colocar …

23 cc.complexity-theory  np-hardness  automata-theory  regular-language  scheduling 

O problema Nem todos iguais -SAT (NAE k -SAT), dado um conjunto C de cláusulas sobre um conjunto X de variáveis ​​booleanas, de modo que cada cláusula contém no máximo k literais, pergunta se existe uma atribuição de verdade das variáveis, de forma que cada cláusula contém pelo menos um …

23 cc.complexity-theory  reference-request  np-hardness  polynomial-time 

Seja as variáveis . A distância entre duas variáveis ​​é definida como d ( x a , x b ) = | a - b | . A distância entre dois literais é a distância entre as duas variáveis ​​correspondentes.x1,x2,x3...xnx1,x2,x3...xnx_1 , x_2 , x_3 ... x_nd(xa,xb)=|a−b|d(xa,xb)=|a−b|d(x_a , x_b) = |a-b| …

22 np-hardness  sat 

Na presente discussão , tentativa de Norbet Blum prova é sucintamente refutada por notar que a função Tardos é um contra-exemplo Teorema 6.P≠NPP≠NPP \neq NP Teorema 6 : Let ser qualquer função monótona booleano. Suponha que exista um aproximador de CNF-DNF A que possa ser usado para provar um limite …

22 cc.complexity-theory  np-hardness  complexity-classes 

Os gráficos cúbicos são aqueles em que todos os vértices têm grau 3. Eles foram extensivamente estudados e estou ciente de que vários problemas difíceis de NP permanecem difíceis de NP, mesmo restritos a subclasses de gráficos cúbicos, mas alguns outros ficam mais fáceis. Uma superclasse de gráficos cúbicos é …

22 graph-theory  graph-algorithms  np-hardness 

Muitos problemas de gráficos algorítmicos podem ser resolvidos em tempo polinomial, tanto em gráficos não ponderados quanto em ponderados. Alguns exemplos são caminho mais curto, árvore de abrangência mínima, caminho mais longo (em gráficos acíclicos direcionados), fluxo máximo, corte mínimo, correspondência máxima, arborescência ideal, certos problemas de subgráfico mais densos, …

22 cc.complexity-theory  graph-algorithms  np-hardness 

Se um problema for difícil para NP (usando reduções de tempo polinomiais), isso implica que é difícil para P (usando espaço de log ou reduções de NC)? Parece intuitivo que, se é tão difícil quanto qualquer problema em NP, deve ser tão difícil quanto qualquer problema em P, mas não …

22 cc.complexity-theory  np-hardness 

Estou pensando em classes de gráficos que podem ser caracterizadas por subgráficos proibidos. Se uma classe de gráfico possui um conjunto finito de subgráficos proibidos, existe um algoritmo de reconhecimento de tempo polinomial trivial (pode-se usar apenas força bruta). Mas uma família infinita de subgrafos proibidos não implica dureza: existem …

22 cc.complexity-theory  graph-theory  np-hardness