Existem resultados conhecidos sobre a complexidade de encontrar um separador (de qualquer tamanho) que satisfaça uma determinada propriedade?
Eu sei que é fácil encontrar um separador de clique (tempo polinomial) e também sei que muitos trabalhos consideram o problema de encontrar pequenos separadores ou separadores que deixam componentes de tamanho conectados no máximo uma fração do tamanho do gráfico original. Mas e se alguém precisar de um separador com outras propriedades, por exemplo, um separador cúbico, bipartido ou com 2 conexões? Também é fácil criar propriedades difíceis de decidir pelo NP; portanto, seria interessante distinguir entre os casos P e NPC.
Edit: Alguém (que não é usuário deste site) acabou de me dizer que o problema é polinomial se a propriedade é "tem um vértice universal" e NP-completo se a propriedade é "induz um conjunto independente" ou "induz um conjunto completo gráfico bipartido ".