Un algorithme est polynomial si sa complexité est de l'ordre de où est la taille du problème, et une constante indépendante de l'instance considérée.