В теории графов ( a , b )-разложение неориентированного графа представляет собой разбиение его ребер на a + 1 наборов, каждый из которых индуцирует лес, кроме одного, который индуцирует граф с максимальной степенью b . Если этот граф также является лесом, то мы называем это F( a , b )-разложением .
Граф с древесностью a является ( a , 0)-разложимым. Каждое ( a , 0 )-разложение или ( a , 1 )-разложение является F( a , 0 )-разложением или F( a , 1 )-разложением соответственно.