Свойство графа называется наследственным, если оно замкнуто относительно удаления вершин (т. Е. Все индуцированные подграфы наследуют это свойство). Свойство графа называется аддитивным, если оно замкнуто относительно взятия непересекающихся объединений.
Нетрудно найти свойства, которые являются наследственными, но не аддитивными. Два простых примера:
(1) График полон.
(2) Граф не содержит двух вершинно-непересекающихся циклов.
В этих случаях очевидно, что свойство наследуется индуцированными подграфами, но если взять два непересекающихся графа, которые обладают свойством, их объединение может не сохранить его.
Оба приведенных выше примера являются разложимыми по полимеру свойствами (хотя для (2) это несколько менее тривиально). Если нам нужны более сложные свойства, их все равно можно создать, следуя шаблону (2), но заменив циклы более сложными типами графов. Затем, однако, мы можем легко работать в ситуацию , когда проблема даже не останется в , при стандартных предположениях сложности, таких как N P ≠ с O N P . Кажется менее тривиальным найти пример, который остается в пределах N P , но это все еще сложно.
Вопрос: Известно ли вам (предпочтительно естественное) свойство полного графа, которое наследственное, но не аддитивное?
источник
Ответы:
Ясно, что взятие индуцированных подграфов не может увеличить минимальный размер такого раздела. С другой стороны, когда вы берете несвязное объединение двух графов, вы должны взять объединение разбиения на клики каждого из них.
источник
Рассмотреть эту проблему
Он остается NP завершенным, даже если свойства являются наследственными.
Теперь ясно, что решение вышеуказанной проблемы для графа также обеспечивает решение для индуцированных подграфов. Но при объединении графов того же семейства, что и G, это решение не может быть решено.
Например, разбиение общих графов в непересекающихся графах с единичным интервалом является NP-полным, но после объединения всех возможных ребер (создания графа) задача решается тривиально.
источник
Если (1) верно, тогда оно должно ответить на ваш вопрос, поскольку оно дает свойство, которое является наследственным, но явно не аддитивным.
(ПРИМЕЧАНИЕ ДОБАВЛЕНО: гипотеза (2) отличается от «гипотезы о двойном цикле покрытия» Секереса и Сеймура, несмотря на то, что это однозначно).
источник