https://123dok.net/document/lq5elggq-multi-parameter-analysis-local-partitioning-problems-greediness-parameterization.html