Perguntas com a marcação «csp»

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 …

27 cc.complexity-theory  np-hardness  complexity-classes  sat  csp 

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 pesquisas que vão além do problema Max-Cut para …

22 ds.algorithms  reference-request  approximation-algorithms  semidefinite-programming  csp 

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 para que ele …

17 sat  lo.logic  csp 

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 - …

16 cc.complexity-theory  approximation-hardness  unique-games-conjecture  csp 

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 item …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

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 outro …

12 parameterized-complexity  csp  fixed-parameter-tractable 

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 muitas das verificações …

12 lo.logic  csp  security 

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 Max com base em se eles têm …

12 cc.complexity-theory  pcp  csp 

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 …

12 cc.complexity-theory  lo.logic  csp 

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 

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

10 cc.complexity-theory  graph-theory  hypergraphs  treewidth  csp 

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 …

9 reference-request  graph-theory  np-hardness  csp  homomorphism 

(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 …

8 np-hardness  csp  promise-problems