Pelo que entendi (que é muito pouco, por favor, corrija-me onde erro!), A teoria das linguagens de programação geralmente se preocupa com provas "intuicionistas". Na minha própria interpretação, a abordagem exige que levemos a sério as consequências da computação na lógica e na provabilidade. Uma...
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...
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...
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
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...
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...
Para um alfabeto finito fixo , uma linguagem formal sobre é regular, se existe um autômato finito determinístico (DFA) sobre que aceita exatamente .ΣΣ\SigmaLeuLΣΣ\SigmaΣΣ\SigmaLeuL Estou interessado em idiomas "quase" regulares no sentido de que podem ser reconhecidos por famílias de tamanho de...
Um importante artigo de 2003 de Childs et al.introduziu o "problema das árvores conjuntas": um problema que admite uma aceleração quântica exponencial que é diferente de qualquer outro problema desse tipo que conhecemos. Nesse problema, recebemos um gráfico exponencialmente grande como o da figura...
Atualmente, estou tentando encontrar problemas completos do EXPSPACE (principalmente para encontrar inspiração para uma redução) e estou surpreso com o pequeno número de resultados que estão chegando. Até agora, eu os encontrei e tenho problemas para expandir a lista: universalidade (ou outras...
Um polinômio é uma projeção monótona de um polinômio g ( y 1 , … , y m ) se m = poli ( n ) , e existe uma atribuição π : { y 1 , … , y m } → { x 1 , … , x n , 0 , 1f(x1,…,xn)f(x1,…,xn)f(x_1,\ldots,x_n)g(y1,…,ym)g(y1,…,ym)g(y_1,\ldots,y_m)mmm(n)(n)(n) tal que f ( x 1 , … , x n ) = g ( π ( y 1 ) , …...
Dadas duas seqüências xey, eu quero criar um DFA de tamanho mínimo que aceite xe rejeite y. Uma maneira de fazer isso é a busca por força bruta. Você enumera o DFA começando pelo menor. Você tenta cada DFA até encontrar um que aceite xe rejeite y. Quero saber se existe outra maneira conhecida de...
Seja dois idiomas regulares fornecidos pelos NFAs M_1 como entrada.M 1 , M 2eu1, L2L1,L2L_1,L_2M1, M2M1,M2M_1,M_2 Suponha que gostaríamos de verificar se . Isso pode ser feito claramente por um algoritmo quadrático que calcula o autômato do produto , , mas eu queria saber se algo mais eficiente é...
Eu li na uncountably muitos artigos que a determinação da constante de Cheeger de um gráfico é NPNP\mathsf{NP} -Hard. Parece ser um teorema popular, mas nunca encontrei uma citação ou uma prova para essa afirmação. A quem devo dar crédito por isso? Num artigo antigo (Isoperimetric Numbers of...
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 conhecidas que não é em...
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...
Para uma constante , pode-se determinar em tempo linear, dado um gráfico de entrada , se sua largura de árvore é . No entanto, quando e são dados como entrada, o problema é NP-difícil. ( Fonte ). G ≤ k k Gk ∈ Nk∈Nk \in \mathbb{N}GGG≤ k≤k\leq kkkkGGG No entanto, quando o gráfico de entrada é plano...
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...
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...
É sabido que muitos parâmetros gráficos importantes mostram concentração (forte) em gráficos aleatórios, pelo menos em alguma faixa da probabilidade da aresta. Alguns exemplos típicos são: número cromático, clique máximo, conjunto independente máximo, correspondência máxima, número de domínio,...
Esta questão foi migrada do Computer Science Stack Exchange porque pode ser respondida no Theoretical Computer Science Stack Exchange. Migrou há 3 anos . No artigo científico de 2016 " Realização de um algoritmo Shor escalável " [ 1 ], os autores fatoram 15 com apenas 5...