https://9dok.org/document/zlge719l-shorts-stories-surprising-algorithmic-uses-treewidth.html