记录一个自己切掉的*3300。首先注意到这是个匹配问题，根据形式很容易想到hall定理。乍一看认为对于一段区间的判定只需要判定所有子串就行了。下面合法相当于是hall定理中的\(|S|\le|N(S)|\)，满足条件则相当于是存在完备匹配。考虑这个怎么判，我先考虑了对于一个段\([l,r]