Source: https://pageperso.lis-lab.fr/~kevin.perrot/documents/2016/complexite/CR_16.pdf