Graphentheorie und Dijkstra, A*-Algorithmus: Mathematische Grundlagen und Implementierung der Pfadfindung