Intuición: transversal de ciclo impar en gráficos sin triángulo

8

Supongo que si es un gráfico simple sin triángulos, entonces hay un conjunto de a lo sumo bordes cuya eliminación destruye cada ciclo impar.n 2 / 25Gn2/25

Para obtener más información, consulte el artículo de 1988 de Erdös et al., Cómo hacer un gráfico bipartito .

Pregunta 1: ¿Es esta conjetura verdadera por su intuición?

Pregunta 2: ¿Cuál es la complejidad de contar el número de ciclos impares en un gráfico? ¿Hay algún algoritmo eficiente para hacer eso?

Rupei Xu
fuente
3
Mi intuición dice que necesitas más que eso (considera la gráfica de 3 grupos de vértices V 1 , V 2 , V 3 de modo que haya todos los bordes V 1V 2V 3V 1 , no lo pensé a través de). A n 2 / 9 es una mucho más intuitivo unido. Pero mi intuición también dice: "Si Erdös lo dijo, tiene que ser cierto :)". Contar ciclos simples de longitud exactamente 2 k + 1 es #W [1] -duro (con respecto a kn/3V1,V2,V3V1V2V3V1n2/92k+1k), pero puede haber una manera más fácil de encontrar todos los ciclos impares.
RB
@RB Esto ya debería ser una respuesta.
Yixin Cao
En realidad, ignoré por completo la parte sin triángulo: o. Para este tipo de gráficos, mi intuición dice que es verdad, y apretado (considere para la igualdad de partición V 1 , . . , V 5 .V1V2V3V4 4V5 5V1V1,..,V5 5
RB
1
Querido Rupei, hay dos conjeturas bien conocidas de erdos en las que se supone que el gráfico propuesto por RB (y que quizás también tenías en mente) da el valor extremo. Uno está en el número máximo de pentágonos en un gráfico libre de triángulos con vértices 5n y el otro es igual a su conjetura sobre el número mínimo de aristas requerido para convertir un gráfico libre de triángulos en bipartito. Recuerdo vagamente que se hizo un progreso sustancial en la primera conjetura recientemente, pero tal vez mezcle las dos.
Gil Kalai
@GilKalai, muchas gracias por sus comentarios, querido profesor Kalai, encontré el siguiente documento que muestra los resultados que quiere decir: Simonovits, Miklós. "La influencia de Paul Erd en la teoría gráfica extrema". Las matemáticas de Paul Erdös II. Springer Berlin Heidelberg, 1997. 148-192.
Rupei Xu

Respuestas:

8

Mi intuición dice que probablemente sea cierto, y aquí hay un límite inferior coincidente (es decir, un gráfico del que debe eliminar al menos aristas para que se convierta en bipertita:norte225

, | Vsol=(V1V2V3V4 4V5 5,(V1×V2)(V2×V3)(V3×V4 4)(V4 4×V5 5)(V5 5×V1)).El |V1El |=El |V2El |=El |V3El |=El |V4 4El |=El |V5 5El |

Este gráfico es ciertamente libre de triángulos, pero si X<norte225C5 5=v1v2v3v4 4v5 5v1v1V1,v2V2,v3V3,v4 4V4 4,v5 5V5 5

2k+1# #W[1]-hunarreknorteo(k)

O(2O(k))

RB
fuente
O(2O(k))
1
O(F(k))O~(F(norte))O(F(norte)pagsolylosol(F(norte)))
1
norte
1
O
1
Gracias por su referencia, es interesante ver una notación en diferentes significados.
Saeed
1

Un enfoque para probar su conjetura sería tratar de usar el lema de regularidad de Szemerédi , similar a la forma en que se prueba el lema de eliminación de triángulos (ver, por ejemplo, aquí ). Sin embargo, no sé si obtendrá las constantes correctas de este enfoque.

bola de masa de mobius
fuente
En el lema de regularidad de Szemerédi, generalmente supone una gran cantidad de particiones, el valor exacto de la partición no es fácil de obtener. Me pregunto que tal vez no funcione aquí.
Rupei Xu