boyland-pf
boyland-pf
The changes are helpful, I'll commit them all grouped.
I'll change it tonight to be O(N), I wanted to first get out a simple version to make sure I'm computing the right thing.
I found It's easier to efficiently calculate uniqueness as defined directly. The fact that if A and B conflict you no longer have to check the descendants of A and...
A high level explanation is here: https://docs.google.com/document/d/1gPkUOLT4I_thFb6LRXSAOpUIVqDQU1MXuYWLMyy50tc/edit?usp=sharing.
The goal is to determine nodes which cannot be mutable references. As shown below, a node cannot be a mutable reference if it: 1. has a conflict with another node...