Couvre les déclarations conditionnelles et la théorie des graphes, y compris les techniques de preuve et les concepts liés aux graphes, aux chemins, à la connectivité et aux protocoles de commérage.
Couvre la théorie de la percolation et les modèles de graphes aléatoires, en explorant les seuils de connectivité et la puissance critique pour les réseaux sans fil.