Oración 1: por ejemplo, KGn,1, es el grafo con conjunto de vértices V =, y como los vértices son disjuntos se tiene el grafo completo: 22 Figura 6.1: KG7,1 También, note que para n = 2k, KG2k,k sería el grafo dónde cada vér(tice (c)onjunto de [n] tamaño k) es adyacente a su complemento, que es el único conjunto en con el que k sería disjunto
Oración 2: kG4,2 : Figura 6.2: KG4,2 Entre ellos está también el reconocido grafo de Peterson KG5,2: 23 Figura 6.3: Grafo de Peterson KG5,2 Ahora, una t−coloración de KGn,k particionaría los vértices en t diferentes clases de manera que ninguna arista una a dos vértices de la misma clase
Conector: por ejemplo,
Relación: entailment
Género: theses