Mar, 2023
MCTS-GEB: 蒙特卡洛树搜索是一种好的 E 图构建器
MCTS-GEB: Monte Carlo Tree Search is a Good E-graph Builder
Guoliang He, Zak Singh, Eiko Yoneki
TL;DR提出了一种名为 MCTS-GEB 的重写系统,该系统应用了强化学习并使用蒙特卡罗树搜索来规划最佳的 e-graph 构建路径,从而消除构建阶段中的相位排序问题,并在合理的时间内取得更好的性能,实验结果表明 MCTS-GEB 可以比现有的重写系统获得高达 49 倍的优化性能,是未来重写系统的一个有前途的构建单元。