Цитування, що показує неповнолітніх, - топологічні неповнолітні для субкубічних графіків

Якщо являє собою графік з максимальним ступенем 3 , і є мінор H , то G є топологічним мінор H .$G$$H$$G$$H$

Вікіпедія цитує цей результат із "Теорії графіків" Дістеля. Він вказаний як Prop 1.7.4 в останній версії книги. У книзі бракує доказів або цитування.

Чи відомі місця проживання (оригінального) доказу цього?

Крім того, чи існує посилання, що підтверджує, що якщо шлях або підрозділ кігтя і є другорядним H, то G є підграфом H ? Він згадується тут коротко , але не вказує.$G$$H$$G$$H$

Якщо G являє собою графік з максимальним ступенем 3 , і є мінор H , то G є топологічним мінор H$G$$H$$G$$H$

$G$$H$$G$$H$

$H'$$H$$H'$$G$$H'$$G$

$G$$H'$$H'$

$H'$$G$

$H_1$$H_2$$H_2$$H_1$$H'$$G$$G$$H'$$H$

$G$$H$$G$$H$

$G$$H$$H$$H$$G$

Цей результат нам також потрібен був для одного разу, тому ми включили короткий доказ у свою роботу. Результат можна знайти в складності запиту квантових запитів властивостей другорядних закритих графіків . Він згадується на сторінці 13. Однак цей факт прихований у доказуванні чогось іншого і не викладений прямо як теорема.

Що також цікаво, це те, що існує суперечка цій теоремі:

$G$$G$$G$