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

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 

Preâmbulo Os sistemas interativos de prova e os protocolos Arthur-Merlin foram introduzidos por Goldwasser, Micali e Rackoff e Babai em 1985. No início, pensava-se que o primeiro era mais poderoso que o segundo, mas Goldwasser e Sipser mostraram que tinham o mesmo poder ( em relação ao reconhecimento de idiomas). …

21 cc.complexity-theory  lower-bounds  circuit-complexity 

Qual é a relação entre algoritmos de DNA e as classes de complexidade definidas usando máquinas de Turing? O que as medidas de complexidade como tempo e espaço correspondem nos algoritmos de DNA? Eles podem ser usados ​​para resolver instâncias de problemas NP-completos, como o TSP, que as máquinas von …

21 cc.complexity-theory  np-hardness  natural-computing  tsp 

Uma prova de separação de classes de complexidade usa uniformidade de classes de complexidade essencialmente se a prova não provar o resultado da versão não uniforme, por exemplo, provas baseadas em diagonalização (como teoremas da hierarquia de tempo e espaço) fazem uso essencial da uniformidade, pois precisam simular os programas. …

21 cc.complexity-theory 

Sabemos muito sobre as limitações dos circuitos de profundidade constante (tamanho polinomial). Como as fórmulas de profundidade constante (tamanho polinomial) são um modelo de computação ainda mais restrito, todos os problemas que não se encontram no AC 0 também não são computáveis ​​por uma fórmula de profundidade constante. No entanto, …

21 cc.complexity-theory  circuit-complexity  lower-bounds 

(Von Neumann deu um algoritmo que simula uma moeda justa, tendo acesso a moedas tendenciosas idênticas. O algoritmo potencialmente requer um número infinito de moedas (embora, na expectativa, finitas sejam suficientes). Essa questão diz respeito ao caso em que o número permitido de lançamentos limitado.) Suponha que tenhamos moedas idênticas …

21 cc.complexity-theory  circuit-complexity  pr.probability 

Motivado pela resposta de Shor relacionada a diferentes noções de completude de NP, estou procurando um problema que seja completo de NP em reduções de P, mas que não seja conhecido como completo de NP em reduções de espaço de log (de preferência por um longo período de tempo). Além …

21 cc.complexity-theory  np-hardness 

Digamos que temos um problema computacional, por exemplo, 3-SAT, que tem um conjunto de instâncias de problemas (possíveis entradas) . Normalmente, na análise de algoritmos ou teoria da complexidade computacional, temos alguns conjuntos de todas as entradas de comprimento e uma função que fornece o tempo de execução de algum …

21 cc.complexity-theory  kolmogorov-complexity  parameterized-complexity  succinct  analysis-of-algorithms 

László Babai provou recentemente que o problema do isomorfismo gráfico está no tempo quase-polinomial . Veja também sua palestra na Universidade de Chicago, nota das palestras de Jeremy Kun pós 1 da GLL , pós 2 da GLL , pós 3 da GLL . De acordo com o teorema de …

21 cc.complexity-theory  complexity-classes  np-complete  polynomial-time  np-intermediate 

Lembre-se do número de números primos é a função de contagem primária . Por "PRIMES in P", a computação está em #P. O problema é # P-completo? Ou, talvez, haja um motivo de complexidade para acreditar que esse problema não está # P-completo? π(n)π(n)\pi(n)≤n≤n\le nπ ( n )π(n)π(n)\pi(n) PS: Percebo …

20 cc.complexity-theory  counting-complexity  nt.number-theory  comp-number-theory  primes 

Digamos que uma linguagem LLL seja P -densidade perto se houver um algoritmo de tempo polinomial que decida corretamente LLL em quase todas as entradas. A∈A∈A\in LΔALΔAL\Delta Alimn→∞|(LΔA)∩{0,1}n|2n=0.limn→∞|(LΔA)∩{0,1}n|2n=0.\lim_{n\rightarrow\infty} \frac{|(L\Delta A) \cap \{0,1\}^n|}{2^n}=0.AAALLLLLL Observe que não precisa ser esparso. Por exemplo, se tiver bits, ainda estará desaparecendo (a uma taxa exponencial), …

20 cc.complexity-theory  ds.algorithms  complexity-classes  np-complete 

A aparentemente sem sentido da mineração de criptomoedas levantou a questão de alternativas úteis, veja estas perguntas em Bitcoin , CST , MO . Gostaria de saber se existe um algoritmo que possa converter praticamente qualquer desafio computacional (cuja solução pode ser verificada com eficiência) em outro desses desafios (que …

20 cc.complexity-theory  cr.crypto-security  cryptojacking 

Qual a velocidade de um algoritmo não determinístico para um problema EXPTIME-completo para implicar ? Um algoritmo não determinístico de tempo polinomial implicaria isso imediatamente porque mas ninguém acredita que . Se eu fiz a álgebra corretamente (veja abaixo), o teorema da hierarquia de tempo ainda daria a implicação para …

20 cc.complexity-theory 

É sabido que os palíndromos podem ser reconhecidos em tempo linear em máquinas de Turing de fitas, mas não em máquinas de Turing de fita única (nesse caso, o tempo necessário é quadrático). O algoritmo de tempo linear usa uma cópia da entrada e, portanto, também usa um espaço linear.222 …

20 cc.complexity-theory  time-complexity  space-complexity  space-time-tradeoff