我记得（很多年前了）有人写过这个算法的cpp实现
我也写过一次 只是没开源

这个算法还有一个优点是很容易写complement 也就是~ 的逻辑 因为你可以直接在RE上做 negation。而这正是你需要的特性

当然所有的re的实现 难点都是过早的.* 一下子就把空间扩大到指数级了 不过这是re的内在属性 没辙

cs的理论核心是复杂度 复杂度的研究工具是language 和Turing machine，复杂度研究的主线就是发现各种lang之间的同构

所以 趁这个机会看看研究lang和automaton论文没什么不行的 古典cs论文的好处是门槛比较低 不需要准备就可以直接上手

【 在 chunhui 的大作中提到: 】
: 先收藏了。感觉得想其他办法解决了，难道为了这个办法，我还要研究一下学术问题？有点不可行。
--
FROM 85.76.108.*