Sabemos que L⊆NL⊆PL⊆NL⊆P\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{P} e que L⊆NL⊆L2⊆L⊆NL⊆L2⊆\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{L}^2 \subseteq polyLpolyL\mathsf{polyL} , em que L2=DSPACE(log2n)L2=DSPACE(log2n)\mathsf{L}^2 = \mathsf{DSPACE}(\log^2 n) . Nós também sabe que...
Muitos resultados importantes na teoria da complexidade computacional e, em particular, na teoria da complexidade "estrutural", têm a propriedade interessante de que eles podem ser entendidos como fundamentalmente seguintes (como eu o vejo ...) a partir de resultados algorítmicos, fornecendo um...
Teaser Como o problema é longo, aqui está um caso especial que captura sua essência. Problema: Seja A um algoritmo detrminístico para o 3-SAT. É o problema de simular completamente o algoritmo A (em todas as instâncias do problema). Espaço P difícil? (Mais precisamente, existem razões para...
fundo Sabe-se que existe um oráculo AAA tal que, PSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A . É sabido até que a separação se aplica a um oráculo aleatório. Informalmente, pode-se interpretar isto para dizer que há muitas oráculos para os quais PSPACEPSPACEPSPACE e PHPHPH são...
Não se sabe se isomorfismo gráfico (GI) para gráficos fortemente regulares (SRGS) é em P . Existe alguma dica de que possa ou não ser GI- Complete? Existem fortes consequências nesses casos? (Semelhante à crença de que o IG pode não ser
Em nosso trabalho recente, resolvemos um problema computacional que surgiu no contexto combinatório, pressupondo que , onde ⊕EXP≠⊕EXPEXP≠⊕EXP\mathsf{EXP} \ne \mathsf{\oplus{}EXP} é aversão E X P de ⊕⊕EXP⊕EXP\mathsf{\oplus{}EXP}EXPEXP\mathsf{EXP} . O único artigo sobre ⊕⊕P⊕P\mathsf{\oplus{}P} que...
Dois artigos que eu incluiria são: D. Kozen, "Indexação de classes sub-recursivas" , STOC, 1978. R. Ladner, "Sobre a estrutura da redutibilidade do tempo polinomial" , JACM,
Para qualquer linguagem arbitrária completa do NP, há sempre um superconjunto polytime cujo complemento também é infinito? Uma versão trivial que não estipula que o superconjunto tenha um complemento infinito foi solicitada em /cs//q/50123/42961 Para os fins desta questão, você pode assumir que...
A densidade de uma linguagem é uma função definida como Suponha que e são linguagens mais algum alfabeto finito, muitos e um logspace reduz a e não está na . Funções são polinomialmente relacionada se existem polinómios e tais que, para todos os , ed X : N → N d X ( n ) = | { X ∈ X | | x | ≤ n } |...
Does implica ?E = N EE X P = N E X
Seja a classe de idiomas decidida alternando as máquinas de Turing que param no tempo usando o espaço . Seja a classe de linguagens decidida por máquinas de Turing alternadas que param de usar alternações de e espaço .ATISP(f(n),g(n))ATISP(f(n),g(n))\mathsf{ATISP}(f(n),
O Isomorfismo conjectura de Berman e Hartmanis afirma que todos conjuntos são -completo tempo polinomial isomorfo para o outro. Isto significa que N P problemas -Complete são eficientemente redutível para o outro através de calculável tempo polinomial e bijeções inversíveis. A conjectura implica P...