Analyseer een gegeven inefficiënt recursief algoritme dat berekent of twee binaire structuren identiek zijn (O(2^n)). Schrijf een geoptimaliseerde versie van dit algoritme dat lineaire tijdcomplexiteit O(n) heeft. Geef in je antwoord een stap-voor-stap uitleg van de optimalisatie, inclusief een analyse van de ruimte-tijd complexiteit (Space-Time Complexity) en pseudo-code voor de verbeterde oplossing.