Número de cruce (teoría de grafos)

Ir a la navegaciónIr a la búsqueda

El texto que sigue es una traducción defectuosa. Si quieres colaborar con

Wikipedia, busca el artículo original y mejora esta traducción.
Copia y pega el siguiente código en la página de discusión del autor de este
artículo: {{subst:Aviso mal traducido|Número de cruce (teoría de grafos)}} ~~~~

Un diagrama del grafo de Heawood con tres cruces. Este es el mínimo número de
cruces entre todos los diagramas de este grafo, por lo que el grafo tiene número de
cruce cr(G) = 3.
En teoría de grafos, el número de cruce cr(G), también llamado número de
cruzamiento, de un grafo G es el menor número de cruces de aristas en un diagrama
plano del grafo G. Por ejemplo, un grafo es plano si y solo si su número de cruce
es cero.

El estudio de los números de cruce tuvo su origen en el problema de la fábrica de

ladrillos de Turán, en el cual Pál Turán buscó determinar el número de cruce del
grafo bipartito completo Km,n.1 Sin embargo, el mismo problema de minimizar cruces
fue también considerado en sociología aproximadamente al mismo tiempo que Turán, en
conexión con la construcción de sociogramas.2 Sigue siendo de gran importancia en
diagramado de grafos.

Sin otra especificación, el número de cruce permite diagramas en los que las
aristas pueden ser representadas por curvas arbitrarias; el número de cruce
rectilineo requiere que todas las aristas sean segmentos de línea recta, y puede
diferir del número de cruce. En particular, el número de cruce rectilineo de un
grafo completo es esencialmente el mismo que el número mínimo de cuadriláteros
convexos determinados por un conjunto de "n" puntos en posición general,
estrechamente relacionado con el Problema del final feliz.3

Historia
Durante la Segunda Guerra Mundial, el matemático húngaro Pál Turán se vio obligado
a trabajar en una fábrica de ladrillos, empujando carretas cargadas de ladrillos de
los hornos a los almacenes. La fábrica tenía vías que iban de cada horno a cada
almacén, y los vagones eran más difíciles de empujar en los puntos donde las vías
se cruzaban, lo que llevó a Turán a plantearse su problema de la fábrica de
ladrillos: ¿cuál es el número mínimo posible de cruces en un diagrama de un grafo
bipartito completo?4

Zarankiewicz intentó resolver el problema de la fábrica de ladrillo de Turán;5 su

prueba contenía un error, pero estableció un límite superior válido de

{\displaystyle cr(K_{m,n})\leq \left\lfloor {\frac {n}{2}}\right\rfloor

\left\lfloor {\frac {n-1}{2}}\right\rfloor \left\lfloor {\frac {m}{2}}\right\rfloor
\left\lfloor {\frac {m-1}{2}}\right\rfloor }{\displaystyle cr(K_{m,n})\leq
\left\lfloor {\frac {n}{2}}\right\rfloor \left\lfloor {\frac {n-1}{2}}\right\rfloor
\left\lfloor {\frac {m}{2}}\right\rfloor \left\lfloor {\frac {m-1}{2}}\right\rfloor
}
para el número de cruce del grafo bipartito completo Km,n. La conjetura de que esta
desigualdad es en realidad una igualdad hoy se conoce como conjetura del número de
cruce de Zarankiewicz. El error en la prueba de la cota inferior no fue descubierto
hasta once años después de su publicación, casi simultáneamente por Gerhard Ringel
y Paul Kainen; ver6

El problema de determinar el número de cruce del grafo completo fue plantado por
primera vez por Anthony Hill, y aparece impreso en 1960.7 Hill y su colaborador
John Ernest eran dos artistas constructivistas fascinados por las matemáticas,
quienes no solo formularon este problema sino que también originaron un límite
superior conjetural para este número de cruce, publicado por Richard K. Guy en
1960.,7 a saber

