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

É claro que qualquer idioma em pode ser calculado em .EXPEXPEXPEXP\mathsf{EXP}^{\mathsf{EXP}}2EXP=DTime(22poly(n))2EXP=DTime(22poly(n))\mathsf{2EXP} = \mathsf{DTime}(2^{2^{\mathsf{poly}(n)}}) Minha pergunta é se o inverso é verdadeiro: is ?2EXP⊆EXPEXP2EXP⊆EXPEXP\mathsf{2EXP} \subseteq \mathsf{EXP}^{\mathsf{EXP}}

7 complexity-theory  complexity-classes 

Estou fazendo algumas pesquisas sobre os NFAs e problemas de inclusão com eles. Eu sei que, em geral, os problemas de inclusão e a conversão para uma NFA inequívoca são ambos completos do PSPACE. Gostaria de saber, existem subclasses de NFA para as quais elas podem ser decididas com eficiência? …

7 complexity-theory  formal-languages  automata  finite-automata  nondeterminism 

Infelizmente, minha formação em complexidade computacional ainda é fraca, mas estou trabalhando nisso. Pelo que entendi, a questão da existência de funções de mão única é muito importante no campo. Suponha que existam funções unidirecionais, como pode ser demonstrado que existem funções unidirecionais que preservam o comprimento?

7 complexity-theory  cryptography  one-way-functions 

Eu estava pensando em como a natureza pode calcular com eficiência problemas ridículos (ou seja, PN) com facilidade. Por exemplo, um sistema quântico requer um vetor de elemento para representar o estado, onde é apenas o número de partículas. A natureza não precisa de mais tempo, apesar da natureza exponencial …

7 complexity-theory  quantum-computing 

Eu acho que metade da batalha em responder a essa pergunta está em formulá-la com precisão! Um mecanismo de pesquisa não aparece muito, então eu queria saber se essa é uma pergunta bem conhecida ou bem estudada. Meus pensamentos: Eu acho que a maneira mais direta de formular essa pergunta …

7 complexity-theory  reference-request  turing-machines  combinatorics 

Em http://rjlipton.wordpress.com/2009/05/27/arithmetic-hierarchy-and-pnp/ , Defina, como a máquina de Turing determinística que opera da seguinte forma em uma entrada . A máquina trata como um programa determinístico e simula na entrada . Ao mesmo tempo, a máquina executa um contador que interrompe sua execução após as etapas . Se a máquina …

7 complexity-theory  circuits 

O que um algoritmo pseudo-polinomial nos diz sobre o problema que resolve? Não vejo como o tempo de execução melhora se o algoritmo for exponencial no comprimento da entrada e polinomial no valor da entrada; Então, como explicar essa mudança de exponencial para polinomial?

7 algorithms  complexity-theory  np-complete  pseudo-polynomial 

Sabe-se que para , .f(n)≥lognf(n)≥log⁡nf(n) \geq \log nNSPACE(f(n))=coNSPACE(f(n))NSPACE(f(n))=coNSPACE(f(n))\mathsf{NSPACE}(f(n)) = \mathsf{coNSPACE}(f(n)) E se ? Eles também são iguais?f(n)&lt;lognf(n)&lt;log⁡nf(n)<\log n

7 complexity-theory  space-complexity 

Estou interessado em conhecer a complexidade do problema NAE-HORN-SAT (nem todos iguais). Sabemos que o HORNSAT é completo, mas, por outro lado, o NAE-SAT é completo. Quero saber o que podemos dizer sobre o problema NAE-HORN-SAT. Deixe-me definir o problema formalmente:PP\mathsf{P}NPNP\mathsf{NP} Dado: Uma fórmula booleana é dada a nós no …

7 complexity-theory  np-complete  satisfiability 

O título da pergunta expressa o que estou procurando - isso é para me ajudar a entender melhor os pré-requisitos para o Teorema da Hierarquia de Tempo Não Determinístico Por exemplo, o livro Arora-Barak explica o teorema usando e - mas, eu posso ver que também! Portanto, estou tentando entender …

7 complexity-theory  time-complexity  asymptotics  landau-notation 

Tenho dificuldades para entender a definição da classe Max-SNP (variante de otimização de NP estrito ), portanto, tenho que seguir a pergunta básica: If a problem is known to be Max-SNP hard, does this imply NP-hardness of the problem?

7 complexity-theory  np-hard 

Eu tenho dois programas de espaço de log FFF e GGG. Programa FFF receberá entrada na matriz A [ 1 .. n ]UMA[1 ..n]A[1..n] e criará a matriz de saída B [ 1 .. n ]B[1 ..n]B[1..n]. Programa GGG receberá como entrada BBB como criado por FFF e criar a …

7 algorithms  complexity-theory  simulation  space-complexity 

A classe de complexidade #P#P\newcommand{\sharpp}{\mathsf{\#P}}\sharpp é definida como #P={f∣∃ polynomial-time NTM M ∀x.f(x)=#acceptM(x)}#P={f∣∃ polynomial-time NTM M ∀x.f(x)=#acceptM⁡(x)}\qquad \displaystyle \sharpp = \{f \mid \exists \text{ polynomial-time NTM } M\ \forall x.\, f(x) = \#\operatorname{accept}_{M}(x)\} . Sabe-se que #P#P\sharpp é fechado sob adição, multiplicação e coeficiente binomial. Eu queria saber se está …

7 complexity-theory  turing-machines  closure-properties 

Digamos que recebemos nnn conjuntos e o tamanho de sua união é mmm. Gostaríamos de construir um pequeno conjunto que contenha pelo menoskkk do nnn determinados conjuntos. Vamos supor que mmm é menor do que algum polinômio em nnn, ou seja: m&lt;P(n)m&lt;P(n)m < P(n). Nesse caso, existe um algoritmo eficiente …

7 complexity-theory  np-complete  np-hard  polynomial-time 

Eu defino um CNF longo para conter pelo menos cláusulas, onde é o número de suas variáveis. Deixe é uma fórmula CNF longa e satisfatória .2n22n22^\frac{n}{2}nnnLong-SAT = { ϕ : ϕLong-SAT={ϕ:ϕ\text{Long-SAT}=\{\phi: \phi}}\} Eu gostaria de saber por que . Primeiro, pensei que fosse pois eu posso reduzir o tempo polinomial …

7 complexity-theory  np-complete  reductions  satisfiability  polynomial-time