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

O teorema de Savitch mostra que para todas as funções suficientemente grandes , e provar que isso é restrito tem sido um problema aberto por décadas .fN S P A C E (f( n ) ) ⊆ D S P A C E ( f( N )2)NSPUMACE(f(n))⊆DSPUMACE(f(n)2)\mathrm{NSPACE}(f(n)) \subseteq \mathrm{DSPACE}(f(n)^2)fff Suponha …

16 cc.complexity-theory  automata-theory  space-bounded  space-complexity 

Disclaimer: Eu sei muito pouco sobre a teoria da complexidade. Sinto muito, mas não há realmente nenhuma maneira de fazer essa pergunta sem ser (terrivelmente) conciso: Quais devem ser os morfismos na categoria "a" das máquinas de Turing? Isso é obviamente subjetivo e depende da interpretação da teoria, portanto, uma …

16 cc.complexity-theory  turing-machines  ct.category-theory 

Um aluno meu fez recentemente a seguinte pergunta: D T I M E ( f ( n ) ) ⊊ D T I M E ( g ( n ) ) . DTIME(f(n))⊊DTIME(g(n)).DTIME(f(n)) \subsetneq DTIME(g(n)).h ( n ) h(n)h(n)D T I M E ( f ( n ) ) ⊊ …

16 cc.complexity-theory 

Quais são alguns exemplos de pares de classes de complexidade e queAAABBB não sabemos se eA=BA=BA=B também não conhecemos relativizações contraditórias (isto é, não conhecemos oráculos e tal forma que A P = B P e A Q ≠ B Q )?PPPQQQAP=BPAP=BPA^P = B^PAQ≠BQAQ≠BQA^Q \ne B^Q Para formular a pergunta …

16 cc.complexity-theory  complexity-classes  relativization 

Eu li que a programação linear inteira é solucionável em tempo polinominal se o número de variáveis ​​for fixo, ou seja, n ∈ O ( 1 ) . Se o número de variáveis ​​cresce logaritmicamente, ou seja, n ∈ O ( log 2 ( N ) ) para uma determinada …

16 cc.complexity-theory  np  open-problem 

Estou tentando entender a complexidade das funções expressáveis ​​através de portas de limiar e isso me levou a . Em particular, estou interessado no que se sabe atualmente sobre o aprendizado no T C 0 , pois não sou especialista na área.TC0TC0\mathsf{TC}^0TC0TC0\mathsf{TC}^0 O que eu descobri até agora é: Todos …

16 cc.complexity-theory  reference-request  cr.crypto-security  lg.learning  boolean-functions 

NP está em ?DTIME(npolylogn)DTIME(npolylog⁡n)DTIME(n^{poly\log n})

16 cc.complexity-theory  complexity-classes 

Estou procurando problemas que são conhecidos por serem NPCs para gráficos direcionados, mas que possuem um algoritmo polinomial para gráficos não direcionados. Vi a pergunta sobre o contrário aqui, problemas "direcionados" que são mais fáceis do que sua variante "não direcionada" , mas estou procurando por dureza no lado direcionado. …

16 cc.complexity-theory  ds.algorithms  graph-theory  graph-algorithms  np-hardness 

Teoremas da hierarquia são ferramentas fundamentais. Um bom número deles foi coletado em uma pergunta anterior (consulte Quais hierarquias e / ou teoremas de hierarquia você conhece? ). Algumas separações de classes de complexidade seguem diretamente dos teoremas da hierarquia. Exemplos de tais separações bem conhecidos: L≠PSPACEeu≠PSPUMACEL\neq PSPACE , P≠EXPP≠EXPP\neq …

16 cc.complexity-theory  complexity-classes  hierarchy-theorems 

Os autômatos finitos inequívocos (UFA) são tipos especiais de autômatos finitos não determinísticos (NFA). Um NFA é chamado inequívoco se cada palavra tiver no máximo um caminho de aceitação.w ∈ Σ∗W∈Σ∗w\in \Sigma^* Isto significa .D FA ⊂ UFA ⊂ NFUMADFUMA⊂vocêFUMA⊂NFUMADFA\subset UFA\subset NFA Resultados conhecidos de autômatos relacionados: A minimização de …

16 cc.complexity-theory  fl.formal-languages  automata-theory  regular-language 

Há muito pouca informação que eu possa encontrar sobre o problema NP-completo de resolver a equação diofantina linear em números inteiros não negativos. Ou seja, existe uma solução em não negativo para a equação , onde todas as constantes são positivas? A única menção digna de nota desse problema que …

16 cc.complexity-theory  reference-request  np-hardness  counting-complexity 

Gowers recentemente delineou um problema, que ele chama de "determinação discreta de Borel", cuja solução está relacionada à comprovação dos limites mais baixos do circuito. Você pode fornecer um resumo da abordagem adaptada a um público de teóricos da complexidade? O que seria necessário para essa abordagem provar alguma coisa …

16 cc.complexity-theory  p-vs-np 

Foi publicado um novo trabalho reivindicando o algoritmo quase-polinomial do Logaritmo Discreto. http://arxiv.org/abs/1306.4244 Se correto, significa que não temos mais uma separação exponencial na complexidade de um algoritmo clássico e sua versão quântica para o problema do logaritmo discreto? Isso tem alguma implicação para a teoria da complexidade quântica?

16 cc.complexity-theory 

Sabe-se que se pode calcular exatamente o determinante de um matriz em determinstic de log 2 ( n ) espaço. Quais seriam as implicações de complexidade de aproximar o determinante de uma matriz real, da norma, no máximo, 1 ( ‖ A ‖ ≤ 1 ) em randomizado logarítmica espaço,-se …

16 determinant  cc.complexity-theory 

Vamos supor que . N P I é a classe de problemas em N P que não são nem P nem em N P -Hard. Você pode encontrar uma lista de problemas conjecturados como N P I aqui .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}NPINPI\mathsf{NPI}NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}NPINPEu\mathsf{NPI} Teorema de Ladner nos diz que se , então …

16 cc.complexity-theory  np-hardness  np-intermediate