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 ( f( N )...
Luca Trevisan mostrou quantas construções de geradores pseudo-aleatórios podem de fato ser consideradas construções de extrator: http://www.cs.berkeley.edu/~luca/pubs/extractor-full.pdf Existe uma conversa significativa? Ou seja, construções "naturais" de extratores podem ser consideradas...
Como sabemos, a função -clique pega um subgrafo ( estendendo-se ) de um gráfico -vertex completo , e gera se contém um -clique . As variáveis nesse caso correspondem às arestas de . Sabe-se (Razborov, Alon-Boppana) que, para , essa função requer circuitos monotônicos de tamanho em torno de . C L...
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...
Muitos resultados importantes na teoria da complexidade computacional e, em particular, na teoria da complexidade "estrutural", têm a propriedade interessante de que eles podem ser entendidos como fundamentalmente seguintes (como eu o vejo ...) a partir de resultados algorítmicos, fornecendo um...
(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...
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...
O portão AND & OR é um portão que recebe duas entradas e retorna seu AND e seu OR. Os circuitos são feitos apenas a partir da porta AND & OR, sem fanout, capazes de realizar cálculos arbitrários? Mais precisamente, o espaço de log da computação do tempo polinomial é redutível aos circuitos...
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...
Considere o seguinte raciocínio: Seja denotado a complexidade de Kolmogorov da cadeia . O teorema da incompletude de Chaitin diz queK( X )K(x)K(x)xxx para qualquer sistema formal consistente e suficientemente forte , existe uma constante (dependendo apenas do sistema formal e sua linguagem) de...
Usando o algoritmo carry look ahead, podemos calcular a adição usando uma profundidade de tamanho polinomial 5 (ou 4?) família de circuitos C 0 . É possível reduzir a profundidade? Podemos calcular a adição de dois números binários usando uma família de circuitos de tamanho polinomial com...
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 é mais...
O seguinte problema apareceu recentemente em minha pesquisa. Como não sou especialista em questões algorítmicas, pesquisei bastante no Google em busca de problemas adequados para reduzir. Não vejo como o 3SAT funcionaria e, embora o ZOE seja semelhante em espírito, uma redução não é óbvia. Outra...
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 Ladner, se P≠NPP≠NPP \neq NP...
É sabido que o seguinte problema está completo no PSPACE: Dada a expressão regular , ?L ( β ) = Σ ∗ββ\betaL ( β) = Σ∗L(β)=Σ∗L(\beta) = \Sigma^* E quanto a determinar a equivalência a outras expressões regulares (fixas) ?αα\alpha Dada a expressão regular , ?L ( β ) = L ( α )ββ\betaeu( β) = L...
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...
Shor afirmou, em seu comentário à resposta anônima de alce a esta pergunta. Você consegue identificar a soma de duas permutações no tempo polinomial? , Que é -Complete para identificar a diferença de dois permutações. Infelizmente, eu não ver uma redução direta do problema da soma de permutação e é...
Recentemente, passei pela dolorosa experiência divertida de explicar informalmente o conceito de complexidade computacional a um jovem programador autodidata talentoso, que nunca havia feito um curso formal de algoritmos ou complexidade antes. Não surpreendentemente, muitas noções pareciam...
Existe alguma hipótese plausível de complexidade / criptografia que exclua a possibilidade de que os circuitos de tamanho polinomial tenham tamanho subexponencial (isto é, com ϵ < 1 ) de profundidade limitada
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 tempo é n c e o...