P-Y on Nostr: If I could iterate on dominated nodes going from leaf dominated and progressively up, ...

If I could iterate on dominated nodes going from leaf dominated and progressively up, I could have each node add its own shallow+retained size just to its direct dominator, and things would automatically bubble up without having to recurse up chain.

As it turns out, I keep track of the list of nodes visited, in bfs order. So if I go through that list in reverse order and do a direct dominator size update for each node, that should work.