グラフ簡約で物理同値が保証されてることを「メモ化」とはいわなくない?