如题，违规紫衫。

把题目原意抽象成数学语言没啥用，考CSP时你还是得看原题啊。翻译不应该是为了那些不会英语的人方便才产生的吗