(untitled)

The spectrum of the Internet: on one end, my friend read my blog post and formalized some of it in Lean to understand it better, https:// github.com/rkirov/dominator_tr ee/blob/main/DominatorTree/Reducible.lean . On the other, a random commenter said “weird approach, I solved it in o(n) and didn’t even need to read a paper”. (It feels to me like the fact that this is an area of continuous research…