EDIT (v2): Adicionada uma seção no final sobre o que eu sei sobre o problema. EDIT (v3): adicionada discussão sobre o grau do limiar no final. Questão Esta pergunta é principalmente uma solicitação de referência. Eu não sei muito sobre o problema. Quero saber se já houve trabalho anterior sobre...
É claro que qualquer problema que seja decidível no espaço de log determinístico ( ) é executado no máximo no tempo polinomial ( ). Existe uma grande variedade de classes de complexidade entre e . Exemplos incluem , , , , , . Acredita-se que .P L P N L L o g C F G N C I S A C i A C I S C i G ≠...
Há uma literatura rica e pelo menos um livro muito bom que define a dureza conhecida dos resultados da aproximação para problemas difíceis de NP no contexto de erro multiplicativo (por exemplo, 2 aproximações para cobertura de vértices é ideal, considerando UGC). Isso também inclui classes de...
Isso está relacionado à pergunta O tamanho da associação de testemunhas para cada idioma NP já é conhecido? Alguns problemas naturais de N PNP\mathsf{NP} (completos) têm testemunhas de comprimento linear: uma tarefa satisfatória para SA TSATSAT , uma sequência de vértices para , etc.HA MPA...
Estou tentando entender a relação entre isomorfismo de gráfico e o problema de subgrupo oculto. Existe uma boa referência para
Subhash Khot 's únicos Jogos Conjectura é uma das áreas de pesquisa ativos na teoria da complexidade. Que evidência temos para isso? Que evidência temos contra
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
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, de modo que cada a i satisfaça B / 4 <a i <B /...
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...
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 que...
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...
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; | ≤ n , C ( φ ) = S A T ( φ )...
O acesso a um oráculo forneceria uma grande aceleração super polinomial para tudo em (assumindo que o conjunto não esteja vazio). No entanto, é menos claro quanto beneficiaria desse acesso ao oracle. Obviamente, a aceleração em não pode ser super-polinomial, mas ainda pode ser polinomial. Por...
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 fraca que...
Considere a seguinte tarefa computacional: Queremos provar uma fórmula 3-SAT de variáveis (uma variante: variáveis cláusulas) com relação à distribuição uniforme de probabilidade, condicionada à satisfação da fórmula:n mnnnnnnmmm Q1: Isso pode ser alcançado com eficiência por um computador...
A teoria da complexidade, através de conceitos como NP-completeness, distingue entre problemas computacionais que têm soluções relativamente eficientes e aqueles que são intratáveis. A complexidade "refinada" visa refinar essa distinção qualitativa em um guia quantitativo sobre o tempo exato...
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?...
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...
Atualmente, o bitcoin possui um sistema de prova de trabalho (PoW) usando SHA256. Outras funções de hash usam gráficos de uso do sistema de prova de trabalho, inversão parcial da função de hash. É possível usar um problema de Decisão na Teoria do Nó, como o reconhecimento do Nó, e transformá-lo em...
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...