Equivalent Rewriting

watersail / 2024-11-06 / 原文

  • 最终序列的结果和每个变量最后被哪个操作修改有关
  • 考虑将原操作序列建模成一个有向无环图 G,第 i 个操作向第 j 个操作有一条连边 i → j 当且仅当存在某个变量 t 使得 j 是在原顺序中修改 t 的最后的操作,且 i 也修改了 t。