Existem exemplos de casos em que a simulação clássica de um algoritmo quântico para um problema supera o melhor algoritmo clássico conhecido anteriormente para esse problema? "Supera desempenho" não precisa significar classe de complexidade diferente; poderia simplesmente ser melhor...
Estou em uma situação em que preciso mostrar que a digitação é decidível para um cálculo de tipo dependente em que estou trabalhando. Até agora, pude provar que o sistema está fortemente normalizando e, portanto, que a igualdade de definição é decidível. Em muitas referências que li, a decisão de...
Atualmente, estou procurando um assunto para uma tese e encontrei o campo da teoria da informação algorítmica. O campo parece muito interessante para mim, mas parece que tudo é feito antes de muitos anos. Então, minha pergunta é: o campo está "vivo" ou está praticamente fechado? Tem perguntas em...
A classe NCiNCi\textrm{NC}^i representa as funções de classe computável por circuitos de famílias limitada fã-no, nO(1)nO(1)n^{O(1)} tamanho e O(logi(n))O(logi(n))O(\log^i(n)) de profundidade. A hierarquia NCNC\textrm{NC} é a união dessas classes. Existe algum estudo da variante de tamanho linear...
Esta é uma generalização da minha pergunta anterior . Deixe ser uma máquina determinística em tempo polinomial que podem fazer perguntas para algum oráculo . Inicialmente está vazio, mas isso pode ser alterado após um jogo que será descrito abaixo. Seja uma string.MMMUMAAAUMAAAxxx Considere o...
Minha pergunta é sobre funções bijetivas eficientemente computáveis. Informalmente, estou interessado em: Se uma bijeção é computável em tempo polinomial, podemos calculá-la por um número polinomial de portas bijetivas? Verifiquei a lista de perguntas relevantes e não localizei essa. Minha...
Sabe-se desde o início dos anos 70 que e não são iguais (porque não é fechado em tempo polinomial -uma redução, em contraste com ). Até onde eu sei, ainda está em aberto se uma classe é um subconjunto da outra ou são incomparáveis, o que significa que e {\ bf E} - {\ bf NP} são ambos...
No Zoológico da Complexidade, diz [ 1 ] que, na complexidade descritiva, pode ser definido por três tipos diferentes de fórmulas, que também é e também como .PPPFO(LFP)FO(LFP)FO(LFP)FO(nO(1))FO(nO(1))FO(n^{O(1)})SO(HORN)SO(HORN)SO(HORN) No entanto, existem algumas exceções, por exemplo, não pode...
Eu estou querendo saber se alguém pode me dar a intuição por que a estrita positividade de tipos de dados indutivos garante forte normalização. Para ser claro, vejo como ter ocorrências negativas leva à divergência, ou seja, definindo: data X where Intro : (X->X) -> X podemos escrever uma...
Estou interessado em vários tópicos como Lógica Combinatória, Cálculo Lambda, Programação Funcional há algum tempo e os tenho estudado. No entanto, diferentemente da "Teoria da computação", que se esforça para responder à questão da "computabilidade", isto é, coisas que podem / não podem ser...
Sabemos sob ETHETHETH que não pode resolver KKK -sum em f(K)poly(nK)f(K)poly(nK)f(K)poly(nK) tempo sob qualquer função f(K)f(K)f(K) (geralmente 2O(K)2O(K)2^{O(K)} ). Existe alguma conjectura que impeça uma complexidade (logn)O(K)(logn)O(K)(\log n)^{O(K)} (isso é totalmente consistente com a...
O problema de correspondência perfeita de duas cores é decidir se um gráfico tem cores com duas cores, de modo que cada nó tenha exatamente um vizinho da mesma cor que ele. O problema foi provado como NP-completo por Schaefer . Permanece NP-completo mesmo para gráficos cúbicos planares. Estou...
Dado o gráfico G1, G2 e G3, queremos realizar o teste de isomorfismo F entre G1 e G2, bem como G1 e G3. Se G2 e G3 são muito semelhantes, de modo que G3 é formado pela exclusão de um nó e pela inserção de um nó de G2, e temos o resultado de F (G1, G2), podemos calcular F (G1, G3) sem computá-lo do...
Robin Gandy era aluno de Alan Turing . Gandy fez uma análise do Analytical Engine de Babbage (veja 'Gandy - A confluência de idéias em 1936' citado em 'Herken, Rolf - A Máquina Universal de Turing - Uma Pesquisa de Meio Século . Springer Verlag') - e disse que sim (cf. 52-53): As funções...
Considere um gráfico não direcionado conectado com pesos de aresta não negativos e dois vértices distintos s , ts,ts,t . Abaixo estão alguns problemas de caminho com a seguinte forma: encontre um caminho s - ts−ts-t , de modo que alguma função dos pesos das arestas no caminho seja mínima. Nesse...
Um DFA ou NFA lê uma sequência de entrada com uma única cabeça, movendo-se da esquerda para a direita. Parece natural pensar em máquinas de estado finito que possuem várias cabeças , cada uma das quais se move pela entrada da esquerda para a direita, mas não necessariamente no mesmo local da...
Conhecemos e amamos um monte de classes aninhadas de conceitos de solução: PN: Equilíbrio puro de Nash MN: Equilíbrio misto de Nash CE: Equilíbrio correlacionado CCE: Curso de equilíbrio correlacionado. PN⊂ MN⊂ CE⊂ CCEPN⊂MN⊂CE⊂CCEPN \subset MN \subset CE \subset CCE...
Portanto, tenho um problema que estou enfrentando em relação ao cluster com dados ao vivo e continuamente em fluxo contínuo. Como tenho um conjunto de dados sempre crescente, não tenho certeza de qual é a melhor maneira de executar um cluster eficiente e eficaz. Eu vim com algumas soluções...
Estou (lentamente) escrevendo uma resenha do Handbook of Chemoinformatics Algorithms for SIGACT News. Um capítulo discute as implementações atuais de software, e as pesquisas no banco de dados (e outros aplicativos) não parecem tirar o máximo proveito possível das informações sobre os gráficos. Por...
Existem resultados conhecidos mostrando que a existência (ou não) de gráficos finitos com propriedades computáveis específicas implica certos resultados de complexidade (como P = NP)? Aqui está um resultado completamente hipotético : Se existe um gráfico finito com arestas distintas, A, B, C e...