Здравствуйте, уважаемые эксперты! Прошу вас ответить на следующий вопрос:
Даны два массива К и М с целочисленными элементами, расположенными в каждом из них в порядке возрастания. Рассмотрите следующий алгоритм:

алг Количество (арг цел таб К[1:20], М[1:30], рез цел с)

нач цел: a, b

a := 1

b := 1

c := 1

нц пока (a 20 и b 30)

выбор

при K(a) < M(b)

a := a + 1

при K(a) > M(b)

b := b + 1

при K(a) = M(b)

a := a + 1

b := b + 1

c := c + 1

все

кц

вывод c

кон

а) Для решения какой задачи предназначен этот алгоритм?

б) Найдите подходящий инвариант и докажите гипотезу, выдвинутую вами при выполнении пункта а).

Приложение:
Я эту тему не проходила, а нам задали работу на дом. Как это все делать?