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

Há uma literatura rica e pelo menos um livro muito bom que define a dureza conhecida dos resultados da aproximação para problemas difíceis de NP no contexto de erro multiplicativo (por exemplo, 2 aproximações para cobertura de vértices é ideal, considerando UGC). Isso também inclui classes de complexidade de aproximação …

24 cc.complexity-theory  complexity-classes  np-hardness  approximation-hardness 

A teoria da complexidade, através de conceitos como NP-completeness, distingue entre problemas computacionais que têm soluções relativamente eficientes e aqueles que são intratáveis. A complexidade "refinada" visa refinar essa distinção qualitativa em um guia quantitativo sobre o tempo exato necessário para resolver problemas. Mais detalhes podem ser encontrados aqui: http://simons.berkeley.edu/programs/complexity2015 …

23 cc.complexity-theory  reference-request  complexity-classes  fine-grained 

Quais são as razões convincentes para acreditar em ? L é a classe de algoritmos de espaço de log com ponteiros para a entrada.L≠PL≠PL\neq P Suponha L = P no momento. Como seria um algoritmo de espaço de log para um problema de P-complete em seus contornos gerais?

23 cc.complexity-theory  complexity-classes 

Considere problemas de otimização do seguinte formulário. Seja uma função computável em tempo polinomial que mapeie uma sequência em um número racional. O problema de otimização é este: qual é o valor máximo de sobre as cadeias de bits ?x f ( x ) n xf(x)f(x)f(x)xxxf(x)f(x)f(x)nnnxxx Digamos que esse problema …

23 cc.complexity-theory  graph-algorithms  complexity-classes  optimization  linear-programming 

Na presente discussão , tentativa de Norbet Blum prova é sucintamente refutada por notar que a função Tardos é um contra-exemplo Teorema 6.P≠NPP≠NPP \neq NP Teorema 6 : Let ser qualquer função monótona booleano. Suponha que exista um aproximador de CNF-DNF A que possa ser usado para provar um limite …

22 cc.complexity-theory  np-hardness  complexity-classes 

Essa é uma pergunta em aberto - pela qual peço desculpas antecipadamente. Existem exemplos de declarações que (aparentemente) não têm nada a ver com complexidade ou máquinas de Turing, mas cuja resposta implicaria ?P≠NPP≠NP\mathbf{P}\neq \mathbf{NP}

22 cc.complexity-theory  complexity-classes  p-vs-np 

Ao ler uma resposta de Peter Shor e uma pergunta anterior de Adam Crume , percebi que tenho alguns conceitos errados sobre o que significa ser PP\mathsf{P} duro. Um problema é PP\mathsf{P} difícil se houver algum problema em PP\mathsf{P} com reduções de LL\mathsf{L} (ou se você preferir NCNC\mathsf{NC} ). Um …

22 cc.complexity-theory  complexity-classes 

Gostaria de saber se existe alguma justificativa para acreditar que ou acreditar que ?NL=LNL=LNL=LNL≠LNL≠LNL\neq L Sabe-se que . A literatura sobre derandomization de é muito convincente que . Alguém sabe sobre alguns artigos ou idéias que convencem que ?NL⊂L2NL⊂L2NL \subset L^2RLRLRLRL=LRL=LRL=LNL≠LNL≠LNL\neq L

22 cc.complexity-theory  reference-request  complexity-classes  space-bounded 

Vamos chamar uma função superpolinomial se for válido para cada c> 0 .f( N )f(n)f(n) c > 0limn → ∞nc/ f( n ) = 0limn→∞nc/f(n)=0\lim_{n\rightarrow\infty} n^c/f(n)=0c > 0c>0c>0 É claro que, para qualquer idioma L ∈ PL∈PL\in {\mathsf P} ele sustenta que L ∈ D T I M E ( …

21 cc.complexity-theory  ds.algorithms  complexity-classes 

Eu sei que a complexidade da maioria das variedades de cálculos lambda digitados sem a primitiva combinadora Y é limitada, ou seja, somente funções de complexidade limitada podem ser expressas, com o limite se tornando maior à medida que a expressividade do sistema de tipos cresce. Lembro que, por exemplo, …

21 cc.complexity-theory  complexity-classes  lambda-calculus  typed-lambda-calculus 

Existe um exemplo de um problema natural que está no BPP, mas que não é conhecido por estar em RP ou co-RP?

21 cc.complexity-theory  complexity-classes  randomness 

Inspirado pela pergunta que o fatorial é conhecido como P-duro , pergunto-me qual é o atual estado similar de conhecimento sobre a dureza do isomorfismo gráfico. Estou certo de que atualmente não se sabe se GI está em P, mas: qual é a maior classe atualmente conhecida que a IG …

21 cc.complexity-theory  complexity-classes  graph-isomorphism 

captura a idéia de eficientemente paralelizável, e uma interpretação disso são problemas que são solucionáveis ​​no tempo O ( log c n ) usandoprocessadores paralelos O ( n k ) para algumas constantes c , k . Minha pergunta é se existe uma classe de complexidade análoga em que o …

21 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  dc.parallel-comp 

Estou curioso, em um sentido amplo, sobre o que é conhecido sobre algoritmos de paralelização em P. Encontrei o seguinte artigo da Wikipedia sobre o assunto: http://en.wikipedia.org/wiki/NC_%28complexity%29 O artigo contém a seguinte frase: Não se sabe se NC = P, mas a maioria dos pesquisadores suspeita que isso seja falso, …

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

O BQP é igual ao BPP com acesso a um oráculo de subgrupo oculto da Abelian?

21 complexity-classes  quantum-computing