Ciência da Computação Teórica

Se você pudesse renomear a programação dinâmica, como

Que explicações teóricas existem para o sucesso prático dos solucionadores de SAT, e alguém pode dar uma visão geral e uma explicação do "estilo da wikipedia", unindo-as? Por analogia, a análise suavizada ( versão arXiv )) para o algoritmo simplex faz um ótimo trabalho ao explicar por que...

Em outro tópico , Joe Fitzsimons perguntou sobre "os melhores limites inferiores atuais no 3SAT". Eu gostaria de seguir o outro caminho: qual é o melhor limite superior atual no 3SAT? Em outras palavras, qual é a complexidade de tempo do solucionador SAT mais eficiente? Em particular, é...

Existem benefícios no cálculo da complexidade de tempo de um algoritmo usando o cálculo lambda? Ou existe outro sistema projetado para esse fim? Todas as referências serão

Estou pensando no seguinte problema: Quero encontrar uma expressão regular que corresponda a um conjunto específico de cadeias de caracteres (por exemplo, endereços de email válidos) e não a outros (endereços de email inválidos). Suponha que por expressão regular queremos dizer alguma máquina de...

Parece claro que vários subcampos da ciência da computação teórica foram significativamente afetados pelos resultados da física teórica. Dois exemplos disso são Computação quântica Resultados de mecânica estatística utilizados em análise de complexidade / algoritmos heurísticos. Então, minha...

Inspirado por esta pergunta e, em particular, pelo parágrafo final da resposta de Or, tenho a seguinte pergunta: Você conhece alguma aplicação da teoria de representação do grupo simétrico no TCS? O grupo simétrico é o grupo de todas as permutações de com a composição da operação do grupo. Uma...

Atualmente, estou escrevendo uma pesquisa sobre teoremas de hierarquia no TCS. Pesquisando artigos relacionados, notei que a hierarquia é um conceito fundamental não apenas no TCS e na matemática, mas em várias ciências, da teologia e sociologia à biologia e química. Visto que a quantidade de...

Computadores reais têm memória limitada e apenas um número finito de estados. Portanto, eles são essencialmente autômatos finitos. Por que os cientistas teóricos da computação usam as máquinas de Turing (e outros modelos equivalentes) para estudar computadores? Qual é o sentido de estudar esses...

Eu sou um estudante de segundo ano de graduação em teoria. Eu tenho trabalhado em um problema durante o último ano (em teoria / algoritmos de grafos). Até ontem eu pensava que estava indo bem (eu estava estendendo um teorema de um artigo). Hoje percebi que cometi um erro simples. Percebi que seria...

Em 1937, Turing descreveu uma máquina de Turing. Desde então, muitos modelos de computação foram descritos na tentativa de encontrar um modelo que seja como um computador real, mas ainda simples o suficiente para projetar e analisar algoritmos. Como resultado, temos dezenas de algoritmos para, por...

O campo da computação distribuída ficou muito aquém do desenvolvimento de uma única teoria matemática para descrever algoritmos distribuídos. Existem vários 'modelos' e estruturas de computação distribuída que simplesmente não são compatíveis entre si. A pura explosão de propriedades temporais...

No MathOverflow, Timothy Gowers fez uma pergunta intitulada " Demonstrando que o rigor é importante ". A maior parte da discussão houve sobre casos mostrando a importância da prova, sobre a qual as pessoas do CSTheory provavelmente não precisam ser convencidas. Na minha experiência, as provas...

Esta é uma pergunta sobre a complexidade do circuito. (As definições estão na parte inferior.) Yao e Beigel-Tarui mostraram que toda família de circuitos de tamanho s possui uma família de circuitos equivalente de tamanho s p o l y ( log s ) de profundidade dois , em que a porta de saída é uma...

Esta é uma pergunta relacionada a esta . Colocando novamente de uma forma muito mais simples, depois de muita discussão lá, parecia uma pergunta totalmente diferente. A prova clássica da indecidibilidade do problema da parada depende de demonstrar uma contradição ao tentar aplicar a si próprio um...

Eu gostaria de entender Applicativeem termos de teoria de categorias. A documentação para Applicativediz que é um forte monitoral relaxado . Primeiro, a página da Wikipedia sobre functores monoidais diz que um functor monoidal é relaxado ou forte . Portanto, parece-me que uma das fontes está...

No clássico artigo de Andrew Chi-Chih Yao, de 1979, ele faz referência a "MO Rabin e AC Yao, em preparação". Isso ocorre pelo resultado de que a complexidade da comunicação de erro limitado da função de igualdade EQ N (se dois inteiros no intervalo de 0 a N - 1 são iguais) é O ( log log N ) .NN_N0...

Apesar de vários anos de aula, ainda estou perdido quando se trata de escolher um tópico de pesquisa. Estive olhando documentos de diferentes áreas e conversei com professores e estou começando a pensar que essa é a abordagem errada. Eu li que ajuda a encontrar um problema interessante (não se...

Minha pergunta é simples: Qual é o pior caso de tempo da melhor algoritmo conhecido correndo para computar uma eigendecomposition de um n×nn×nn \times n matriz? A composição automática reduz à multiplicação de matrizes ou os algoritmos mais conhecidos O(n3)O(n3)O(n^3) (via SVD ) no pior...

O problema do isomorfismo de grafos (IG) é sem dúvida o candidato mais conhecido para um problema intermediário de NP . O algoritmo mais conhecido é o algoritmo subexponencial com tempo de execução . Sabe-se que o IG não éNP-completo a menos que ahierarquia polinomialcolapsa.2O ( n...