Busco un grafo regular no completo para el que se cumplan las dos condiciones siguientes:
- para cada dos vértices adyacentes ,
- para cada dos vértices no adyacentes ,
donde es el conjunto de vecinos de (excepto mismo).
Me parece bien sustituir 2 por 3, digamos (o en realidad, por cualquier constante positiva...). Jugué un poco con el lápiz y con el ordenador, y no pude encontrar tal.