Ciência da Computação Teórica

Perguntas e respostas para cientistas da computação teóricos e pesquisadores em áreas afins

1
Faz ?
Espero que a resposta seja não, mas na verdade não consegui construir um contra-exemplo. A diferença é que em , podemos não conseguir escolher um algoritmo uniformemente em .∩ε>0DTIME(O(n2+ε))∩ε>0DTIME(O(n2+ε))∩_{ε>0} \mathrm{DTIME}(O(n^{2+ε}))O(n2+ε)O(n2+ε)O(n^{2+ε})εεε Por um argumento de encaixe (por exemplo, veja esta pergunta ), se houver um conjunto ce de máquinas de Turing …
1
Validade da exponenciação em uma redução de tempo polinomial
Eu fiz essa pergunta há 10 dias no cs.stackexchange aqui, mas não tive nenhuma resposta. Em um artigo muito famoso (na comunidade de redes), Wang & Crowcroft apresentam alguns resultados de da computação de caminhos, sob várias restrições aditivas / multiplicativas. O primeiro problema é o seguinte:NPNP\mathsf{NP} Dado um gráfico …
3
Fórmulas booleanas quantificadas com alternâncias logarítmicas
Estou estudando um problema difícil para a classe de fórmulas booleanas quantificadas com um número logarítmico de alternâncias dos quantificadores. Um problema nesta classe seria semelhante a: ∀(x1,x2,…xa1)∃(xa1+1,…xa2),…∃(xalogn−1,…xalogn)F∀(x1,x2,…xa1)∃(xa1+1,…xa2),…∃(xalog⁡n−1,…xalog⁡n)F\forall (x_1, x_2, \ldots x_{a_1}) \exists (x_{{a_1}+1}, \ldots x_{a_2}), \ldots \exists(x_{a_{\log n - 1}}, \ldots x_{a_{\log n}})F Onde alogn=nalog⁡n=na_{\log n} = n , …
2
(Como) Poderíamos descobrir / analisar problemas de NP na ausência do modelo de computação de Turing?
De um ponto de vista puramente abstrato do raciocínio matemático / computacional, (como) alguém poderia descobrir ou raciocinar sobre problemas como 3-SAT, Subset Sum, Traveling Salesman etc.? Será que vamos ser mesmo capaz de raciocinar sobre eles de qualquer maneira significativa com apenas o funcional ponto de vista? Seria possível? …
3
Idiomas irredutíveis
Esta não é necessariamente uma questão de pesquisa. Apenas uma pergunta por curiosidade: Estou tentando entender se é possível definir linguagens "irredutíveis". Como primeira hipótese, chamo uma linguagem L de "redutível" se puder ser escrita como com A ∩ B = ∅ e | Um | , | B | …
3
Exemplos de derandomização bem sucedida de BPP para P
Quais são alguns dos principais exemplos de derandomização bem-sucedida ou pelo menos progresso na demonstração de evidências concretas em relação a objetivo P (não a conexão aleatória da dureza)?P=BPPP=BPPP=BPP O único exemplo que me vem à mente é o teste de primalidade determinística no tempo polinomial da AKS (mesmo para …
1
A Programação Dinâmica nunca é mais fraca que o Greedy?
Na complexidade do circuito, temos separações entre potências de vários modelos de circuitos. Na complexidade da prova, temos separações entre potências de vários sistemas de prova. Mas no algorítmico, ainda temos poucas separações entre os poderes dos paradigmas algorítmicos . Minhas perguntas abaixo visam abordar esse último problema por dois …
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.