Доброго времени суток! Помогите разобраться в условии задачи 2.1-4 из книги Кормена «Introduction to Algorithms».

Consider the problem of adding two n-bit binary integers, stored in two n-element arrays A and B. The sum of the two integers should be stored in binary form in an (n + 1)-element array C. State the problem formally and write pseudo-code for adding the two integers.

Нашел ссылку по данной задаче, но опять же не догоняю его псевдокод :(

Доброго времени суток! Не дадите ли внятное объяснение данного (loop invariant) термина. Читаю книгу Introduction to algorithms (CLRS), в первом же примере (insertion sort) объясняют про инвариант цикла. Погуглил, вики прочитал, всякие ресурсы, stackoverflow и т.п. везде по разному. В голове каша, не могу понять что это :(