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

Existe uma maneira fácil de entender por que o NP está em EXPTIME? Parece-me a priori concebível que poderia haver um problema que requer tempo superexponencial para ser resolvido, mas cuja solução poderia ser verificada em tempo polinomial.

11 complexity-theory  complexity-classes 

Vamos ser algum problema de contagem, que é conhecido por ser # P -Complete .ΠΠ\PiPPP Isso implica que é A P X- difícil (ou seja, não existe PTAS para o problema, a menos que P = N P )?ΠΠ\PiAPXAPXAPXP=NPP=NPP=NP

11 complexity-theory  complexity-classes  approximation  counting 

O problema de decisão Dada uma fórmula booleana , tem exatamente uma tarefa satisfatória?ϕϕϕ\phiϕϕ\phi pode ser visto em , -hard e -hard. Existe algo mais conhecido sobre sua complexidade?U P c o N PΔ2Δ2\Delta_2U PUP\mathsf{UP}c o N PcoNP\mathsf{coNP}

11 complexity-theory  complexity-classes  satisfiability 

Todo mundo conhece "Garey & Johnson", que é a minha referência preferencial sempre que preciso de um problema para mudar para uma prova de dureza NP. No entanto, recentemente, me dependo de uma prova de dureza APX, e me pergunto se existe uma coleção semelhante (e mais atualizada ..?) De …

11 complexity-theory  reference-request  time-complexity  complexity-classes 

Pelo que entendi, o problema de atribuição está em P, pois o algoritmo húngaro pode resolvê-lo em tempo polinomial - O (n 3 ). Também entendo que o problema de atribuição é um problema de programação linear inteira , mas a página da Wikipedia afirma que esse é NP-Hard. Para …

11 complexity-theory  complexity-classes  linear-programming  integer-programming 

Estou pensando isso com base em vários locais online que chamam co- um grande problema em aberto ... mas não consigo encontrar nenhuma indicação sobre se isso é ou não o mesmo que Problema ...NP=NP=\sf NP=NPNP\sf NPP=NPP=NP\sf P=NP

11 complexity-theory  complexity-classes  p-vs-np 

Eu sei que o problema quantificado da fórmula booleana para uma fórmula que não contém quantificadores e apenas as variáveis é um exemplo de problema com -complete. No entanto, eu me pergunto se há algum problema natural conhecido como , assim como a Minimização de Circuito é um problema natural …

10 complexity-classes 

Se , a hierarquia cai para seu segundo nível (pelo teorema de Karp-Lipton). Mas e quanto a e ?RP=NPRP=NP\sf RP = NPNPNP\sf NPcoNPcoNP\sf coNP Tentei provar que o está contido no (a outra direção é trivial se ), mas sem sucesso, e nem tenho certeza de que seja verdade.BPPBPP\sf BPPNPNP\sf …

10 complexity-theory  complexity-classes  probabilistic-algorithms 

Para raciocinar sobre coisas como NP-completeness, normalmente usamos muitas reduções de uma (por exemplo, reduções de Karp). Isso leva a imagens como esta: (sob conjecturas padrão). Tenho certeza de que todos estamos familiarizados com esse tipo de coisa. Que imagem temos, se trabalharmos com reduções de Turing (ou seja, reduções …

10 complexity-theory  reductions  complexity-classes 

Eu faço curso de Complexidade Computacional. Meu problema é que eu não entendo o método de relativização . Tentei encontrar um pouco de intuição em muitos livros didáticos, infelizmente, até agora sem sucesso. Apreciaria se alguém pudesse esclarecer esse assunto para que eu possa continuar sozinho. Poucas frases a seguir …

10 complexity-theory  np-complete  complexity-classes  relativization  np 

Eu realmente gostaria da sua ajuda para provar o seguinte. Se então .P = N PNTime(n100)⊆DTime(n1000)NTime(n100)⊆DTime(n1000)\mathrm{NTime}(n^{100}) \subseteq \mathrm{DTime}(n^{1000})P=NPP=NP\mathrm{P}=\mathrm{NP} Aqui, é a classe de todas as línguas que podem ser decididas pela máquina de Turing não determinística no tempo polinomial de e é a classe de todas as línguas que pode …

10 time-complexity  complexity-classes  p-vs-np 

Estou confuso sobre como PP e BPP são definidos. Vamos supor χχ\chi é a função característica de uma linguagem LL\mathcal{L} . M ser a máquina de Turing probabilística. As definições a seguir estão corretas: BPP={L:Pr[χ(x)≠M(x)]≥12+ϵ∀x∈L, ϵ>0}BPP={L:Pr[χ(x)≠M(x)]≥12+ϵ∀x∈L, ϵ>0}BPP =\{\mathcal{L} :Pr[\chi(x) \ne M(x)] \geq \frac{1}{2} + \epsilon \quad \forall x \in \mathcal{L},\ …

9 complexity-theory  terminology  randomized-algorithms  complexity-classes 

Recentemente, conversei com um amigo sobre um site que propunha desafios regex, combinando principalmente um grupo de palavras com uma propriedade especial. Ele estava procurando por um regex que corresponda a cadeias de caracteres como ||||||||onde o número de |é primo. Eu imediatamente disse a ele que nunca funcionaria, porque …

9 formal-languages  machine-models  logic  boolean-algebra  xor  cryptography  algorithms  machine-learning  algorithms  paging  virtual-memory  programming-languages  object-oriented  algorithms  search-algorithms  strings  binary-search  formal-grammars  context-free  algorithms  algorithms  correctness-proof  greedy-algorithms  permutations  logic  first-order-logic  logic-programming  algorithms  complexity-theory  computability  programming-languages  complexity-theory  complexity-classes  quantum-computing  reductions  formal-languages  programming-languages  semantics  operational-semantics  small-step-semantics  sets  first-order-logic  computer-networks  communication-protocols 

Eu acho que essas duas classes devem ser as mesmas, mas não consigo encontrar nenhuma literatura sobre isso e tenho um conhecimento limitado sobre o assunto. Esse é o meu raciocínio, e eu gostaria de saber se (1) isso já é conhecido ou (2) eu entendi mal algo ou (3) …

8 complexity-theory  complexity-classes  quantum-computing 

Não consegui encontrar um gráfico representando ou respondendo à seguinte pergunta: Existe uma relação direta entre a complexidade de um algoritmo (como o melhor / pior caso de classificação rápida) e a classe de autômatos que podem implementar o algoritmo. Por exemplo, existe uma variedade de complexidade que os autômatos …

8 complexity-theory  automata  reference-request  complexity-classes