Řadící algoritmy založené na porovnávání v každém svém kroku porovnají dvě hodnoty ze vstupního seznamu pomocí operace menší nebo rovno, čímž zjistí jejich uspořádání v rámci výsledného seřazeného seznamu.

Pokud má vstupní seznam n prvků, pak existuje právě jeho různých permutací. Protože v každém kroku daného algoritmu dojde k porovnání dvou prvků, je zřejmé, že aby měl algoritmus dostatek informací o daném seznamu, tak musí provést kroků, čili .