Una medida teórica de la ejecución de un algoritmo, generalmente el tiempo o memoria necesaria, dado el problema tamaño n, que suele ser el número de elementos. Informalmente, diciendo una ecuación f (n) = O(g(n)) significa que es menos que un múltiplo constante de g (n). La notación se lee, "f de n es grande oh de g de n". Definición formal: f (n) = O(g(n)) significa que hay positivos constantes c y k, tal que 0 ≤ f (n) ≤ cg(n) para todo n ≥ k. los valores de c y k se deben fijar para la función f y no debe depender de n.