https://9dok.net/document/y4wd5j8r-decomposition-adfs-complexity-naive-based-semantics.html