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 algoritmo de Karatsuba para multiplicação rápida foi publicado pela primeira vez em A. Karatsuba e Yu. Ofman (1962), "Multiplicação de muitos números digitais por computadores automáticos", Anais da Academia de Ciências da URSS 145: 293-294. De acordo com Karatsuba (1995, "A complexidade das...
Quando ensino limites de cauda, uso a progressão usual: Se seu rv for positivo, você pode aplicar a desigualdade de Markov Se você tiver independência e também variância limitada, poderá aplicar a desigualdade de Chebyshev Se cada rv independente também tiver todos os momentos limitados, você...
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 )...
É um resultado clássico que todo circuito fan-in 2 AND-OR-NOT que calcula PARITY a partir das variáveis de entrada tem tamanho pelo menos e isso é nítido. (Definimos tamanho como o número de portas AND e OR.) A prova é por eliminação de porta e parece falhar se permitirmos fan-in arbitrário. O...
Quando restrita a 000 - 111 entradas, cada { + , × }{+,×}\{+,\times\} -circuit F ( x 1 , ... , x n )F(x1,…,xn)F(x_1,\ldots,x_n) calcula uma função F : { 0 , 1 } n → NF:{0,1}n→NF:\{0,1\}^n\to \mathbb{N} . Para obter uma função booleana , podemos apenas adicionar um gate limiar fanin-1 como o gate de...
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...
Encontrei o seguinte resultado durante minha pesquisa. limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1\lim\limits_{n\to \infty} \mathbb{E}\left[ \frac{\#\{|a_i-a_j|,1\le i,j\le m \}}{n} \right] = 1 onde m=ω(n−−√)m=ω(n)m=\omega(\sqrt n) e a1,⋯,ama1,⋯,ama_1,\cdots,a_m são...
Para algoritmos aleatórios usando valores reais, o "truque mediano" é uma maneira simples de reduzir a probabilidade de falha a qualquer limite , ao custo de apenas uma multiplicativa sobrecarga. Ou seja, se a saída de cair em um "bom intervalo" com probabilidade (pelo menos) , executando cópias...
Existe algum problema natural em P para o qual o limite de tempo de execução mais conhecido seja da forma , em que é uma constante irracional ?αO (
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...
Diz-se que o CoC é o culminar de todas as três dimensões do cubo Lambda. Isso não é aparente para mim. Acho que entendo as dimensões individuais, e a combinação de duas parece resultar em uma união relativamente direta (talvez esteja faltando alguma coisa?). Mas quando olho para o CoC, em vez de...
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...
Estou escrevendo trabalhos em ciência da computação teórica, às vezes, sendo um autor único não anônimo. Anteriormente, usei a 1ª pessoa do plural nesses documentos, por exemplo: Mostraremos que as classes de complexidade X e Y coincidem. Não sou falante nativo de inglês nem sou muito bom em...
Parece-me que a linguagem macro empregada por Talvez o X possa ser visto como algum tipo de sistema de reescrita de termos ou algum tipo de linguagem de programação com escopo de chamada por nome.TEXTEX\TeX Mesmo implementações modernas do Motor X (por exemplo, X e TTEXTEX\TeX ) interprete o...
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...
Estou procurando idiomas que "provavelmente não são livres de contexto", mas não podemos (des) provar isso usando técnicas padrão conhecidas. Existe uma pesquisa recente sobre o assunto ou uma seção de problemas abertos de uma conferência recente? Provavelmente, não existem muitos idiomas...
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...
A classe de complexidade PPAD (por exemplo, computando vários equilíbrios de Nash) pode ser definida como o conjunto de problemas de pesquisa total polytime redutíveis para FIM DA LINHA : FIM DA LINHA : Dados os circuitos S e P com n bits de entrada e n bits de saída tais que P (0 n ) = 0 n ! = S...