模式的问题陈述用一个强制条件（）集来表示。