solver

SAT问题是NP问题，而正则表达式匹配不是NP问题。然而，一个非常流行的正则表达式反向引用扩展将正则表达式匹配扩展为(难)NP问题。反向引用通常表示为\1，\2等。 也许，我听说过的反向引用最实际的用法是HTML标记匹配(这个正则表达式没有正确转义)： 要成功匹配，第二组必须与第一组重合，如"；<；b&&g......