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,...
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...
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...
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...