是否存在具有给定约束的子集选择的通用算法？

Question

基本上，一种解决类似这个难题的问题的通用算法：

五人委员会将从9人A，B，C，D，E，P，Q，R，S中选出。

• A和S必须在一起。
• P不能与R一起使用。
• D和Q不能在一起。
• C和E必须在一起。
• R不能与B一起使用。