Perguntas com a marcação «complexity-classes»

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 …

10 cc.complexity-theory  complexity-classes 

Sabe-se desde o início dos anos 70 que e não são iguais (porque não é fechado em tempo polinomial -uma redução, em contraste com ). Até onde eu sei, ainda está em aberto se uma classe é um subconjunto da outra ou são incomparáveis, o que significa que e {\ …

10 cc.complexity-theory  complexity-classes  np-complete 

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: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:B#betap É fácil ver que qualquer máquina de βP pode ser simulada …

9 cc.complexity-theory  complexity-classes 

Temos um problema e encontramos um algoritmo que parece ser 2-nexptime. Eu gostaria de encontrar problemas conhecidos de 2 nexptime-complete para encontrar um limite inferior. Encontrei na literatura principalmente dois desses problemas: se o PCP como uma solução de tamanho menor que22n22n2^{2^n} e o problema do cultivo de um quadrado …

9 complexity-classes  time-complexity  complexity 

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 trivialmente o problema está em porque iff x = 1 . A …

9 reference-request  complexity-classes  circuit-complexity  upper-bounds 

É 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 unidirecionais? Por exemplo, os OWFs sugerem que , e . …

9 cc.complexity-theory  reference-request  complexity-classes  cr.crypto-security  one-way-function 

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 seguintes. A computação quântica adiabática é …

9 cc.complexity-theory  reference-request  complexity-classes  quantum-computing  quantum-information 

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 …

9 reference-request  complexity-classes  open-problem  hierarchy-theorems 

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), g(n))f(n)f(n)f(n)g(n)g(n)g(n)AALTSP(f(n),g(n))AALTSP(f(n),g(n))\mathsf{AALTSP}(f(n), g(n))f(n)f(n)f(n)g(n)g(n)g(n) Ruzzo provou que . Ele também mostrou que .NCk=ATISP(logkn,logn)NCk=ATISP(logk⁡n,log⁡n)\mathsf{NC}^k …

9 cc.complexity-theory  complexity-classes  structural-complexity 

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 decidível.

9 cc.complexity-theory  np-hardness  complexity-classes  np  decidability 

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, .DTIME(2n)∪DTIME(22n)∪⋯DTIME(2n)∪DTIME(22n)∪⋯\text{DTIME}(2^n) \cup \text{DTIME}(2^{2^n}) \cup \cdots Parece direto da definição que os problemas de …

9 cc.complexity-theory  reference-request  complexity-classes  computability 

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 NP?

9 cc.complexity-theory  complexity-classes 

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 classe de …

9 cc.complexity-theory  complexity-classes  big-picture 

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 várias rodadas de medição e pós-seleção antes …

9 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs 

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 1euL\mathsf{L}euL\mathsf{L}N C1NC1\mathsf{NC^1} O problema …

9 cc.complexity-theory  graph-algorithms  complexity-classes  descriptive-complexity  finite-model-theory