Using equivalence class or union find to optimize the dyck state reachability analysis?
One spirit to inspired by the PLDI paper, maybe we can define the equivalence class and use union find to think up new scheme?
I just record the thought here. More need to be explored. After the slides!









