Finden des Abstands zwischen zwei Polynomen (dargestellt als Bäume)

Ein Kollege, der an der genetischen Programmierung arbeitet, hat mir die folgende Frage gestellt. Ich habe zuerst versucht, es auf der Grundlage eines gierigen Ansatzes zu lösen, aber bei einem zweiten Gedanken fand ich ein Gegenbeispiel zum gierigen Algorithmus. Also, ich dachte, es lohnt sich...