Ciência da Computação Teórica

Vinte anos atrás, criei um pacote de expressões regulares que incluía conversões de expressões regulares em uma máquina de estado finito (DFA) e oferecia suporte a uma série de operações fechadas de expressões regulares (estrela Kleene, concatenação, reversão, operações de conjunto etc.). Eu não tinha certeza do pior desempenho do …

16 dfa  regular-expressions  bounds 

O caso de gráficos fortemente regulares é o mais difícil para testes de IG? onde "mais difícil" é usado em algum significado de "senso comum" ou "em média", por assim dizer. Wolfram MathWorld menciona alguns "gráficos patologicamente difíceis". O que eles são? Meu conjunto de amostra de 25 pares de …

16 ds.algorithms  graph-isomorphism 

LogCFL é o conjunto de todos os idiomas com espaço de log redutível para um idioma sem contexto. Da mesma forma, LogDCFL é o conjunto de todos os idiomas com espaço de log redutível para um idioma sem contexto determinístico. Consulte este artigo da Wikipedia para alguns problemas naturais completos …

16 cc.complexity-theory  complexity-classes 

O problema a seguir aparece na lista de Aaronson, Dez semi-grandes desafios para a teoria da computação quântica . É BQP=BPPBQNCBQP=BPPBQNC\mathsf{BQP}=\mathsf{BPP}^{\mathsf{BQNC}} Em outras palavras, pode a parte "quantum" de qualquer algoritmo quântico ser comprimido para polylog(n)polylog(n)\mathrm{polylog}(n) de profundidade, desde que está disposto para fazer polynomial- pós-processamento clássico? (Sabe-se que isso …

16 cc.complexity-theory  quantum-computing  circuit-complexity  quantum-information  circuit-depth 

Qualquer idioma que não esteja completo em Turing não pode escrever um intérprete para si próprio. Não tenho idéia de onde li isso, mas já o vi usado várias vezes. Parece que isso dá origem a uma espécie de linguagem completa "final" não-Turing; aquele (s) que só podemser interpretado por …

16 computability  turing-machines 

Existem aplicações práticas para modelos de programação que não sejam da von Neumann? Quais são as linguagens de programação não-von Neumann mais amplamente adotadas?

16 universal-computation  logic-programming 

Normalização fraca para o cálculo lambda de tipo simples pode ser comprovada (Turing) por indução em . Um cálculo lambda estendido com recursores em números naturais (Gentzen) possui uma estratégia de normalização fraca por indução em .ω2ω2\omega^2ϵ0ϵ0\epsilon_0 E o Sistema F (ou mais fraco)? Existe uma prova fraca de normalização …

16 lo.logic  type-theory  lambda-calculus  proof-theory  normalization 

O que devo ler para entender esse problema? O poder dos circuitos quânticos de pequena profundidade. Is ? Em outras palavras, a parte "quântica" de qualquer algoritmo quântico pode ser compactada até a profundidade do polilog (n), desde que desejemos realizar um pós-processamento clássico em tempo polinomial? (Sabe-se que isso …

16 cc.complexity-theory  reference-request  quantum-computing 

Existem exemplos interessantes de algoritmos que foram publicados com limites comprovados e onde limites estritamente melhores foram publicados posteriormente? Algoritmos não melhores com limites melhores - obviamente, isso aconteceu! Mas uma melhor análise leva a uma melhor ligação a um algoritmo existente Eu pensei que a multiplicação de matrizes fosse …

16 ho.history-overview  analysis-of-algorithms 

No "Quantum Computation and Quantum Information" de Mike e Ike, o algoritmo de Grover é explicado em grande detalhe. No entanto, no livro e em todas as explicações que encontrei on-line para o algoritmo de Grover, parece não haver menção de como o Oracle de Grover é construído, a menos …

16 quantum-computing  quantum-information  oracles  search-problem  black-box 

Alguns antecedentes: lógicas de muitos valores Łukasiewicz foram concebidas como lógicas modais, e Łukasiewicz deu uma definição extensional do operador modal: (que ele atribui a Tarski).◊A=def¬A→A◊A=def¬A→A\Diamond A =_{def} \neg A \to A Isso fornece uma lógica modal estranha, com alguns teoremas paradoxais, se não aparentemente absurdos, notadamente . Substitua por …

15 reference-request  lo.logic  proof-theory  linear-logic  modal-logic 

Eu estou procurando artigos e artigos sobre lógicas estruturais subestruturais - não sobre a semântica de modalidades lógicas lineares, mas sobre lógicas subestruturais aumentadas com operadores modais padrão, por exemplo, K estrutural (algo como MALL com operador de caixa, necessidade e regras K).

15 reference-request  lo.logic  proof-theory 

Como todos sabem, o famoso livro de Garey e Johnson (e muitos outros) fornece uma excelente referência para a técnica de redução no cenário clássico. Existem pesquisas ou livros sobre o tópico da técnica de redução no algoritmo parametrizado, digamos a redução de fpt?

15 cc.complexity-theory  reference-request  reductions  parameterized-complexity 

Eu fiz essa pergunta no Stack Overflow há um tempo atrás: Problema: a venda de Bob . Alguém sugeriu postar a pergunta aqui também. Alguém já fez uma pergunta relacionada a esse problema aqui - subfloresta de peso mínimo de determinada cardinalidade - mas, pelo que entendi, não me ajuda …

15 ds.algorithms  np-hardness  tree  optimization  application-of-theory 

O teorema do ponto fixo de Banach diz que, se tivermos um espaço métrico completo não vazio AUMAA , qualquer função uniformemente contrativa possui um ponto fixo único . No entanto, a prova desse teorema requer o axioma da escolha - precisamos escolher um elemento arbitrário para iniciar a iteração …

15 reference-request  lo.logic  pl.programming-languages  denotational-semantics  metric-spaces