Решение

Ключевым моментом этой задачи является рекурсивное игнорирование половины части A и B на каждом шаге путем сравнения медианы оставшихся A и B:

if (aMid < bMid) Keep [aRight + bLeft]    
else Keep [bRight + aLeft]

Как показано ниже: время = O (log (m + n))