PortDiff

快速本地图重写的结构。有效地存储和遍历端图（diffs）的层次。

摘要

图重写是解决图上优化问题的强大而通用的技术。在量子计算领域，量子电路的完整等价理论为重写提供了坚实的理论基础。不幸的是，由于重写规则数量和输入电路大小都存在较差的扩展性，以及难以并行化，因此基于重写的电路优化在实践中的回溯搜索速度很慢。

我们提出并发图重写来解决这些问题，受到项重写等价饱和的启发。重写可以在持久数据结构上并行应用。该数据结构存储可以直接应用于输入电路或遵循一系列先前重写的重写。在初步探索阶段之后，其中确定了所有可能的重写并将其添加到数据结构中，提取阶段确定应该应用于优化电路成本函数的重写集合。探索阶段旨在扩展到大型分布式系统，而提取阶段的优化问题可以使用现成的SMT求解器解决。

示例

待办事项