Resultados da pesquisa

...''' é uma subclasse da classe [[:en:FNP_(complexity)|FNP]] onde existência da solução é garantida. FNP significa "Função Total Polinomial Não-determiníst ...sse TFNP. TFNP também contém subclasses [[PLS (complexidade)|PLS]], [[PPA (complexidade)|PPA]], PPAD, e PPP. ...

...a [[complexidade computacional]], a [[Complexidade_computacional|classe de complexidade]] '''NTIME(''f''(''n''))''' é o conjunto dos [[Problema_de_decisão|problema ...complexidade [[NP (complexidade)|NP]] pode ser definida em termos de NTIME da seguinte forma: ...

...um computador físico "normal" precisaria para solucionar um dado problema computacional com um [[algoritmo]]. É uma das mais estudadas medidas de complexidade, dada sua relevância para solução de um problema real: qual é a quantidade ...

... [[Complexidade computacional|Complexidade Computacional]], a  [[classe de complexidade]] '''2-EXPTIME''' (também chamada '''2-EXP''') é o [[conjunto]] de todos os : [[P (complexidade)|P]] <math>\subseteq</math> [[NP (complexidade)|NP]] <math>\subseteq</math> [[PSPACE]] <math>\subseteq</math> [[Exptime|EX ...

...mputacional]] o '''teorema do intervalo''' é um importante teorema sobre a complexidade de [[função computável|funções computávei]]s.<ref> ...Para qualquer [[função computável]] que represente um aumento em [[recurso computacional|recursos computacionais]], pode-se encontrar um limite do recurso tal que o ...

...н}}) é um [[matemático]] russo que trabalha com a [[teoria da complexidade computacional]]. ...s [[Artigo científico|artigos]] mais importantes na teoria da complexidade computacional. O artigo mostra ser possível multiplicar dois números de '''''n''''' dígit ...

...omputacional]] ([[aprendizado de máquina]] e [[teoria da computação]]), '''Complexidade de''' '''Rademacher''', em homenagem a [[Hans Rademacher]], mede a riqueza ...s reais das funções definidas em um espaço de domínio <math>Z</math>, a '''complexidade''' '''empírica de Rademacher ''' de <math>\mathcal{H}</math> é definida com ...

...a. '''UP''' contém '''[[P (complexidade)|P]]''' e está contida em '''[[NP (complexidade)|NP]]'''. ...ta pode ser verificada por uma máquina determinística em tempo polinomial. Da mesma forma, uma linguagem está em '''UP''', se uma dada resposta pode ser ...

...nte definido por [[Manuel Blum]] em 1967, é um teorema fundamental sobre a complexidade de [[Função computável|funções computáveis]]. ...imo para ''f''. É claro que isto não exclui a possibilidade de encontrar a complexidade de um programa ótimo para determinadas funções específicas. ...

...computacional]], a Pesquisa Local Polinomial ('''PLS''') é uma [[classe de complexidade]] que modela a dificuldade de encontrar uma solução [[Local optimum|ótima l ..._L(x)</math>. Além disso, a existência dos três seguintes algoritmos de [[Complexidade de Tempo|tempo polinomial]] é necessária: ...

...l]] no ''valor numérico'' da entrada, mas é exponencial no ''comprimento'' da entrada&#x20;– o número de bits necessários para representá-lo. ...Já que a complexidade computacional mede dificuldade em relação ao tamanho da entrada (codificada), este algoritmo ingênuo é, na verdade, exponencial. El ...

Na [[teoria da complexidade computacional]], um '''certificado '''(também chamado de '''witness''' ou '''testemunha'' ...cisam ser atribuído um valor, a fim de estabelecer definitivamente o valor da função booleana <math>f</math>. ...

...ia da computabilidade]], o '''problema de busca''' é um tipo de [[problema computacional]] representado por uma [[relação binária]]. Se'' R'' ​​é uma relação binári ...eto x. Um [[algoritmo]] é dito para resolver o problema se ele se comporta da seguinte forma: se pelo menos uma estrutura correspondente existe, então um ...

...mputacional usando um certo algoritmo. É um dos mais bem estudado recursos complexidade, porque corresponde tão intimamente a um recurso importante do mundo real ( ...o de memória usado, mas pode haver restrições em alguns outros recursos de complexidade (como alternância). ...

...de Simon''' nos é dado em uma função (implementada por uma [[Caixa preta (teoria dos sistemas)|caixa preta]]) de cordas de ''n'' bits a cordas de ''n'' bits [[Categoria:Ciência da computação]] ...

...ni ''' é um teorema na [[Complexidade computacional|teoria da complexidade computacional]]. Foi provado por [[Leslie Valiant]] e Vijay Vazirani em um artigo intitul ...]] para SAT-não-ambíguo, então [[NP (complexidade)|NP]]=[[RP (complexidade computacional)|RP]]. ...

Em [[Análise de algoritmos|complexidade computacional]] e [[criptografia]], duas famílias de distribuições são '''indistinguíveis ...Complexidade de Tempo#Tempo Polinomial|tempo polinomial]] probabilístico [[Complexidade de circuitos#Uniformidade|não uniforme]] ''A'', a seguinte quantidade é uma ...

...a relação entre o problema de alcance dos [[Teoria dos grafos|grafos]] e a complexidade de classes. ...xiste uma aresta de uma configuração para outra se corresponder a um passo computacional do modelo. ...

Na [[teoria dos grafos]], um [[grafo]] ''G'' é dito '''''k''-vértice-conexo''' (ou '''' ...ublicado=Springer}}</ref> Grafos completos não estão inclusos nesta versão da definição desde que eles não podem ser desconexos deletando vértices. Um gr ...

...''' são [[axiomas]] que especificam propriedades desejáveis de medidas de complexidade no conjunto de [[Função computável|funções computáveis]]. Os axiomas foram ...e do [[Teorema do intervalo|intervalo]] se mantêm para qualquer medida de complexidade que satisfaz estes axiomas. As medidas mais conhecidas que satisfazem estes ...