Generer en mere kompleks version af denne sætning. Dens worst-case tidskompleksitet er, og den har de samme worst-case instanser som Hopcrofts algoritme.
Selvfølgelig er en mere kompleks version af sætningen: "I dets værste tilfælde er tidskompleksiteten, men i gennemsnit er dens ydeevne eller endda afhængig af den tilfældige fordeling på automater valgt til at modellere algoritmens gennemsnitlige adfærd".