Это вопрос домашней работы. Говорят, что требуется O(logN + logM), где N и M - длины массивов.
Назовите массивы a и b. Очевидно, что мы можем игнорировать все a[i] и b[i], где i > k.
Сначала сравните a[k/2] и b[k/2]. Пусть b[k/2] > a[k/2]. Поэтому мы можем отбросить также все b[i], где i > k/2.
Теперь мы имеем все a[i], где я < k и всех b[i], где я < k/2, чтобы найти ответ.
Каков следующий шаг?