Расширяющие операторы для задачи о независимом множестве

Введено понятие расширяющего оператора для задачи о независимом множестве, являющееся полезным инструментом конструктивного формирования новых случаев эффективной разрешимости этой задачи в семействе наследственных классов графов. Данное понятие применяется к наследственным частям множества $Free(\{P_5,C_5\})$. Именно, доказано, что если для связного графа $G$ задача полиномиально разрешима в классе $Free(\{P_5,C_5,G\})$, то для любого $p$ она остаётся таковой в классе $Free(\{P_5,C_5,G\circ\overline K_2,G\oplus K_{1,p}\})$. Также найдены два новых наследственных подмножества $Free(\{P_5,C_5\})$ с полиномиально разрешимой задачей о независимом множестве, не являющиеся следствием применения указанного оператора. Библиогр. 22.