Ciência da Computação Teórica

Essa pergunta é semelhante a uma pergunta mais geral sobre qual é o modelo teórico correto de um computador para projetar estruturas de algoritmos e dados. Aqui, pergunto especificamente sobre os atuais computadores de alto desempenho (como os listados como os 500 principais ) ou mesmo sobre próximos supercomputadores. Dado …

20 reference-request  soft-question  machine-models 

Hoje em Nova York e em todo o mundo é comemorado o aniversário de Christos Papadimitriou. Esta é uma boa oportunidade para perguntar sobre as relações entre a classe de complexidade PPAD de Christos (e outras classes relacionadas) e os computadores quânticos. Em seu célebre artigo de 1994, Papadimitriou introduziu …

20 cc.complexity-theory  complexity-classes  quantum-computing  cr.crypto-security  nash-equilibrium 

Pierce (2002) introduz a relação de digitação na página 92 ​​escrevendo: A relação de digitação para expressões aritméticas, escrita "t: T", é definida por um conjunto de regras de inferência que atribuem tipos a termos e a nota de rodapé diz O símbolo é frequentemente usado em vez de:. Minha …

19 type-theory  notation 

É sabido que o problema da equivalência é indecidível para linguagens gerais livres de contexto. No entanto, todas as provas desse fato que tenho conhecimento parecem envolver algumas gramáticas ambíguas e livres de contexto. Por esse motivo, gostaria de perguntar se é sabido se o problema permanece indecidível enquanto se …

19 fl.formal-languages  grammars  context-free  decidability  undecidability 

Eu sou um estudante de doutorado trabalhando em ciência da computação teórica. Eu li os trabalhos de pesquisa de muitos pesquisadores e vi muitas ferramentas e matemática que eles usam para projetar um algoritmo. Por exemplo, veja este trabalho de pesquisa [Primality in P] . Eu não diria que este …

19 advice-request 

Abaixo, o MSO denota a lógica monádica de segunda ordem de gráficos com quantificações de conjuntos de vértices e de arestas. Seja uma pequena família fechada de gráficos. Segue-se da teoria menor do gráfico de Robertson e Seymour que é caracterizada por uma lista finita de menores proibidos. Em outras …

19 graph-theory  lo.logic  graph-minor  topological-graph-theory 

Seja uma função com valor inteiro tal que esteja em . Segue-se que está em ? Existem razões para acreditar que é improvável que isso ocorra sempre? Alguma referência que eu deva conhecer?2 F # P F # PFFF2 F2F2F# P#P\#PFFF# P#P\#P Surpreendentemente, essa situação surgiu (com uma constante muito …

19 cc.complexity-theory  complexity-classes  counting-complexity 

Em seu artigo de 1995, Algoritmos de tempo polinomial para fatoração primária e logaritmos discretos em um computador quântico , Peter W. Shor discute uma melhoria na parte de busca de pedidos de seu algoritmo de fatoração. As saídas algoritmo padrão , um divisor de ordem de módulo . Em …

19 quantum-computing  nt.number-theory  factoring 

A Wikipedia listou quatro problemas que estão em mas foram conjecturados como estando fora de P : fatoração de número inteiro; Logaritmo discreto; Simulação de sistemas quânticos; Computando o polinômio Jones em certas raízes da unidade.B Q PBQPBQPPPP Existem outros problemas desse tipo?

19 cc.complexity-theory  complexity-classes  quantum-computing 

Eu gostaria de dar uma palestra em matemática sobre o sistema de controle de revisão do git . Agora é amplamente utilizado em matemática e também na indústria de ciência da computação. Por exemplo, a comunidade HoTT (Homotopy Type Theory) a utiliza e é o sistema para edição colaborativa de …

19 co.combinatorics  application-of-theory 

Atualmente, o cálculo de reais nas línguas mais populares ainda é feito através de operações de ponto flutuante. Por outro lado, teorias como a efetividade do tipo dois (ETT) e a teoria do domínio há muito prometem o cálculo exato dos reais. Claramente, o problema da precisão do ponto flutuante …

19 cc.complexity-theory  computing-over-reals  computable-analysis  domain-theory 

Qual é a complexidade mais conhecida para calcular a distância exata de edição entre duas strings do mesmo comprimento usando espaço de trabalho sublinear no tamanho da entrada? Presumo que a entrada seja armazenada em algum formato somente leitura. Esse é um problema estudado anteriormente? Para tornar a pergunta um …

19 ds.algorithms  edit-distance  space-time-tradeoff 

USTCONN é o problema que requer a decisão de saber se existe um caminho do vértice de origem para o vértice de destino t em um gráfico G , onde todos são dados como parte da entrada.ssstttGGG Omer Reingold mostrou que USTCONN está em L (doi: 10.1145 / 1391289.1391291 ). …

19 cc.complexity-theory  lower-bounds  reductions  space-bounded 

Recentemente, Dana Scott propôs o cálculo lambda estocástico, uma tentativa de introduzir elementos probabilísticos no cálculo lambda (sem tipo) com base em uma semântica chamada modelo gráfico. Você pode encontrar seus slides on-line, por exemplo, aqui e seu artigo no Journal of Applied Logic , vol. 12 (2014). No entanto, …

19 lo.logic  pl.programming-languages  lambda-calculus 

Em Computação Quântica e Informações Quânticas de Nielsen e Chuang, eles dizem que muitos dos algoritmos baseados nas transformações quânticas de Fourier dependem da propriedade Invariância Coset das transformadas Fourier e sugerem que as propriedades invariáveis ​​de outras transformações podem gerar novos algoritmos. Houve alguma pesquisa frutífera sobre outras transformações?

19 quantum-computing  quantum-information