Los grafos son estructuras matemáticas utilizadas para representar relaciones binarias entre distintos objetos, donde los vértices representan a los objetos y las aristas representan la existencia de una relación entre dos objetos dados. Suponiendo que hay un conjunto inicial de vértices con una condición dada, en los problemas de propagación un vértice recibe la misma condición si sus vecinos la tienen. Así, la condición puede ser una enfermedad, pero también puede ser un mensaje o una publicidad dadas. Para una familia de grafos específica (relacionada a los grafos de Kneser), los problemas que estudiamos son el de número de cápsula, que es el tamaño del conjunto inicial de vértices contagiados más pequeño que llega a contagiar a todo el grafo, el número de convexidad, que es el conjunto de vértices más grande que no contagia a ningún otro vértice, y el número de percolación, que es el mayor tiempo que puede demorar un conjunto inicial en contagiar a todo el grafo.
