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

Linguagens de folha são uma maneira bonita de definir uniformemente muitas classes de complexidade. A maioria das classes de complexidade é geralmente especificada por um modelo de computação (por exemplo, TM determinística / aleatória) e um recurso vinculado (tempo de log, espaço poligonal etc.). No entanto, na formulação da linguagem …

20 cc.complexity-theory  complexity-classes 

No artigo "Um compêndio de problemas completos para P", de Greenlaw, Hoover e Ruzzo (PS) (PDF) , há uma lista de problemas em P que não são conhecidos por estarem em NC e não são completos por P . (Esta lista inclui todos os problemas em aberto na excelente pesquisa …

20 cc.complexity-theory  open-problem  circuit-complexity 

[Nota: Eu acredito que esta questão não depende da correção ou incorreta do artigo de Deolalikar.] No blog de Scott Aaronson, Shtetl Optimized , na discussão sobre a recente tentativa de Deolalikar em P vs NP, Leonid Gurvits fez o seguinte comentário : Tentei entender / reformular a abordagem, e …

20 cc.complexity-theory  lower-bounds  tensor-rank 

Lendo alguns tópicos recentes sobre computação quântica ( aqui , aqui e aqui ), lembro-me de uma pergunta interessante sobre o poder de algum tipo de máquina de preservação -norm.ℓpℓp\ell_p Para as pessoas que trabalham com a teoria da complexidade na complexidade quântica, um excelente texto introdutório é o artigo …

20 cc.complexity-theory  quantum-computing  computability  turing-machines  norms 

A auto-referencialidade do problema de P / NP às vezes tem sido destacada como uma barreira para sua resolução; veja, por exemplo, o artigo de Scott Aaronson, P vs. NP é formalmente independente ? Uma das muitas resoluções concebíveis para P / NP seria uma demonstração de que o problema …

20 cc.complexity-theory  lo.logic 

Em geral, a fita de consulta de um oráculo conta para a complexidade espacial de uma TM. No entanto, parece plausível permitir uma fita oracle somente para gravação (como é usada nas reduções de espaço L). Essa construção é útil? Isso produz resultados particularmente absurdos?

20 cc.complexity-theory  space-bounded  oracles 

Hoje em Nova York e em todo o mundo é comemorado o aniversário de Christos Papadimitriou. Esta é uma boa oportunidade para perguntar sobre as relações entre a classe de complexidade PPAD de Christos (e outras classes relacionadas) e os computadores quânticos. Em seu célebre artigo de 1994, Papadimitriou introduziu …

20 cc.complexity-theory  complexity-classes  quantum-computing  cr.crypto-security  nash-equilibrium 

Seja uma função com valor inteiro tal que esteja em . Segue-se que está em ? Existem razões para acreditar que é improvável que isso ocorra sempre? Alguma referência que eu deva conhecer?2 F # P F # PFFF2 F2F2F# P#P\#PFFF# P#P\#P Surpreendentemente, essa situação surgiu (com uma constante muito …

19 cc.complexity-theory  complexity-classes  counting-complexity 

A Wikipedia listou quatro problemas que estão em mas foram conjecturados como estando fora de P : fatoração de número inteiro; Logaritmo discreto; Simulação de sistemas quânticos; Computando o polinômio Jones em certas raízes da unidade.B Q PBQPBQPPPP Existem outros problemas desse tipo?

19 cc.complexity-theory  complexity-classes  quantum-computing 

Atualmente, o cálculo de reais nas línguas mais populares ainda é feito através de operações de ponto flutuante. Por outro lado, teorias como a efetividade do tipo dois (ETT) e a teoria do domínio há muito prometem o cálculo exato dos reais. Claramente, o problema da precisão do ponto flutuante …

19 cc.complexity-theory  computing-over-reals  computable-analysis  domain-theory 

USTCONN é o problema que requer a decisão de saber se existe um caminho do vértice de origem para o vértice de destino t em um gráfico G , onde todos são dados como parte da entrada.ssstttGGG Omer Reingold mostrou que USTCONN está em L (doi: 10.1145 / 1391289.1391291 ). …

19 cc.complexity-theory  lower-bounds  reductions  space-bounded 

De acordo com o relato histórico (não verificado), Kolmogorov pensou que todo idioma em tem complexidade de circuito linear. (Veja a conjectura da pergunta anterior de Kolmogorov de que possui circuitos de tamanho linear .) Observe que isso implica .PP\mathsf{P}PPPP≠NPP≠NP\mathsf{P}\neq \mathsf{NP} A conjectura de Kolmogorov, no entanto, parece falhar. Por …

19 cc.complexity-theory  circuit-complexity  ho.history-overview 

Podemos calcular uma porta de limiar de bits por circuitos de tamanho polinomial (fan-in ilimitado) de profundidade lg nnnn ? Como alternativa, podemos contar o número de 1s nos bits de entrada usando esses circuitos?lgnlglgnlg⁡nlg⁡lg⁡n\frac{\lg n}{\lg \lg n} É ?TC0⊆AltTime(O(lgnlglgn),O(lgn))TC0⊆AltTime(O(lg⁡nlg⁡lg⁡n),O(lg⁡n))\mathsf{TC^0} \subseteq \mathsf{AltTime}(O(\frac{\lg n}{\lg \lg n}), O(\lg n)) Note-se que . …

19 cc.complexity-theory  circuit-complexity  circuit-depth 

Feedback Vertex Set é NP-complete para gráficos gerais. É conhecido por ser NP-completo para gráficos limitados ao grau 8 devido a uma redução da cobertura de vértices. O artigo da Wikipedia diz que é poli-tempo solucionável para gráficos com limite de grau 3 e é NP completo para gráficos com …

19 cc.complexity-theory  graph-theory  graph-algorithms  np-hardness  bounded-degree 

Uma matriz é chamada totalmente regular se todas as suas submatrizes quadradas tiverem classificação completa. Tais matrizes foram usadas para construir superconcentradores. Qual é a complexidade de decidir se uma determinada matriz é totalmente regular sobre os racionais? Sobre campos finitos? Mais geral, chame uma matriz de totalmente regular se …

19 cc.complexity-theory  reference-request  linear-algebra  matrices