Ответ на вопрос
Давайте разбираться по порядку.Утверждение 1: "Следующее число всегда больше предыдущего" - неверно. Примером может служить последовательность чисел 0, 1, 3, 2, 6, 4, 12, 7, 14, 8, 24, ...Утверждение 2: "i-й бит следующего числа хранит сумму по модулю два всех битов предыдущего числа, номера чьих позиций меньше либо равны i" - верно. Это свойство побитовой операции XOR.Утверждение 3: "Битовое представление следующего числа отличается от предыдущего только в одном бите" - неверно. В этом алгоритме битовое представление следующего числа отличается от предыдущего числа в нескольких битах.Утверждение 4: "Без первого элемента последовательность совпадает со следующей" - верно. Так как seq(2^k) = seq(2^{k-1}) 2^k seq seq(2^{k-1}) - это свойство побитовой операции XOR.Таким образом, единственным правильным ответом на ваш вопрос является утверждение 2.
Еще