Чи відомі якісь результати щодо складності пошуку сепаратора (будь-якого розміру), що задовольняє заданій властивості?
Я знаю, що роздільник кліків легко (поліноміальний час) знайти, а також знаю, що багато робіт розглядають проблему пошуку невеликих сепараторів або сепараторів, які залишають пов'язані компоненти розміром не більше частки від розміру початкового графіка. Але що робити, якщо потрібен роздільник з іншими властивостями, скажімо, кубічний, двопартійний або 2-з'єднаний роздільник? Також легко створити властивості, які важко вирішити, тому було б цікаво розрізняти випадки P та NPC.
Редагувати: хтось (який не є користувачем цього веб-сайту) щойно сказав мені, що проблема є поліноміальною, якщо властивість "має універсальну вершину" та NP-завершена, якщо властивість "викликає незалежний набір" або "викликає повне" двосторонній графік ".