
En teoría de grafos , un grafo sobrellenado es un grafo cuyo tamaño es mayor que el producto de su grado máximo y la mitad de su orden , es decir ,dóndees el tamaño de G ,es el grado máximo de G yes el orden de G. El concepto de subgrafo sobrellenado , un grafo sobrellenado que es un subgrafo , se deriva inmediatamente. Una definición alternativa y más estricta de un subgrafo sobrellenado S de un grafo G requiere.
Ejemplos
Todo grafo de ciclo impar de longitud tres o más está sobrellenado. El producto de su grado (dos) y la mitad de su longitud (redondeada hacia abajo) es uno menos que el número de aristas en el ciclo. De manera más general, todo grafo regular con un número impar de aristas está sobrellenado.de vértices está sobrecargado, debido a su número de aristas,(dóndees su grado), es mayor que.
Propiedades
Algunas propiedades de los grafos sobrecargados:
- Los gráficos sobrecargados son de orden impar.
- Los grafos sobrecargados son de clase 2. Es decir, requieren al menos Δ + 1 colores en cualquier coloración de aristas .
- Un grafo G , con un subgrafo sobrellenado S tal que, es de clase 2.
Conjetura de exceso
En 1986, Amanda Chetwynd y Anthony Hilton plantearon la siguiente conjetura que ahora se conoce como la conjetura de sobrecarga . [ 1 ]
- Un gráfico G cones de clase 2 si y solo si tiene un subgrafo sobrellenado S tal que.
Esta conjetura, de ser cierta, tendría numerosas implicaciones en la teoría de grafos, incluida la conjetura de 1-factorización . [ 2 ]
Algoritmos
Para gráficos en los que, hay como máximo tres subgrafos sobrellenados inducidos , y es posible encontrar un subgrafo sobrellenado en tiempo polinomial . Cuando, hay como máximo un subgrafo sobrellenado inducido, y es posible encontrarlo en tiempo lineal . [ 3 ]
Referencias
- ↑ Chetwynd, AG; Hilton, AJW (1986), "Multigrafos estrella con tres vértices de grado máximo" (PDF) , Mathematical Proceedings of the Cambridge Philosophical Society , 100 (2): 303–317 , Bibcode : 1986MPCPS.100..303C , doi : 10.1017/S030500410006610X , MR 0848854 .
- ↑ Chetwynd, AG; Hilton, AJW (1989), "1-factorización de grafos regulares de alto grado: una cota mejorada", Matemáticas Discretas , 75 ( 1–3 ): 103–112 , doi : 10.1016/0012-365X(89)90082-4 , MR 1001390 .
- ↑ Niessen, Thomas (2001), "Cómo encontrar subgrafos sobrecargados en grafos con grado máximo grande. II" , Electronic Journal of Combinatorics , 8 (1), Research Paper 7, MR 1814514 .
- Familias de grafos