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

Na complexidade parametrizada, as pessoas usam a redução de FPT (Trace-Parametrable-Fixed) para provar a dureza W [t]. Teoricamente, uma redução de FPT não é uma redução de tempo polinomial, pois pode ser executada exponencialmente no parâmetro k. Mas, na prática, todas as reduções de FPT que eu vi são reduções …

11 cc.complexity-theory  np-hardness  reductions  parameterized-complexity 

Em um gráfico, um conjunto independente é um subconjunto de vértices que não contém uma aresta como um subgrafo induzido. O problema de encontrar os maiores conjuntos independentes em um gráfico é uma questão algorítmica fundamental e difícil. Vamos considerar a questão mais geral de encontrar (o tamanho de) o …

11 ds.algorithms  reference-request  graph-theory  np-hardness  co.combinatorics 

Em um gráfico direcionado, , , se é um DAG (gráfico acíclico direcionado), é chamado de conjunto de arco de feedback. F ⊂ E G ∖ F FG = ( V, E)G=(V,E)G=(V,E)F⊂ EF⊂EF\subset EG ∖ FG∖FG\setminus FFFF Se cada aresta estiver associada a um peso , o problema do conjunto …

11 ds.data-structures  graph-theory  np-hardness  approximation-algorithms 

O problema da rainha N é o seguinte: Entrada: N Saída: Um posicionamento de N "rainhas" em um tabuleiro de xadrez NXN, de modo que não haja duas rainhas na mesma linha, coluna ou diagonal. Ao fazer uma pesquisa no google, descobri que muitos slides de muitos professores afirmam que …

11 cc.complexity-theory  np-hardness  csp 

Esta pergunta pode não ser técnica. Como um falante não-nativo e um AT para a classe de algoritmos, sempre me perguntei o que significa gadget em 'cláusula gadget' ou 'variável gadget'. O dicionário diz que um gadget é uma máquina ou um dispositivo, mas não tenho certeza do significado coloquial …

11 cc.complexity-theory  np-hardness  terminology  reductions 

Estou interessado em uma variação de SAT em que a fórmula CNF é monótona (nenhuma variável é negada). Essa fórmula é obviamente satisfatória. Mas digamos que o número de variáveis ​​verdadeiras seja uma medida de quão boa é a nossa solução. Portanto, temos o seguinte problema: MONOTONE VERDADEIRO MÍNIMO 3SAT …

11 cc.complexity-theory  np-hardness  sat 

Gostaria de saber se as classes de NPCs definidas por muitas reduções de um e reduções de Turing são iguais. Edit: Outra pergunta, são as reduções de Turing apenas colapsando as classes C e co-C para alguns C ou existe uma classe como existe um problema que não esteja em …

11 cc.complexity-theory  np-hardness  reductions 

O problema de correspondência perfeita de duas cores é decidir se um gráfico tem cores com duas cores, de modo que cada nó tenha exatamente um vizinho da mesma cor que ele. O problema foi provado como NP-completo por Schaefer . Permanece NP-completo mesmo para gráficos cúbicos planares. Estou interessado …

10 cc.complexity-theory  np-hardness 

Me deparei com dois exemplos de dureza hipotética de alguns problemas gráficos. Dureza hipotética significa que refutar algumas conjecturas implicaria a completude NP do respectivo problema gráfico. Por exemplo, a conjectura de Barnette afirma que todo gráfico bipartido cúbico planar cúbico de 3 conexões é hamiltoniano. Feder e Subi provaram …

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

Estou interessado no seguinte problema. Recebemos como entrada uma "permutação de destino" , bem como uma lista ordenada de índices i 1 , … , i m ∈ [ n - 1 ] . Então, começando com a lista L = ( 1 , 2 , … , n ) …

10 np-hardness  counting-complexity  permutations  sorting-network  disjoint-paths 

Qual é a definição padrão do Planar 3-SAT? Eu já vi várias definições diferentes. Qual foi o documento original que o definiu e provou ser NP-completo?

10 cc.complexity-theory  reference-request  np-hardness  sat  planar-graphs 

Um problema CNF SAT NP é difícil quando o número total (mas não a largura) das cláusulas de 3 ou mais termos é delimitado acima por uma constante? Que tal especificamente quando existe apenas uma dessas cláusulas?

10 np-hardness  sat  upper-bounds 

Eu tenho o seguinte problema: Entrada: dois conjuntos de intervalos e (todos os pontos de extremidade são inteiros). Consulta: existe uma bijeção monótona ?T f : S → TSSSTTTf: S→ Tf:S→Tf:S \to T O bijeç~ao é monótona wrt da ordem inclusão conjunto em e . T ∀ X ⊆ Y …

10 cc.complexity-theory  ds.algorithms  np-hardness  partial-order  matching 

Quão difícil é o problema Set Cover se o número de elementos estiver delimitado por alguma função (por exemplo, ) em que é o tamanho da instância do problema. Formalmente,nlognlog⁡n\log nnnn Deixe e que e . Quão difícil é decidir o seguinte problemaF = { S 1 , ⋯ , …

10 np-hardness  set-cover  exp-time-algorithms 

Existem algoritmos conhecidos para o seguinte problema que superam o algoritmo ingênuo? Entrada: Um sistema de desigualdades lineares.Ax≤bAx≤bAx \le bmmm Saída: Uma solução viável se houver.x∗∈{0,1}nx∗∈{0,1}nx^*\in \{0,1 \}^n Suponha que e tenham entradas inteiras. Estou interessado nos piores casos.AAAbbb

10 np-hardness  integer-programming  exp-time-algorithms