Ciência da Computação Teórica

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, é concebível encontrar …

43 cc.complexity-theory  ds.algorithms  sat  upper-bounds 

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 funciona tão …

43 cc.complexity-theory  ds.algorithms  sat  heuristics 

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 estado finito bem definida, que eu …

43 np-hardness  fl.formal-languages  lg.learning  regular-expressions 

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 …

42 co.combinatorics  permutations  fourier-analysis  gr.group-theory 

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 pergunta é: faltam áreas importantes? Minha motivação é muito simples: sou um …

42 soft-question  quantum-computing  statistical-physics  physics 

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 informações é vasta, espero …

42 cc.complexity-theory  reference-request  big-list  survey 

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 modelos muito mais fortes em relação …

42 soft-question  fl.formal-languages  automata-theory  big-picture  turing-machines 

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. …

41 soft-question  research-practice 

Alguém conhece aplicações interessantes das bases de Gröbner à ciência da computação teórica? As bases de Gröbner são usadas para resolver equações polinomiais multivariadas, um problema NP-difícil em geral. Eu queria saber se alguns casos especiais tratáveis ​​foram usados ​​para fornecer algoritmos / construções / provas eficientes em áreas relacionadas …

41 cc.complexity-theory  reference-request  algebra  polynomials 

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 exemplo, o problema SORT …

41 ds.algorithms  reference-request  soft-question  machine-models 

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 precisam ser mais rigorosas …

41 big-list  soft-question  proofs 

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 variáveis ​​(assincronia, sincronia, sincronia parcial), várias primitivas de comunicação (passagem …

41 big-picture  dc.distributed-comp 

Sou aluno do quarto ano de doutorado em ciência da computação teórica. Eu gostaria de permanecer na academia, então estou pensando em qual a melhor forma de avançar na minha carreira. Obviamente, a melhor maneira de fazer isso é escrever muitos artigos bons, mas outra pergunta é se eu deveria …

40 soft-question  career 

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 …

40 soft-question  research-practice  advice-request  career 

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 logn√)2O(nlog⁡n)2^{O(\sqrt{n \log n})}NPNP\mathsf{NP} …

40 cc.complexity-theory  ds.algorithms  graph-theory  graph-isomorphism