Una cota superior para constante del número de cruce rectilíneo

Autor: Ruy Fabila Monroy
Coautor(es): Oswin Aichholzer, Frank Duque, Oscar García, Carlos Hidalgo-Toscano
El número de cruce rectilíneo de una gráfica $G$ es el mínimo número de cruces $cr(G)$ que aparecen al dibujar la gráfica en el plano, dibujando sus aristas con segmentos de rectas. Se sabe que para la gráfica completa el límite cuando n tiene a infinito de $cr(K_n)/\binom{n}{4}$ es una constante. Esta constante se conoce como la constante del número de cruce rectilíneo. En esta plática hablaremos de las herramientas computacionales usadas para obtener la mejor cota superior a la fecha.