6 relações: Álgebra relacional, Co-NP-completo, Complexidade NL, Complexidade SL, Prova de conhecimento zero, UP (complexidade).
Álgebra relacional
Em ciências da computação, álgebra relacional é uma derivação descendente da lógica de primeira ordem e da álgebra de conjuntos em relação das operações sobre a relação finítimo, que auxilia o trabalho ao identificar os componentes de uma tupla por nome (chamado o atributo) ao invés de uma coluna de chaves numéricas, o qual é chamado a relação na terminologia de banco de dados.
Novo!!: Complemento (complexidade) e Álgebra relacional · Veja mais »
Co-NP-completo
Na teoria da complexidade computacional, problemas computacionais co-NP-completos são os problemas mais difíceis em co-NP, no sentido de que são os mais propensos a não serem P. Se existisse uma forma de resolver um problema co-NP-completo rapidamente, então esse algoritmo poderia ser usado para resolver todos os problemas co-NP de forma rápida.
Novo!!: Complemento (complexidade) e Co-NP-completo · Veja mais »
Complexidade NL
Na teoria da complexidade, NL (espaço-logarítmico não-determinístico) é a classe de complexidade contendo problemas de decisão que podem ser resolvidos por uma máquina de Turing não-determinística, usando uma quantidade de espaço de memória logarítmica.
Novo!!: Complemento (complexidade) e Complexidade NL · Veja mais »
Complexidade SL
Na teoria da complexidade computacional, SL (Logspace Simétrica ou Sym-L) é a classe de complexidade dos problemas de log-espaço redutível a USTCON (não-s-t conectividade), é o problema de determinar se existe um caminho entre dois vértices em um grafo não direcionado, caso contrário, descrito como o problema de determinar se dois vértices estão no mesmo componente conectado.
Novo!!: Complemento (complexidade) e Complexidade SL · Veja mais »
Prova de conhecimento zero
Em criptografia, uma prova de conhecimento zero ou protocolo de conhecimento zero é um método pelo qual uma parte (o provador) pode provar à outra parte (o verificador) que uma determinada afirmação é verdadeira, sem transmitir qualquer informação além do fato de que a afirmação é realmente verdadeira.
Novo!!: Complemento (complexidade) e Prova de conhecimento zero · Veja mais »
UP (complexidade)
Na teoria da complexidade, UP ("Tempo Polinomial Não-determinístico Não-ambíguo") é a classe de complexidade dos problemas de decisão resolvidos em tempo polinomial em uma máquina de Turing não ambígua com, no máximo, uma caminho de aceitação para cada entrada.
Novo!!: Complemento (complexidade) e UP (complexidade) · Veja mais »