grazie!
quindi riassumendo,
l' invariante al generico passo è la max somma tra elementi corrispondenti
in iterazione posso dire che la complessità in tempo è O(n) dove n è il valore maggiore tra n e m,no?
Però per lo spazio è uguale,ok,ma come devo dire?In ricorsione ci sono al massimo m o n record di attivazione contemporaneamente aperti,ma in iterazione?

Per ricorsione ok

Grazie e spero ancora in una vostra gentilezza