Ciência da Computação Teórica

Há um problema em aberto em idiomas formais conhecido como Problema de Separação; que é brevemente indicado como duas seqüências distintas de comprimento , qual o tamanho de um DFA necessário para "separá-las", o que significa aceitar uma sequência, mas rejeitar a outra.nnn Aqui estão alguns artigos relevantes 1 , …

10 fl.formal-languages  automata-theory 

Os problemas foram classificados como um todo graças à complexidade computacional. Mas, em equações diferenciais, é possível classificar equações diferenciais dependendo de sua estrutura computacional? Por exemplo, se uma equação não homogênea de primeira ordem é comparativamente difícil de resolver do que uma, digamos, equação homogênea de 100ª ordem, elas …

10 cc.complexity-theory  complexity-classes  computability  dynamic-algorithms 

Talvez a principal fonte de problemas de desempenho em Haskell seja quando um programa cria inadvertidamente um thunk de profundidade ilimitada - isso causa um vazamento de memória e um potencial estouro de pilha ao avaliar. O exemplo clássico está definindo sum = foldr (+) 0em Haskell. Existe algum tipo …

10 type-theory  functional-programming  program-verification 

Após as perguntas equivalentes sobre NP-Completeness (consulte a pergunta sobre peso e a pergunta direcionada ), fiquei pensando como os problemas parametrizados são afetados por esses atributos. Quais gráfico duro são -Duro em gráficos direcionados, mas parâmetros fixos tratáveis ​​em gráficos não direcionados?NPNPNPW[1]W[1]W[1] Quais gráfico difícil de são difíceis de …

10 cc.complexity-theory  graph-algorithms  parameterized-complexity  fixed-parameter-tractable 

O problema de isomorfismo gráfico é um dos problemas mais antigos que resistiram à classificação em problemas ou . Temos evidências de que não pode ser completo. Em primeiro lugar, o isomorfismo do gráfico não pode ser completo, a menos que a hierarquia polinomial [1] desmorone para o segundo nível. …

10 cc.complexity-theory  graph-isomorphism 

Q . Qual é a complexidade de encontrar a maior célula delimitada por volume em um arranjo de hiperplanos na dimensão d ?nnnddd Sinto que deveria saber disso ... Mas não estou encontrando uma referência definitiva. É ? E a especialização d = 2 : a maior célula delimitada por …

10 computational-geometry  high-dimensional-geometry  arrangements 

É um fato bastante conhecido que derivar uma contradição de uma desigualdade (por exemplo, ) na teoria do tipo Martin-Loef requer um universo.( 0 = 1 ) → ⊥(0 0=1 1)→⊥(0=1) \to \bot A prova também é bastante direta - na ausência de universos, podemos apagar as dependências de qualquer …

10 reference-request  lo.logic  pl.programming-languages  type-theory  dependent-type 

A complexidade da prova é uma área mais básica da teoria da complexidade computacional. Um objetivo final dessa área é provar , ou seja, qualquer provador não pode dar uma prova de insatisfação de determinada fórmula de entrada. NP≠coNPNP≠coNPNP\neq coNP Um gráfico é um modelo formal de provas. Minha pergunta …

10 cc.complexity-theory  reference-request  graph-theory  np  proof-complexity 

Para uma prova de correção, estou procurando uma noção utilizável de equivalência de programa para os sistemas de tipo puro (PTSs) de Barendregt; falta isso, para sistemas de tipos específicos suficientes. Meu objetivo é simplesmente usar a noção, não investigá-la por si mesma.≅≅\cong Essa noção deve ser " extensional " …

10 pl.programming-languages  type-theory  operational-semantics 

No artigo de 1965 " Sobre a complexidade computacional dos algoritmos ", de Hartmanis e Stearns, os autores conjeturam que se uma Máquina de Turing em tempo real computa o número real , por exemplo, na base 10, então é um número racional ou um número transcendental.rrrrrr Existe um número …

10 cc.complexity-theory  reference-request  examples 

Equivalentemente, existe uma semântica denotacional conhecida para linguagens de programação funcional probabilística de ordem superior? Especificamente, existe um modelo de domínio de cálculo puro não tipado estendido por uma operação de escolha binária aleatória simétrica.λλ\lambda Motivação As categorias fechadas cartesianas fornecem uma semântica para os cálculos ordem superior. Domínios de …

10 pr.probability  lambda-calculus  ct.category-theory  denotational-semantics  domain-theory 

Qual é a abordagem padrão para minimizar o Büchi-Automata (ou também o Müller-Automata)? Transferir a técnica usual de palavras finitas, ou seja, definir dois estados como iguais se as palavras "acabando" dos estados aceitos forem iguais, não funcionará. Por exemplo, considere o Büchi-Automoton aceitando todas as palavras com um número …

10 fl.formal-languages  automata-theory 

Histórico: O processamento de transações tem sido um tópico de pesquisa tradicional na teoria de bancos de dados. Atualmente, as transações distribuídas são popularizadas pelos sistemas de armazenamento distribuído em larga escala, que geralmente envolvem partição de dados (também chamada de sharding) e replicação de dados . Quais são os …

10 reference-request  big-list  dc.distributed-comp  db.databases 

Minha pergunta é sobre algoritmos quânticos para cálculos de QED (eletrodinâmica quântica) relacionados às constantes de estrutura fina. Tais cálculos (como me explicaram) equivalem ao cálculo de séries do tipo Taylor ondeé a constante de estrutura fina (em torno de 1/137) eé a contribuição dos diagramas de Feynman comloops. ∑ …

10 cc.complexity-theory  quantum-computing  physics 

Babai e Seress provaram que, dado um subgrupo e um grupo gerador de , qualquer permutação em pode ser escrita como um produto de geradores e seus inversos de comprimento . Esse limite é ideal, pois tem um elemento de ordem . S G G e ( 1 + o …

10 gr.group-theory