{\displaystyle cr(K_{p})\leq (1/4)\left\lfloor {\frac {p}{2}}\right\rfloor

\left\lfloor {\frac {p-1}{2}}\right\rfloor \left\lfloor {\frac {p-2}
{2}}\right\rfloor \left\lfloor {\frac {p-3}{2}}\right\rfloor ,}{\displaystyle
cr(K_{p})\leq (1/4)\left\lfloor {\frac {p}{2}}\right\rfloor \left\lfloor {\frac {p-
1}{2}}\right\rfloor \left\lfloor {\frac {p-2}{2}}\right\rfloor \left\lfloor {\frac
{p-3}{2}}\right\rfloor ,}
que da valores de {\displaystyle 1,3,9,18,36,60,100,150}{\displaystyle
1,3,9,18,36,60,100,150} para {\displaystyle p=1,\ldots ,12;}{\displaystyle
p=1,\ldots ,12;} ver secuencia8 en la OEIS. Una formulación independiente de la
conjetura fue hecha por Thomas L. Saaty en 1964.9 Saaty verificó además que el
límite superior es alcanzado por {\displaystyle p\leq 10}{\displaystyle p\leq 10} y
Pan y Richter mostraron que también es alcanzado por {\displaystyle p=11,p=12.}
{\displaystyle p=11,p=12.} Si solo se permiten segmentos de línea recta, se
necesitarán mas cruces. Los números de cruce rectilíneos para K5 hasta K12 son 1,
3, 9, 19, 36, 62, 102, 153,10 y se conocen los valores hasta K27, con K28
requiriendo o 7233 o 7234 cruces. Valores posteriores son recogidos en el
Rectilinear Crossing Number project.11 Curiosamente, no se sabe si los números de
cruce ordinarios y rectilíneos son los mismos para grafos bipartitos completos. Si
la conjetura Zarankiewicz es correcta, entonces la fórmula para el número de cruce
del grafo completo es asintóticamente correcta;12 es decir,

{\displaystyle \lim _{p\to \infty }\;cr(K_{p})\;64/p^{4}=1.}{\displaystyle \lim

_{p\to \infty }\;cr(K_{p})\;64/p^{4}=1.}
Hasta enero de 2012, se conocen los números de cruce de muy pocas familias de
grafos. En particular, a excepción de algunos casos iniciales, el número de cruce
de grafos completos, grafos bipartitos completos y productos de ciclos siguen
siendo desconocidos. Ha habido algunos avances en cotas inferiores, según lo
informado por de Klerk et al. (2006).13

La conjetura de Albertson, formulada por Michael O. Albertson en 2007, establece

que, entre todos los grafos con número cromático n, el grafo completo Kn tiene el
número mínimo de cruces. Es decir, si la conjetura de Guy-Saaty sobre el número de
cruce del grafo completo es válida, cada grafo n-cromático tiene un número de cruce
por lo menos igual al de la fórmula en la conjetura. Se sabe que esto es válido
para n ≤ 16.14

Notes
Turán, P. (1977). «A Note of Welcome». J. Graph Theory 1: 7-9.
doi:10.1002/jgt.3190010105.
Bronfenbrenner, Urie (1944). «The graphic presentation of sociometric data».
Sociometry 7 (3): 283-289. JSTOR 2785096. «The arrangement of subjects on the
diagram, while haphazard in part, is determined largely by trial and error with the
aim of minimizing the number of intersecting lines.»
Scheinerman, Edward R.; Wilf, Herbert S. (1994). «The rectilinear crossing number
of a complete graph and Sylvester's "four point problem" of geometric probability».
American Mathematical Monthly 101 (10): 939-943. JSTOR 2975158.
doi:10.2307/2975158.
Pach, János; Sharir, Micha (2009). «5.1 Crossings—the Brick Factory Problem».
Combinatorial Geometry and Its Algorithmic Applications: The Alcalá Lectures.
Mathematical Surveys and Monographs 152. American Mathematical Society. pp. 126-
127.
Zarankiewicz, K. (1954). «On a Problem of P. Turán Concerning Graphs». Fund. Math.
41: 137-145.
Guy, R.K. (1969). «Decline and fall of Zarankiewicz's Theorem». Proof Techniques
in Graph Theory (Ed. by F. Harary), Academic Press: 63-69.
Guy, R.K. (1960). «A combinatorial problem». Nabla (Bulletin of the Malayan
Mathematical Society) 7: 68-72.
https://oeis.org/A000241
Saaty, T.L. (1964). «The minimum number of intersections in complete graphs».
Proceedings of the National Academy of Sciences of the United States of America 52:
688-690. doi:10.1073/pnas.52.3.688.
https://oeis.org/A014540
Oswin Aichholzer. «Rectilinear Crossing Number project». Archivado desde el
original el 30 de diciembre de 2012. Consultado el 19 de junio de 2019.
Kainen, P.C. (1968). «On a problem of P. Erdos». Journal of Combinatorial Theory
5: 374-377. doi:10.1016/s0021-9800(68)80013-4.
de Klerk, E.; Maharry, J.; Pasechnik, D. V.; Richter, B.; Salazar, G. (2006).
«Improved bounds for the crossing numbers of Km,n and Kn». SIAM Journal on Discrete
Mathematics 20 (1): 189-202. doi:10.1137/S0895480104442741. Archivado desde el
original el 18 de julio de 2011. Consultado el 18 de agosto de 2014..
Barát, János; Tóth, Géza (2009). «Towards the Albertson Conjecture».
arXiv:0909.0413 [math.CO].