Ciência da Computação Teórica

Penso que um teorema da hierarquia de tamanho para a complexidade do circuito pode ser um grande avanço na área. É uma abordagem interessante para a separação de classes? A motivação para a pergunta é que temos que dizer existe alguma função que não pode ser calculada pelos circuitos de …

18 cc.complexity-theory  circuit-complexity  lower-bounds  natural-proofs  hierarchy-theorems 

Esta é uma reformulação dos programas de gramática São? solicitado anteriormente por Vag e com muitas sugestões dos comentaristas. De que maneira uma gramática pode ser vista como especificando um modelo de computação? Se, por exemplo, usarmos uma gramática simples, livre de contexto, como G ::= '1' -> '0' '+' …

18 fl.formal-languages  pl.programming-languages  grammars  universal-computation 

É sabido que se , a hierarquia polinomial entra em colapso e .P=NPP=NP\mathbf{P}=\mathbf{NP}P=PHP=PH\mathbf{P}=\mathbf{PH} Isso pode ser facilmente entendido por indução usando máquinas oracle. A questão é: por que não podemos continuar o processo indutivo além de um nível constante de alternância e provar (também conhecido como )?P=AltTime(nO(1))P=AltTime(nO(1))\mathbf{P}=\mathbf{AltTime}(n^{O(1)})AP=PSPACEAP=PSPACE\mathbf{AP}=\mathbf{PSPACE} Estou procurando uma …

18 cc.complexity-theory  polynomial-hierarchy  intuition 

2 perguntas para os geômetros computacionais ou algebristas: Estou apenas começando a mergulhar na geometria computacional e estou adorando =) Estou tentando ler o famoso artigo de Guibas e Stolfi chamado "Primitivos para a manipulação de subdivisões gerais e o cálculo dos diagramas de Voronoi" para implementar um algoritmo de …

18 reference-request  cg.comp-geom  algebra 

É verdade que existem problemas na hierarquia polinomial solucionáveis ​​no tempo (por uma máquina de Turing alternada em algum nível da hierarquia polinomial) que não são solucionáveis ​​em em algum nível da hierarquia polinomial? Em outras palavras - existe um teorema da hierarquia de tempo para a hierarquia polinomial como …

18 cc.complexity-theory  reference-request  polynomial-hierarchy  time-hierarchy 

Esta página afirma que muitos idiomas não usam subtipagem implícita (equivalência estrutural), preferindo subtipagem explícita / declarada (equivalência de declaração) Eu usei principalmente linguagens de programação que usam subtipos explícitos . Quais são as vantagens da subtipagem implícita, conforme descrito nas notas acima.

18 pl.programming-languages  type-theory 

É sabido que existem muitos amadores - inclusive eu - que estão interessados ​​no problema P vs. NP. Também existem muitos especialistas - inclusive eu - que tentaram resolver o problema. Um problema que eu acho que a comunidade do TCS sofre é uma proporção relativamente alta de amador-especialista / …

18 soft-question 

O método de derivadas de Brzozowski é uma técnica muito bonita para construir autômatos determinísticos a partir de expressões regulares de uma maneira bastante algébrica. Eu elaborei algumas generalizações engraçadas dessa técnica para lidar com algumas classes maiores de gramática, mas os algoritmos são simples o suficiente para que pareça …

18 reference-request  fl.formal-languages  parsing 

Estou correto ao entender que provar que um NP está completo é um sucesso de pesquisa? Se sim, por quê?

18 cc.complexity-theory  np-hardness  big-picture 

Em sistemas de prova para lógica proposicional clássica se quero mostrar que uma determinada fórmula não é um derivável simplesmente mostra que ¬ ψ pode ser derivada (embora outras técnicas certamente são possíveis). A não derivabilidade decorre essencialmente da solidez e integridade do sistema de prova.ψψ\psi¬ ψ¬ψ\neg\psi Infelizmente, para lógicas …

18 lo.logic 

Muitas vezes, se o tempo de execução de um algoritmo for uma expressão complicada, o próprio algoritmo também será complicado e impraticável. Cada uma das raízes do cubo e fatores no tempo de execução assintótico tende a adicionar complexidade ao algoritmo e também ocultar fatores constantes no tempo de execução.loglognlog⁡log⁡n\log …

18 ds.algorithms  soft-question  recreational 

A teoria da complexidade parece capturar algo fundamental sobre a estrutura do universo, na medida em que formaliza a noção intuitiva de que alguns problemas são mais difíceis do que outros. Scott Aaronson previu : "A NP Hardness Assumption será vista como análoga à Segunda Lei da Termodinâmica ou à …

18 cc.complexity-theory  soft-question  big-picture 

Alguém sabe sobre um resultado de completude de NP para o problema DOMINATING SET em gráficos, restrito à classe de gráficos bipartidos planares de grau máximo 3? Eu sei que é NP-completo para a classe de gráficos planares de grau máximo 3 (veja o livro de Garey e Johnson), bem …

18 cc.complexity-theory  graph-theory 

Seja um gráfico simples não direcionado e sejam vértices distintos. Deixe que o comprimento de um caminho simples seja o número de arestas no caminho. Estou interessado em calcular o tamanho máximo de um conjunto de caminhos st simples, de modo que cada caminho tenha um comprimento ímpar, e os …

18 matching  graph-algorithms 

Recentemente, Watrous et al provaram que QIP (3) = PSPACE é um resultado notável. Este foi um resultado surpreendente para mim, para dizer o mínimo, e isso me fez pensar ... Eu me perguntava e se os Computadores Quânticos pudessem ser eficientemente simulados pelos Computadores Clássicos. Isso poderia estar SIMPLESMENTE …

18 cc.complexity-theory  quantum-computing  space-bounded  conditional-results  interactive-proofs