• 这里是REIN的离线版本，vector和array的区别在于我们的布尔检验数组是什么形式的，网络版本中用的是array。
• opIndex也基本实现了离线版本。
• 论文合集包含了匹配算法的论文。