Znajdowanie odległości między dwoma wielomianami (przedstawionymi jako drzewa)

Kolega pracujący nad programowaniem genetycznym zadał mi następujące pytanie. Najpierw próbowałem go rozwiązać w oparciu o chciwe podejście, ale po drugiej myśli znalazłem kontrprzykład na algorytm chciwy. Pomyślałem więc, że warto tu wspomnieć. Rozważ dwa wielomiany reprezentowane przez drzewa...