This site does not allow itself to be embedded. You can still read it on the original site — the toolbar below keeps your place in the directory.
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…
Comments
Nothing yet. Say the first thing.
Sign in to join the conversation.