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...
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...
Se pudermos provar que , isso implica que ? N L = N PL = PL=P\mathsf{L}=\mathsf{P}N L = N PNL=NP\mathsf{NL}=\mathsf{NP} Eu pensei que era o caso, mas não posso provar (também para o
Deixe ser uma máquina determinística em tempo polinomial que podem fazer perguntas para algum oráculo . Inicialmente está vazio, mas isso pode ser alterado após um jogo que será descrito abaixo. Seja uma string.MMMUMAAAUMAUMAAxxx Considere o seguinte jogo de Alice e Bob. Inicialmente, Alice e Bob...
Vamos chamar um idioma NP com pouca certificação se e somente se:L ∈L∈L \in Existe um polinómio de tal modo que para cada entrada x ∈ Σ * de tamanho n , se x ∈ L , em seguida, o conjunto de L x de certificados u que verificam se x ∈ L é polinomialmente dimensionada, isto é, | L x | ≤ p ( n )...
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...
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...
Este é um post separado de Consequências da UP igual a NP , e também uma pergunta de acompanhamento para as Classes de complexidade semântica versus sintática . No post acima, aprendemos sobre as classes semântica e sintática . Resumidamente, quando uma classe pode ser caracterizada como uma...
Defina o modelo computacional MPostBQP para ser idêntico ao PostBQP, exceto que permitimos polinomialmente muitas medições de qubit antes da pós-seleção e medição final. Podemos dar alguma evidência indicando que o MPostBQP é mais poderoso que o PostBQP? Defina MPostBQP [k] para permitir...
Mesmo que não seja um ponto crucial, não vejo nenhuma literatura em torno dessa questão. Existem resultados de relativização? Não seria bem simples provar inclusão estrita, adaptando o teorema da hierarquia de tempo não determinístico, explorando todos os caminhos possíveis da máquina...
Intrigado com a interessante pergunta de Chris Pressey sobre funções elementares-recursivas , eu estava explorando mais e não consegui encontrar uma resposta para essa pergunta na web. As funções recursivas elementares correspondem muito bem à hierarquia exponencial,
Todo idioma indecidível reconhecível por Turing possui um subconjunto NP-completo? A questão poderia ser vista como uma versão mais forte do fato de que toda linguagem infinita reconhecível de Turing tem um subconjunto infinito e
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),
Sabemos que . No Teorema de Savitch, e, no Teorema da Hierarquia Espacial, \ mathcal {L} \ neq \ mathcal {L} ^ 2 . Portanto, como não sabemos se \ mathcal L \ neq \ mathcal P , não sabemos se \ mathcal L ^ 2 \ subseteq \ mathcal P , ou sabemos que \ mathcal L ^ 2 \ not \ subseteq \ mathcal P ?...
Grande parte da literatura da computação quântica se concentra no modelo de circuito. A computação quântica adiabática não se baseia na aplicação de uma sequência de operadores unitários, mas na alteração de um hamiltoniano dependente do tempo. Estou procurando informações sobre qualquer um dos...
É sabido que a existência de funções unidirecionais é necessária e suficiente para grande parte da criptografia (assinaturas digitais, geradores pseudo-aleatórios, criptografia de chave privada, etc.). Minha pergunta é: Quais são as consequências teóricas da complexidade da existência de funções...
Não se acredita que seja o seguinte: L ⊆ L - uniforme N C1L⊆L−uniform NC1\mathsf{L} \subseteq \mathsf{L}-\mbox{uniform } \mathsf{NC}^1 Você pode me ajudar a ver onde o argumento termina? O problema de acessibilidade direcionada está completo para . Argumento que está em -uniforme .L N C...
Seja xi∈{−1,0,+1}xi∈{−1,0,+1}x_i \in \{-1,0,+1\} para i∈{1,…,n}i∈{1,…,n}i \in \{1,\ldots,n\} , com a promessa de que x=∑ni=1xi∈{0,1}x=∑i=1nxi∈{0,1}x = \sum_{i=1}^n{x_i} \in \{0,1\} (onde a soma está acima ). Então, qual é a complexidade de determinar se ?ZZ\mathbb{Z}x=1x=1x = 1 Observe que...
O tempo quase polinomial, ou QP, é uma classe de complexidade na máquina de Turing determinística. Aqui está a definição precisa: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:Q#qp Enquanto βP é uma classe de complexidade de não determinismo limitado. Aqui está a definição precisa:...