Ciência da Computação Teórica

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

3
Justificação do log f no teorema da hierarquia DTIME
Se olharmos para o teorema da hierarquia DTIME, temos um log devido à sobrecarga na simulação de uma máquina de Turing determinística por uma máquina universal: DTIME(flogf)⊊DTIME(f)DTIME(flog⁡f)⊊DTIME(f)DTIME(\frac{f}{\log f}) \subsetneq DTIME(f) Não temos esse tipo de sobrecarga para o NTIME do DSPACE. Uma justificativa básica vem dos detalhes da prova, considerando …
2
Origens e aplicações da teoria A vs teoria B?
Em algumas perguntas recentes ( q1 q2 ), houve uma discussão sobre "Teoria A" vs "Teoria B", aparentemente para capturar a divisão entre o estudo das linguagens de lógica e programação e o estudo de algoritmos e complexidade. Essa terminologia era nova para mim, e uma rápida pesquisa na web …
6
Existe um problema natural no natural que é NP-completo?
Qualquer número natural pode ser considerado como uma sequência de bits; portanto, inserir um número natural é o mesmo que inserir uma sequência 0-1; portanto, problemas NP-completos com entradas naturais obviamente existem. Mas existem problemas naturais, ou seja, aqueles que não usam codificação e interpretação especial dos dígitos? Por exemplo …
2
É {
É o idioma { } ou não livre de contexto?aibjck | i≠j,i≠k,j≠kaibjck | i≠j,i≠k,j≠ka^{i}b^{j}c^{k} ~|~ i \neq j, i \neq k, j \neq k Percebi que encontrei quase todas as variantes dessa questão com diferentes condições sobre a relação entre i, j e k, mas não essa. Meu palpite é …
2
Hierarquias em NP (sob a suposição de que P! = NP)
Supondo que P! = NP, acredito que tenha sido demonstrado que existem problemas que não estão em P e nem em NP-Complete. O isomorfismo do gráfico é conjecturado como um problema. Existe alguma evidência de mais dessas "camadas" no NP? isto é, uma hierarquia de mais de três classes começando …
4
Existem máquinas “pequenas” que podem corresponder eficientemente às expressões regulares?
É sabido que uma expressão regular pode ser reconhecida por um autômato finito não determinístico de tamanho proporcional à expressão regular ou por uma FA determinística que é potencialmente exponencialmente maior. Além disso, dada uma string e uma expressão regular , o NFA pode testar a associação em tempo proporcional …
2
Existe um algoritmo de tempo polinomial para determinar se o intervalo de um conjunto de matrizes contém uma matriz de permutação?
Eu gostaria de encontrar um algoritmo de tempo polinomial que determine se o intervalo de um determinado conjunto de matrizes contém uma matriz de permutação. Se alguém souber se esse problema é de uma classe de complexidade diferente, isso seria igualmente útil. EDIT: Marquei esta questão com Programação Linear, porque …
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.