https://9dok.net/document/yd7l3311-algorithm-engineering-symbolische-suche.html