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

Greibach notoriamente definida uma linguagem de , o chamado versão não-determinístico de D 2 , de tal modo que qualquer CFL é uma imagem inversa de mórfica H . Existe uma afirmação semelhante com o DCFL, possivelmente com alguma restrição nos morfismos permitidos?HHHD2D2D_2HHH (Ver, por exemplo, M. Autebert, J. Berstel …

12 fl.formal-languages  open-problem  context-free  nondeterminism  hard-instances 

Este artigo recente do FOCS2013, Strong Backdoors to Bounded Treewidth SAT de Gaspers e Szeider, fala sobre o vínculo entre a largura da árvore do gráfico da cláusula SAT e a dureza da instância. Para instâncias aleatórias de 3-SAT, ou seja, 3-SAT escolhidas aleatoriamente, qual é a correlação entre a …

11 graph-algorithms  sat  treewidth  random-k-sat  hard-instances 

Estou interessado nos exemplos explícitos de gráficos para os quais a aplicação do algoritmo de Goemans e Williamson para aproximar o máximo de cortes resulta em 0,878 ... fator de aproximação. O algoritmo para criar tais instâncias seria perfeito, exemplos e referências explícitos são satisfatórios.

10 ds.algorithms  approximation-algorithms  max-cut  hard-instances 

Estou interessado em instâncias individuais "difíceis" de problemas de NP-completo. Ryan Williams discutiu o problema SAT0 no blog de Richard Lipton . SAT0 pergunta se uma instância SAT tem a solução específica que consiste em todos os 0s. Isso me fez pensar em construir instâncias SAT que provavelmente serão "difíceis". …

10 cc.complexity-theory  sat  hard-instances