A notação Big-O é uma notação derivada da Análise assintótica e muito utilizada na análise de complexidade de algoritmos. Essa notação busca descrever o limitante superior da complexidade (número de instruções executadas) para um determinado algoritmo.
Dado um algoritmo cujo número de instruções executadas em função do tamanho da entrada é dado por , dizer que tal algoritmo tem complexidade é o mesmo que dizer que existem duas constantes positivas e tais que , ou seja, se multiplicarmos a função por um escalar , a partir de um determinado ponto ela limita superiormente .
