Изменения
→Варианты решения
'''int''' i = random(0 .. n - 1)
'''int''' j = (k - 1) - i
<font color=green> // чтобы сохранить инвариант сделаем A[-1] = -INF и A[n] = +INF B[-1] = -INF и B[m] = +INF </font>
'''int''' Ai_left = ((i == 0) ? INT_MIN : A[i-1])
'''int''' Ai = ((i == n) ? INT_MAX : A[i])