约束满足问题（CSP）被定义为其状态必须满足若干（）的一组对象。