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

Qual é a complexidade do seguinte problema? Entrada : HHH umcaminho hamiltonianoemKnKnK_n um subconjunto de pares de vérticesR⊆[n]2R⊆[n]2R \subseteq [n]^2 um número inteiro positivo kkk Consulta : existe um M correspondente que para cada ( v , u ) ∈ R , d G ( v , u ) ≤ …

14 cc.complexity-theory  graph-theory  graph-algorithms  np-hardness  np-complete 

Problema: Dado representado por um circuito booleano, gerar uma maneira uniforme aleatória tal que (ou output se esse existir). ϕ : { 0 , 1 }n→ { 0 , 1 }ϕ:{0 0,1}n→{0 0,1}\phi : \{0,1\}^n \to \{0,1\} ϕ ( x ) = 1 ⊥ xx ∈ { 0 , 1 …

14 np-hardness  counting-complexity  reductions 

Dado um gráfico, , que deseja encontrar uma óptima -domination para . Isto é, I quer um subconjunto de de tal modo que todos os vértices em estão a uma distância de, no máximo, de algum vértice em , enquanto minimiza o tamanho de .G = ( V, E)G=(V,E)G = …

14 graph-algorithms  np-hardness  treewidth  parameterized-complexity  fixed-parameter-tractable 

Como todos sabem, o SAT está completo para reduções de numerosas uma em tempo polinomial . Ainda há reduções completas de wrt .N PNP\mathsf{NP}A C0 0UMAC0 0\mathsf{AC^0} Minhas perguntas é qual é a profundidade mínima exigida para as reduções? Mais formalmente, Qual é o menor que SAT é -hard wrt …

14 cc.complexity-theory  reference-request  np-hardness  circuit-complexity  reductions 

Lema: Assumindo a eta-equivalência, temos isso (\x -> ⊥) = ⊥ :: A -> B. Prova: ⊥ = (\x -> ⊥ x)por eta-equivalência e (\x -> ⊥ x) = (\x -> ⊥)por redução no lambda. O relatório Haskell 2010, seção 6.2 especifica a seqfunção por duas equações: seq :: a …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

Durante muito tempo, pensei que um problema era NP-completo se fosse (1) NP-difícil e (2) estivesse em NP. No entanto, no famoso artigo "O método elipsóide e suas conseqüências na otimização combinatória" , os autores afirmam que o problema do número cromático fracionário pertence ao NP e é NP-difícil, mas …

14 cc.complexity-theory  np-hardness  complexity-classes  terminology 

Existe uma maneira de codificar uma instância de Subset Sum ou o Number Partition Problem para que uma solução (pequena) para uma relação inteira produza uma resposta? Se não definitivamente, então em algum sentido probabilístico? Eu sei que o LLL (e talvez o PSLQ) foram usados ​​com sucesso moderado na …

14 cc.complexity-theory  np-hardness  approximation-algorithms  reductions  subset-sum 

Esse é um nome que eu inventei para esse problema. Eu nunca vi isso descrito em nenhum lugar antes. Ainda não consegui encontrar uma prova de completude de NP nem um algoritmo de tempo polinomial para esse problema. Não é um problema de lição de casa - está relacionado a …

14 cc.complexity-theory  np-hardness 

Dado um autômato finito (determinístico ou não determinístico, acho que isso não tem muita importância) autômato A e um limiar n , A aceita uma palavra contendo no máximo n letras distintas? (Com k letras diferentes, quero dizer que aabaa tem duas letras distintas, a e b .) Eu mostrei …

13 cc.complexity-theory  np-hardness  automata-theory 

Treewith é um parâmetro importante do gráfico que indica o quão perto um gráfico está de ser uma árvore (embora não em um sentido topológico estrito). É sabido que calcular a largura da árvore é difícil para NP. Existem classes naturais de gráficos em que a largura da árvore é …

13 graph-theory  np-hardness  polynomial-time  treewidth 

Quão difícil é encontrar a solução mais esparsa para um sistema de equações lineares? Mais formalmente, considere o seguinte problema de decisão: Instância: Um sistema de equações lineares com coeficientes inteiros e um número .ccc Pergunta: Existe uma solução para o sistema com pelo menos variáveis ​​atribuídas a zero?ccc Também …

13 np-hardness  linear-algebra  linear-programming  matrices  sparse-matrix 

Considere o problema em que nos é dado como entrada um gráfico acíclico direcionado , uma função de rotulação de para um conjunto com uma ordem total (por exemplo, os números inteiros) e onde nos perguntam para calcular o tipo topológico lexicograficamente menor de em termos de . Mais precisamente, …

13 cc.complexity-theory  np-hardness  sorting  directed-acyclic-graph  order-theory 

Enquanto escrevia um pequeno post sobre a complexidade dos videogames Nibbler e Snake ; Descobri que ambos podem ser modelados como problemas de reconfiguração em gráficos planares; e parece improvável que esses problemas não tenham sido bem estudados na área de planejamento de movimento (imagine, por exemplo, uma cadeia de …

13 cc.complexity-theory  reference-request  np-hardness  planar-graphs 

No problema de extensibilidade, recebemos parte da solução e queremos decidir se podemos estendê-la para uma solução completa. Alguns problemas de extensibilidade são solucionáveis ​​com eficiência, enquanto outros problemas de extensibilidade transformam um problema fácil em um difícil. Por exemplo, Konig-Hall teorema afirma que todos os grafos bipartidos cúbicos são …

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

Há algum tempo, publiquei uma solicitação de referência para problemas gráficos, onde queremos encontrar uma partição em 2 das arestas, em que os dois conjuntos cumprem uma propriedade não relacionada à sua cardinalidade. Eu estava tentando provar que o seguinte problema é difícil de NP: Dado um torneio , existe …

13 np-hardness  reductions