Resultados da pesquisa

{{Sem notas|data=agosto de 2021}} ...a da complexidade computacional]], a [[Classe de complexidade|complexidade de classe]] '''TFNP''' é uma subclasse da classe [[:en:FNP_(complexity)|FNP]] ...

{{sem notas|data=julho de 2011| angola=| arte=| Brasil=| ciência=| geografia=| música=| Portugal=| so ...de decisão]] que podem ser solucionado por uma [[Máquina_de_Turing|máquina de Turing não-determinística]] usando um tempo ''O''(''f''(''n'')) e espaço il ...

..._decisão|problemas de decisão]] que podem ser resolvido por uma [[máquina de Turing não-determinística]] usando espaço ''O''(''f''(''n'')), e tempo ilim Diversas classes de complexidade podem ser definidas em termos do '''NSPACE'''. Tais como: ...

...memória para uma [[máquina de Turing]]. Este representa o quantidade total de memória que um computador físico "normal" precisaria para solucionar um dad ...dada sua relevância para solução de um problema real: qual é a quantidade de memória necessária para resolver um dado problema com um dado algoritmo. ...

...a. '''UP''' contém '''[[P (complexidade)|P]]''' e está contida em '''[[NP (complexidade)|NP]]'''. ...''L'' pertence a '''UP''' se existe um algoritmo de tempo polinomial ''A'' de duas entradas e uma constante ''c'' tal que ...

...2^''p''(''n'')</sup>), onde ''p''(''n'') é uma função polinomial de n. Em termos de [[Dtime|DTIME]], ...

...es. A [[classe de complexidade]] de todas as línguas esparsas são chamadas de SPARSE. ...são esparsas. Um exemplo de uma linguagem esparsa não trivial é o conjunto de cadeias binárias contendo exatamente ''k'' 1 bits para alguns ''k'' fixos; ...

{{mais notas|data=dezembro de 2015}} {{Reciclagem|data=dezembro de 2015}} ...

...especificam propriedades desejáveis de medidas de complexidade no conjunto de [[Função computável|funções computáveis]]. Os axiomas foram inicialmente de ...ão as medidas de tempo (ou seja, tempo de execução) e espaço (ou seja, uso de memória). ...

{{Reciclagem|data=dezembro de 2011}} {{sem notas|data=dezembro de 2011| angola=| arte=| Brasil=| ciência=| geografia=| música=| Portugal=| so ...

...o '''teorema do intervalo''' é um importante teorema sobre a complexidade de [[função computável|funções computávei]]s.<ref> |url=http://theorie.informatik.uni-ulm.de/Personen/toran/beatcs/column80.pdf ...

{{Mais notas|data=julho de 2016}} ...roblemas para qual existe a prova, de forma eficiente, para não existência de instância, os chamados contra-exemplos. ...

...emente, '''RE''' é uma classe de problemas de decisão para que uma máquina de Turing pode listar todas as instâncias "sim", uma por uma (isto é o que 'en ...linguagens em que a pertinência pode ser refutada em uma quantidade finita de tempo, mas provar a pertinência poderá levar uma eternidade. ...

{{Sem notas|data=julho de 2016}} ...ncontrar uma solução [[Local optimum|ótima localmente]] para um [[problema de otimização]]. ...

{{Mais notas|data=julho de 2016}} ...ser resolvidos por uma máquina de Turing usando uma quantidade polinomial de espaço. ...

{{sem notas|data=julho de 2011| angola=| arte=| Brasil=| ciência=| geografia=| música=| Portugal=| so {{mais fontes|data=abril de 2017}} ...

...da classe [[Apx completude|MaxSNP]] de [[Problema de otimização|problemas de otimização]]. ...03;) sobre vértices, mas apenas quantificação existencial  sobre conjuntos de vértices e relações entre os vértices. SNP retém quantificação existencial ...

...classes de complexidade quanto das relações entre as diferentes classes de complexidade.<ref name="jha">[[Juris Hartmanis]], "New Developments in Structural Comple ...nte de que a hierarquia de classes de [[Hierarquia polinomial|complexidade de tempo polinomial]] é infinita.<ref name="jha">[[Juris Hartmanis]], "New Dev ...

...mplexidade]], o '''problema do isomorfismo de subgrafos''' é um [[problema de decisão]] que se sabe ser [[NP-completo]]. Isomofismo de Subgrafos <math>(G_1, G_2)</math><br /> ...

{{Sem-fontes|data=agosto de 2011| angola=| arte=| Brasil=| ciência=| geografia=| música=| Portugal=| so ...s recursos computacionais baseados em complexidade}}. Uma típica classe de complexidade é definida da seguinte forma: ...