La complexité d'un enchaînement de tests

def version_A(n):
    if n % 2 == 0 and n % 3 == 0: return "les deux"
    if n % 2 == 0 and n % 3 != 0: return "2 seulement"
    if n % 2 != 0 and n % 3 == 0: return "3 seulement"
    return "aucun"

def version_B(n):
    if n % 2 == 0:
        return "les deux" if n % 3 == 0 else "2 seulement"
    else:
        return "3 seulement" if n % 3 == 0 else "aucun"

Les deux fonctions donnent les mêmes résultats.

Version A : jusqu'à six calculs de reste au pire (trois lignes de deux tests), et surtout chaque reste est recalculé plusieurs fois. Version B : exactement deux, quel que soit n.

Au-delà du décompte, la version B a un avantage plus solide : sa structure garantit que les quatre cas sont exclusifs et exhaustifs. Dans la version A, rien n'empêche d'écrire deux conditions se recouvrant, ou d'en oublier une — le return "aucun" final ramasserait silencieusement les cas non prévus.

C'est l'argument principal : une structure arborescente rend l'exhaustivité visible, une liste de tests indépendants la laisse à la vigilance de celui qui écrit.