Cette séance de cours présente le Lemme local de Lovasz, qui traite des événements qui ne sont pas mutuellement indépendants. Il couvre le concept de «petites dépendances» et explore les graphiques de dépendance pour comprendre comment les événements sont liés. La séance de cours traite également des conditions dans lesquelles il existe des solutions valables satisfaisant le lemme local de Lovasz, tel que défini par la localisation des racines dans le polynôme d'indépendance.