Ciência da Computação Teórica

Eu queria saber se a especificação JSON definiu uma linguagem regular. Parece bastante simples, mas não tenho certeza de como provar isso sozinho. A razão pela qual pergunto é porque estava pensando se alguém poderia usar expressões regulares para analisar efetivamente o JSON. Alguém com representante suficiente pode criar as …

19 fl.formal-languages  regular-expressions  regular-language 

Meu teorema favorito na teoria da complexidade é o teorema da hierarquia de tempo. No entanto, isso foi feito em 1965. Eu queria saber se havia algo semelhante para a computação quântica. Além disso, se não, quais são as pessoas / grupos trabalhando nessa direção!

19 cc.complexity-theory  quantum-computing 

Estou procurando um documento de pesquisa ou um livro que cubra resultados sobre a complexidade espacial de operações comuns de álgebra linear, como classificação de matrizes, cálculo de valores próprios, etc. é mais fácil rastrear resultados de tempo. Agradeço qualquer referência sobre o assunto. Obrigado.

19 linear-algebra  space-complexity 

Atualmente, estou estudando matemática. No entanto, acho que não quero me tornar um matemático profissional no futuro. Estou pensando em aplicar meus conhecimentos de matemática para fazer pesquisas em inteligência artificial. No entanto, não tenho certeza de quantos cursos de matemática devo seguir. (E quais cursos de teoria de CS …

19 soft-question  machine-learning  ai.artificial-intel 

Estou resolvendo um problema que é considerado difícil em NP em outros lugares, digamos no artigo [XYZ]. A dureza NP fornecida em [XYZ] é complicada e utiliza técnicas avançadas. Após algumas pesquisas e trabalhos, consegui dar uma prova simples e clara da dureza do NP. Gostaria de saber se isso …

18 research-practice  writing 

Existe algum projeto em andamento para verificar formalmente os teoremas e as provas da teoria da complexidade usando um assistente de prova como Coq? Existem limites para fazer isso?

18 cc.complexity-theory  complexity  proof-assistants 

Existe um exemplo explícito conhecido de um algoritmo com a propriedade tal que, se P≠NPP≠NPP\neq NP , esse algoritmo não é executado no tempo polinomial e se P=NPP=NPP=NP , ele é executado no tempo polinomial?

18 ds.algorithms  np  p-vs-np 

Sei que essa pode ser uma pergunta controversa, mas esse parece ser o lugar certo para perguntar. Por favor, me redirecione se não estiver. O pano de fundo é que eu sou um "praticante" (estudante de doutorado, não estudo teoria da CS), mas tenho uma base razoável em algoritmos de …

18 soft-question  advice-request 

Há algum problema NP completo com nenhum subconjunto infinito de instâncias tal que a adesão em Φ pode ser decidida em tempo polinomial, e para todo x ∈ Φ , x pode ser resolvido em tempo polinomial? (Assumindo P ≠ N P )ΦΦ\PhiΦΦ\Phix∈Φx∈Φx \in \PhixxxP≠NPP≠NPP \neq NP

18 cc.complexity-theory  np-complete  heuristics 

A largura da árvore desempenha um papel importante nos algoritmos do FPT, em parte porque muitos problemas são parametrizados pelo FPT pela largura da árvore. Uma noção relacionada, mais restrita, é a de largura de caminho. Se um gráfico tem largura de caminho , ele também tem largura de árvore …

18 parameterized-complexity  treewidth  graph-minor 

Estou interessado no seguinte problema: Dado um matriz, existe um grafo não direcionado em n vértices cuja adjacência matriz ao quadrado é essa matriz?n × nn×nn\times nnnn A complexidade computacional desse problema é conhecida? Observações: Obviamente, isso também pode ser formulado como um problema de pesquisa, onde você recebe a …

18 cc.complexity-theory  graph-theory 

Na descrição oficial do problema de Clay para P versus NP, afirma-se que seguiria mostrando que "todas as línguas em [a classe de línguas reconhecíveis em tempo exponencial com uma máquina de Turing determinística] podem ser computadas por uma família de circuitos booleanos modo que, por pelo menos um , …

18 cc.complexity-theory  circuit-complexity 

Estou interessado na conexões entre aprendizagem "caos", ou, mais amplamente, sistemas dinâmicos, eo pergunta. Aqui está um exemplo do tipo de literatura que estou procurando:P= NPP=NPP{=}NP Ercsey-Ravasz, Mária e Zoltán Toroczkai. "Dureza de otimização como caos transitório em uma abordagem analógica à satisfação de restrições". Nature Physics 7, n. 12 …

18 cc.complexity-theory  p-vs-np 

Eu gostaria de saber se houve conjecturas que há muito não foram comprovadas no TCS, que mais tarde foram provadas por uma implicação de outro teorema, que podem ter sido mais fáceis de provar.

18 reference-request  soft-question  big-list 

Bem, o título praticamente diz tudo. A pergunta interessante acima foi feita pelo comentarista Jay no meu blog (veja aqui e aqui ). Suponho que a resposta é sim e que existe uma prova relativamente simples, mas não a vi de imediato. (Muito grosso modo, pode-se tentar mostrar que, se …

18 computability  oracles  random-oracles