Em sistemas computacionais que manipulam grandes volumes de dados numéricos, a eficiência dos algoritmos de ordenação é crucial para o desempenho geral. Considerando um vetor de inteiros onde todos os elementos estão no intervalo de 0 a k, o algoritmo Counting Sort realiza a ordenação sem realizar comparações diretas entre os elementos.

Qual é a principal razão pela qual o Counting Sort pode alcançar complexidade O(n) quando k é proporcional a n?