Seja um oráculo genérico no sentido da categoria Cohen / Baire. Seja R um oráculo aleatório.GGGRRR Existem classes de complexidade A e B com ou o contrário, A G ≠ B GAG=BGandAR≠BRAG=BGandAR≠BR\mathrm{A}^G=\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R\ne
Não me lembro de ter visto uma separação de classes não baseada em resultados de diagonalização e relativização. A diagonalização ainda pode ser usada para separar as classes conhecidas restantes, porque argumentos não relativizadores ainda podem ser usados na conclusão da diagonalização ou na...
Como se olha para um problema e o motivo pelo qual é provável NP-Intermediário em oposição a NP-Complete? Muitas vezes, é bastante simples olhar para um problema e dizer se é provável que o NP-Completo seja ou não, mas me parece muito mais difícil dizer se um problema é NP-Intermediário, pois a...
Eu acho que seria chamado # P-Space, mas eu encontrei apenas um artigo mencionando-o vagamente. Que tal a versão de contagem dos problemas EXP-TIME-Complete, NEXP-Complete e EXP-SPACE-Complete? Existe algum trabalho anterior que se possa citar em relação a esse ou a qualquer tipo de inclusão ou...
Resposta: desconhecido Muito obrigado a todos que ajudaram a refinar esta questão e as definições a ela associadas. As definições deste wiki forneceram o ponto de partida para o wiki mais recente do TCS " P contém idiomas cuja existência é independente do PA ou ZFC? (Wiki da comunidade TCS) "....
Em um artigo sobre a relativização dos cálculos do espaço de log, Ladner e Lynch constroem um oráculo em relação ao qual . Existem alguns exemplos mais patológicos nessa veia na literatura. Eu tenho lido alguns artigos sobre classes espaciais pequenas relativizadas, e uma das principais ferramentas...
É NPPP=PPPNPPP=PPP\mathsf{NP^{PP}} = \mathsf{P^{PP}} ? Ou, de maneira mais geral, NPPP⊆PPP/polyNPPP⊆PPP/poly\mathsf{NP^{PP}} \subseteq \mathsf{P^{PP}/poly}
Sabe-se que algumas classes de complexidade sintática (não relativizadas) entre e P S P A C E têm a seguinte propriedade, P ⊆ C o N P ⊆ U S ⊆ C = P ⊆ P P ⊆ P S P A C E . Gostaria de saber se existe uma classe de complexidade sintática (não relativizada) X tal que P P ⊆ X ⊆ P S P A C EPP{\bf P}P S P...
A classe UP é definida como tal: A classe de problemas de decisão solucionáveis por uma máquina NP tal que Se a resposta for 'sim', exatamente um caminho de computação será aceito. Se a resposta for 'não', todos os caminhos de computação serão rejeitados. Estou tentando desenvolver...
Do teorema da hierarquia espacial, sabe-se que, se é construtível em espaço, DSPACE ( ) não é igual a DSPACE ( .fff2 f ( n )2f(n)2f(n)2f(n)f(n))f(n))f(n)) Aqui, por DSPACE ( quero dizer a classe de todos os problemas que podem ser resolvidos no espaço por uma máquina de Turing com algum alfabeto...
Que evidência existe de que ?c o R P≠ NPcoRP≠NPcoRP \neq NP c o R PcoRPcoRP é a classe de idiomas para a qual existe uma máquina de Turing probabililística que é executada em tempo polinomial e sempre responde Sim em uma entrada pertencente ao idioma e responde Não com probabilidade de pelo menos...
Temos classes de complexidade com relação a, digamos, complexidade de caso médio? Por exemplo, existe uma classe de complexidade (nomeada) para problemas que levam o tempo polinomial esperado para decidir? Outra questão considera a complexidade do melhor caso , exemplificado abaixo: Existe uma...
Assuma P≠ NPP≠NPP \neq NP Vamos usar a seguinte notação para tetração (ie.Euumaia{}^ia ).ia=aa⋅⋅⋅ai timesia=aa⋅⋅⋅a⏟i times{}^ia = \underbrace{a^{a^{\cdot^{\cdot^{\cdot^{a}}}}}}_{i \mbox{ times}} | x | é o tamanho da instância x. Seja L uma língua,...
Pergunto-me saber meteorológicas existem linguagem escasso (mesmo construído por diagolanization retardado) em NPI sob a suposição de que .P≠ NPP≠NPP \neq
Em esta questão , foi mencionado que existem versões de complexidade descritivos do teorema de Rice. Encontrei uma prova do seguinte teorema: Dada uma classe de complexidade C , propriedades não triviais de idiomas em C não podem ser computadas em C Eu já havia postado a prova que encontrei,...
Os problemas foram classificados como um todo graças à complexidade computacional. Mas, em equações diferenciais, é possível classificar equações diferenciais dependendo de sua estrutura computacional? Por exemplo, se uma equação não homogênea de primeira ordem é comparativamente difícil de...
Permita que a classe BPNC (a combinação de e ) seja um algoritmo paralelo de profundidade de log com probabilidade de erro limitada e acesso a uma fonte aleatória (não tenho certeza se este tem um nome diferente). Defina a classe DBPNC da mesma forma, exceto que todos os processos têm acesso...
Conjectura de Berman-Hartman: todas as linguagens completas de NP são parecidas, no sentido de que podem ser relacionadas entre si por isomorfismos polinomiais no tempo [1]. Estou interessado em uma versão mais refinada do "tempo polinomial", isto é, se usarmos reduções parametrizadas. Um...
BPPBPP\mathsf{BPP} eZPPZPP\mathsf{ZPP} são duas classes de complexidade probabilística básica. BPPBPP\mathsf{BPP} é a classe de linguagens decidida pelos algoritmos de Turing probabilísticos em tempo polinomial, nos quais a probabilidade do algoritmo retornar uma resposta incorreta é limitada, ou...
A classe de complexidade é definida da seguinte maneira (da Wikipedia ):SP2S2P\textrm{S}_2^\textrm{P} Uma linguagem está em se existir um predicado de tempo polinomial tal queLLLSP2S2PS_2^PPPP Se , existe um tal que para todos ,x∈Lx∈Lx \in LyyyzzzP(x,y,z)=1P(x,y,z)=1P(x,y,z)=1 Se , existe...