考虑一个由数字0,1,2,3组成的长度为n的序列,如果它是一个合法序列,那么它应当满足以下两个条件:
1) 序列中任意相邻的两元素没有出现模式{'00', '11', '22', '33', '02', '20', '23', '32', '13', '31'}中的任一种;
2) 序列满足m个约束条件,每个约束条件的形式均为:{p1, p2, ... pL},它表示序列中的p1, p2, ..., pL这些位置的值不同。例如约束条件{1, 5, 11}表示序列中的第一个,第五个和第十一个元素两两各不相同。
现在已知序列长度n,约束条件个数m以及这m个约束条件,问是否存在这样的合法序列。