¿Hay algún gráfico circular sin triángulos, sin estrellas, con más de n aristas?

9

Estoy tratando de encontrar un gráfico con esas propiedades para mis estudios, pero desafortunadamente no puedo encontrar ese gráfico.

¿Alguien sabe si existe ese gráfico, o por qué es imposible existir?

Rafael Oliveira Lopes
fuente
3
¿Puedes explicar tu terminología? ¿Qué es "star-cutset-free" y qué es "circle circle"?
Yuval Filmus
1
Por supuesto. =) Un gráfico circular es un gráfico (no dirigido) cuyos vértices se pueden asociar con acordes en un círculo, de modo que dos vértices son adyacentes si los acordes correspondientes se cruzan entre sí. Aquí hay una imagen como ejemplo (de Wikipedia): en.wikipedia.org/wiki/File:Circle_graph.svg Y podemos decir que un gráfico tiene un corte de estrella cuando tiene un vértice v tal que eliminar v y sus vecinos (N [v]) del gráfico lo desconecta.
Rafael Oliveira Lopes
1
ISGCI tiene definiciones de triángulo libre y gráfico circular . Una estrella-cutset es un subconjunto de vértices que separa la gráfica, de manera que un vértice en S es adyacente a cada otro vértice en S . SSS
Jeffε
Este documento puede ser relevante.
Jeffε

Respuestas:

11

Suponga que es un gráfico circular sin triángulo sin estrellas. Mostraré que G no contiene vértices con un grado superior a 2. Por lo tanto, G tiene como máximo n aristas.GGGn

Considere una representación círculo de G . Un conjunto de acordes es paralelo si no se cruzan dos, pero hay una línea que cruza todos los acordes.CG

Propiedad 1 : no tiene 3 acordes paralelos.C

Prueba . Supongamos que tiene 3 acordes paralelos. Condider el vértice v correspondiente al acorde medio. Entonces, N [ v ] es un conjunto de corte. Esto prueba la propiedad.CvN[v]

En aras de la contradicción, suponga que tiene un vértice v de grado al menos 3. Luego, el acorde correspondiente a v intersecta con otros 3 acordes. Dado que estos 3 acordes cruzan una línea, son paralelos o dos de ellos se cruzan. Debido a la Propiedad 1, dos de ellos se cruzan, lo que significa que sus vértices forman un triángulo con v , lo que contradice que G está libre de triángulos.GvvvG

Serge Gaspers
fuente
nn
Ok, corregido, creo que esto funciona, y es más simple que mi prueba.
David Eppstein
8

nmm+n+12nm>npcpcp

David Eppstein
fuente