https://9dok.net/document/y8gnp78w-modeling-computational-complexity.html