Teoria dos crivos

Este artigo ou secção contém uma lista de referências no fim do texto, mas as suas fontes não são claras porque não são citadas no corpo do artigo, o que compromete a confiabilidade das informações. Ajude a melhorar este artigo inserindo citações no corpo do artigo. (Maio de 2014)

Teoria dos crivos são conjuntos de técnicas gerais dentro da teoria dos números, criadas para contar ou estimar o tamanho de um conjunto de números inteiros. O exemplo primordial de um conjunto crivado (ou peneirado, pois crivo significa peneira) é o do conjunto dos números primos menores ou iguais a x. Ainda neste exemplo primordial o método mais difundido é o do crivo de Eratóstenes, ou de um modo mais geral, o crivo de Legendre. Um ataque direto sobre o conjunto dos números primos usando estes métodos mostra obstáculos aparentemente insuperáveis, em acumulação de términos de erros durante o percurso.

Um resultado exitoso é a aproximação de um conjunto peneirado em específico (por exemplo, o conjunto de números primos) por outro conjunto simples (por exemplo, o conjunto dos números quasi-primos), que geralmente é um tanto maior que o conjunto original e mais fácil de analisar. Crivos mais sofisticados não trabalham diretamente com o conjunto em si, sendo que são contados de acordo com funções de peso cuidadosamente escolhidas para o conjunto.