Mientras intentaba encontrar un algoritmo para reducir un gráfico sin reducir su número cromático, hice el siguiente algoritmo (pero no estoy seguro de si funciona):
Llamemos a este algoritmo "primer plegado de la dimensión más alta (HDFF)". Me pregunto si HDFF siempre nos da , dónde es el número cromático de , y es el gráfico completo en vértices.
Me lo imaginé. Su algoritmo no conserva el número cromático (sin embargo, no puede reducir el número cromático) y esta vez encontré una razón correcta.
Considere el gráfico, . los vértices de crear un con el borde entre y desaparecido. El más largo en este gráfico tiene y uno está dado por .
Aplicando (1) a este gráfico con y identificado produce un gráfico con un inducido subgrafo Por lo tanto tiene número cromático al menos 5. Sin embargo, tiene el número cromático 4 como podemos ver en el coloreado de la figura de .
Su algoritmo dará como resultado un gráfico completo, pero creo que no conserva el número cromático. El gráfico de Grötzsch , es el gráfico más pequeño sin triángulos y número cromático 4. El subgráfico inducido más grande del gráfico de Grötzsch que es menos un borde tiene . Aplicar (1) de su algoritmo a cualquier par de vértices no adyacentes del gráfico de Grötzsch dará como resultado un gráfico que no tiene triángulos y es más pequeño que el gráfico de Grötzsch y, por lo tanto, tiene un número cromático diferente.
EDITAR: Esto está mal. Hay triángulos en el gráfico resultante después de aplicar (1). Veré esto un poco más tarde.
enrejado
Enrique
enrejado