A veces miro todos los dibujos buenos no isomórficos de gráficos en un plano o esfera.
Buen dibujo significa que ninguna arista se cruza a sí misma, que no hay dos aristas que se crucen más de una vez y que no hay dos aristas incidentes con el mismo vértice que se crucen entre sí.
No isomorfo significa que no hay isomorfismo de los dibujos como grafos incrustados.
Mis preguntas son:
¿Cuántos buenos dibujos hay de $K_{3,3}$ ?
¿Existe algún sitio web o programa que enumere todos los buenos dibujos de gráficos con un máximo de $n$ ¿Vértices?
A continuación se ilustran los tres requisitos de un buen gráfico:
Para los gráficos pequeños, se obtienen los siguientes resultados.
Para los grafos completos con un máximo de 5 vértices, la lista de buenos dibujos está básicamente clara. También están resumidos en el libro de Marcus Sahefer sobre Cruce de números de gráficos (CRC Press, 2018):
- Hay dos buenos dibujos no isomórficos de $K_4$ en la esfera.
- Hay cinco dibujos no isomórficos de $K_5$ en la esfera.
Mientras tanto, $K_{2,3}$ tiene $4$ buenos dibujos, como se describe en Michal Stas, "Join Products [K. sub. 2, 3]+[C. sub. n]" ( Matemáticas v8.6, 2020). Se ilustran en el siguiente gráfico:
Podemos obtener listas de grafos no isomórficos en sitios web (por ejemplo http://users.cecs.anu.edu.au/~bdm/data/graphs.html ) o de programas informáticos como maple o geng. ¿Cómo podemos obtener una lista similar de dibujos buenos no isomórficos?