摘要：
“朱雀湖（lake）”问题中，定义 \( f(S,P) \) 为字符串 \( S \) 被 \( P \) 匹配次数（匹配不交），给定 \( S \) 、 \( P \) 长度 \( n \) 、 \( m \) 及字符集大小 \( k \) ，且 \( P \) 每种字符出现次数不超过2次，求 \( \sum f(S,P) \) 。解题思路是用容斥原理，先不管匹配不交限制求 \( g(S,P) \) ，算出常规贡献后减去重叠匹配多算部分，经多次容斥并预处理相关内容来准确计算，时间复杂度为 \( O(n + m^2) \) 。 阅读全文