Кошумча субграфа бул баштапкы графиктин бардык чокуларын камтыган субграф. Кеңири жайылган дарак - көп учурда кызыгууну туудурган жайылма субграф. Графиктин бардык чокуларын камтыган графиктеги цикл камтылган цикл деп аталат.
Канча камтылган субграфтар бар?
2n индукцияланган субграфтар (чоңдордун бардык чакан топтомдору) жана 2м камтылган субграфтар (четтердин бардык чакан топтомдору) бар.
Калктын субграфын кантип тапсам болот?
Жана Графиктин Spanning субграфынын аныктамасы боюнча G бул четтерин өчүрүү жолу менен алынган. Бир четин, эки четин, үч четин ж. m четтери бар болгондуктан, 2 ^ м ички топтомдор бар. Демек, G 2^м камтылган субграфтарга ээ.
Капкан дарак деген эмнени билдирет?
Графиктин жайылуучу дарагы (G) - бул G-тин бардык чокуларын камтыган, четтердин минималдуу санын камтыган ички жыйындысы. Бул аныктамадан жайылган дарактын кээ бир касиеттерин көрүүгө болот: “Ачык дарак бардык чокуларды камтыгандыктан”, аны ажыратууга болбойт.
График теориясы деген эмне?
Белгилүү дарак G Графикинин ички жыйындысы болуп саналат, анын бардык чокулары эң аз мүмкүн болгон четтери менен жабылган. Демек, жайылган дарактын циклдери жок жана аны ажыратууга болбойт. Бул аныктама боюнча биз ар бир туташкан жана багытталбаган G Графигинде жок дегенде бир жайылма дарак бар деген тыянак чыгарсак болот.