CSP representa o problema de satisfação da restrição.
Ao ler o artigo "É hora de declarar vitória na contagem da complexidade?" no blog "Godel's Lost Letter and P = NP" , eles mencionaram a dicotomia para CSP's. Depois de algum link a seguir, pesquisando e pesquisando, encontrei o Teorema de Ladner : Teorema de Ladner: Se , então existem problemas...
Ao projetar algoritmos de aproximação, às vezes se resolve um programa semidefinido seguido de uma etapa de arredondamento. Um exemplo frequentemente usado para ilustrar isso é o Max-Cut. (Veja, por exemplo, Algoritmos de Aproximação de Vijay Vazirani.) Existem boas fontes educacionais ou...
No passado, implementei modelos de coordenação usando SAT e satisfação regular de restrições como o cavalo de batalha principal em seus motores. Continuando nesta linha de trabalho, gostaria de tornar os modelos mais interativos, e a melhor maneira de fazer isso é abrir o solucionador de restrições...
Antecedentes : No artigo UGC original de Subhash Khot ( PDF ), ele prova a dureza UG de decidir se uma determinada instância CSP com restrições de todo o formato Não igual a todos (a, b, c) ao longo de um alfabeto ternário admite uma tarefa que satisfaça 1 - das restrições ou se não existem...
O problema de manutenção de pedidos (ou "manutenção de pedidos em uma lista") é dar suporte às operações: singleton: cria uma lista com um item, retorna um ponteiro para ele insertAfter: dado um ponteiro para um item, insere um novo item depois dele, retornando um ponteiro para o novo...
Uma formulação equivalente do teorema de PCP é: Para Max 3-SAT, é difícil distinguir entre fórmulas satisfatórias e fórmulas onde, no máximo, a fração das cláusulas é satisfatória (para alguns ).NPNPNPrrrr<1r<1r\lt 1 Existe algum teorema de dicotomia conhecido que classifique todo o CSP...
A pergunta a seguir surgiu várias vezes ao testar a segurança de um sistema ou modelo. Motivação: As falhas de segurança do software geralmente não provêm de bugs devido a entradas válidas, mas de bugs resultantes de entradas inválidas suficientemente próximas das entradas válidas para passar por...
Seja uma fórmula 2CNF um número inteiro não negativo. Está provado neste artigo que o problema de decidir se é possível excluir no máximo cláusulas para tornar satisfatório é um parâmetro fixo tratável, onde é o parâmetro. Minha pergunta é se há algum trabalho que generalize esse resultado para...
O teorema da dicotomia de Schaefer mostra que cada problema de CSP acima de é solucionável em tempo polinomial ou é NP completo. Isso se aplica apenas a problemas CSP de largura limitada, excluindo SAT e Horn-SAT, por exemplo. Os problemas gerais de largura ilimitada do CSP podem ser muito difíceis...
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 esse é um...
No SODA 2006, Martin Grohe e D niel papel de Marx "Constraint solução através de tampas de borda fraccionada" ( citação ACM ) mostrou que, para a classe de Hipergrafos H com largura hypertree fraccionada limitada, CSP ( H ) ∈ P T I M E .a´a´\acute{\rm a}HHHHHH∈PTIME∈PTIME\in PTIME Definições,...
Dado um grafo orientado fixo (d�rafo) , a -COLORING problema decisão pergunta se um digrama de entrada tem um homomorphism para . (Um homomorfismo de para é um mapeamento de para que preserva os arcos, ou seja, se é um arco de , então é um arco de )D L D L D F V ( L ) V ( D ) u v L f ( u ) f ( v...
(Este é o "extremidade superior" da minha pergunta de mais de 10 meses atrás em cs.stackexchange. Essa pergunta eo "limite inferior" Eu perguntei aqui mais de 8 meses atrás , que eu também tenho uma recompensa por, são ambos sem resposta. Estes são capturas de tela de como essa postagem deve...