Si G se forma a partir de un gráfico más pequeño H que no es una camarilla al agregar dos vértices x e y, de modo que x e y no sean adyacentes entre sí, sino adyacentes a todos los otros vértices de G, entonces . Porque, en cualquier descomposición árbol de G , o bien x y y tener subárboles disjuntos o tienen subárboles superpuestos. Si tienen subárboles disjuntos, todos los demás subárboles deben incluir la ruta más corta entre los árboles para x e y , de lo que se deduce que el ancho del árbol es n - 2tw(G)=tw(H)+2Gxyxyn−2; la suposición de que no es una camarilla se puede usar para mostrar que n - 2 ≥ t w ( H ) + 2 . Alternativamente, si x e y tienen subárboles superpuestos, cualquier otro vértice debe tener un subárbol que toque la intersección de los dos subárboles de x e y , y podemos restringir la descomposición del árbol a esa intersección, dando una descomposición del árbol en el que x e y participar en cada nodo del árbolHn−2≥tw(H)+2xyxyxy
Esto implica que el gráfico hiperoctaédrico con 2 k nodos es un mínimo prohibido mínimo para el ancho 2 k - 3 . Para, el gráfico octaédrico K 2 , 2 , 2 es un mínimo prohibido mínimo para el ancho tres, del cual el argumento anterior muestra que el gráfico hiperoctaédrico tiene un ancho 2 k - 2K2,2,2,…2k2k−3K2,2,22k−2. Y si se realiza una contracción o eliminación de bordes en el gráfico hiperoctaédrico, las simetrías del gráfico nos permiten suponer que la operación está sucediendo en uno de los doce bordes en el octaedro base, causando su ancho y el ancho de todos los hiperoctaedros. construido a partir de él para disminuir.
(La otra clase de gráficos que debe incluir en su pregunta junto con los gráficos completos son los gráficos de cuadrícula. Una cuadrícula tiene un ancho de árbol r . Está separada de los gráficos menores completos porque es plana y, por lo tanto, no tiene un menor completo con más de cuatro vértices. Sin embargo, no es un mínimo prohibido mínimo, porque algunos pequeños cambios (como contraer los vértices de las esquinas) no cambian su ancho de árbol).r×rr