https://123dok.net/document/wq214v6y-on-the-complexity-of-submap-isomorphism-and-maximum-common-submap-problems.html