Perguntas com a marcação «cc.complexity-theory»

Quais são as razões convincentes para acreditar em ? L é a classe de algoritmos de espaço de log com ponteiros para a entrada.L≠PL≠PL\neq P Suponha L = P no momento. Como seria um algoritmo de espaço de log para um problema de P-complete em seus contornos gerais?

23 cc.complexity-theory  complexity-classes 

Considere problemas de otimização do seguinte formulário. Seja uma função computável em tempo polinomial que mapeie uma sequência em um número racional. O problema de otimização é este: qual é o valor máximo de sobre as cadeias de bits ?x f ( x ) n xf(x)f(x)f(x)xxxf(x)f(x)f(x)nnnxxx Digamos que esse problema …

23 cc.complexity-theory  graph-algorithms  complexity-classes  optimization  linear-programming 

I know that trivially the OR function on nnn variables x1,…,xnx1,…,xnx_1,\ldots, x_n can be represented exactly by the polynomial p(x1,…,xn)p(x1,…,xn)p(x_1,\ldots,x_n) as such: p(x1,…,xn)=1−∏ni=1(1−xi)p(x1,…,xn)=1−∏i=1n(1−xi)p(x_1,\ldots,x_n) = 1-\prod_{i = 1}^n\left(1-x_i\right), which is of degree nnn. Mas como eu poderia mostrar, o que parece óbvio, que se é um polinômio que representa exatamente a …

23 cc.complexity-theory  co.combinatorics  lower-bounds  polynomials 

Recentemente, vi vários artigos sobre o arxiv que se referem a um sistema de prova chamado soma de quadrados. Alguém pode explicar o que é uma prova de soma de quadrados e por que essas provas são importantes / interessantes? Como eles estão relacionados a outros sistemas de provas algébricas? …

23 cc.complexity-theory  lo.logic  algebraic-complexity  proof-complexity  sum-of-squares 

Alguns de vocês podem estar seguindo esta pergunta , que foi encerrada por não estar em nível de pesquisa. Então, estou extraindo a parte da pergunta que está no nível da pesquisa. Além das técnicas "mais simples", como reduzir a classificação ou um problema EXPTIME-complete, quais técnicas foram usadas para …

23 cc.complexity-theory  reference-request  fl.formal-languages  time-complexity  reductions 

Há claramente uma redução de CLIQUE para k-Color porque ambos são NP-Complete. Na verdade, eu posso construir um compondo uma redução de CLIQUE para 3-SAT com uma redução de 3-SAT para k-Color. O que eu quero saber é se existe uma redução direta razoável entre esses problemas. Digamos, uma redução …

23 cc.complexity-theory  graph-theory  np-hardness  reductions 

Sabe-se que o ciclo hamiltoniano (presunto abreviado) é NP-completo e que o ciclo planar de presunto é NP-completo. A prova para o Ciclo de Presunto Planar não é do Ciclo de Presunto. Existe um gadget legal que, dado um gráfico G, substitua todos os cruzamentos por algum gadget planar, para …

23 cc.complexity-theory  np-hardness  planar-graphs  hamiltonian-paths 

Alguém pode sugerir uma pesquisa boa e recente sobre a contagem de problemas e / ou problemas que são #P.

23 cc.complexity-theory  reference-request  counting-complexity 

Esta pergunta está relacionada a uma resposta que eu postei em resposta a outra pergunta. O problema de 3 partições é o seguinte: Instância : números inteiros positivos a 1 ,…, a n , em que n = 3m e a soma dos n números inteiros é igual a mB, …

23 cc.complexity-theory  np-hardness 

A largura da árvore mede a distância entre um gráfico e uma árvore. É NP-difícil calcular a largura da árvore. O algoritmo de aproximação mais conhecido atinge fator.O(logn−−−−√)O(logn)O(\sqrt{{\log}n}) O teorema de Courcelle afirma que qualquer propriedade dos gráficos definíveis na lógica monádica de segunda ordem (MSO2) pode ser decidida em …

23 cc.complexity-theory  ds.algorithms  graph-theory  space-bounded  treewidth 

O que se sabe sobre a complexidade de encontrar circuitos mínimos que calculam SAT até o comprimento ? nnn Mais formalmente: qual é a complexidade de uma função que, dada como entrada, gera um circuito C mínimo, de modo que, para qualquer fórmula φ com | & Phi; | ≤ …

23 cc.complexity-theory  sat 

Na pesquisa "Circuitos Quânticos de Profundidade Pequena" de D. Bera, F. Green e S. Homer (p. 36 da ACM SIGACT News, junho de 2007 vol. 38, n. 2) , li a seguinte frase: A versão clássica de (na qual as portas e têm fanout no máximo constante) é comprovadamente mais …

23 cc.complexity-theory  circuit-complexity 

Estou tentando entender a relação entre isomorfismo de gráfico e o problema de subgrupo oculto. Existe uma boa referência para isso?

23 cc.complexity-theory  reference-request  quantum-computing  graph-isomorphism 

Já faz mais de um ano desde a sua retração e correção em janeiro de 2017. Há novidades? Se não, isso é normal para a validação demorar tanto? Eu esperaria que isso chamasse muita atenção. Alguém de destaque falou para apoiar / duvidar do resultado quase polinomial?

23 cc.complexity-theory  graph-isomorphism  proofs 

Motivado pelo comentário de Fortnow no meu post, Evidências de que o problema do isomorfismo do gráfico não é completoNPNPNP G I N P N P P G I P e pelo fato de o ser um candidato principal ao intermediário do (não nem no ), estou interessado em evidências …

23 cc.complexity-theory  graph-isomorphism