Пусть vi есть b1, b2, b3...bk. Обратите внимание, что наш l - r должен покрывать как минимум k - 1 этих индексов. l должен быть меньше или равен b2.
Я смог понять первую часть решения, но может кто-нибудь объяснить приведенное выше утверждение.
Потому что если (l-r) покрывает менее k-1 индексов, то должны быть x, y такие, что bx и by выходят за диапазон [l, r], а поскольку i | a[bx], i | a[by], то gcd(a[bx], a[by]) >= i, что неверно, потому что вы обновляете next с i на i-1.
Поскольку (l-r) покрывает как минимум k-1 элементов b1, ..., bk, поэтому l должно быть меньше или равно b2.
определить значение F(l,r) указать подпоследовательность A[1:n].
A[1....(l-1),(r+1)....] для вычисления максимального НОД(A[i],A[j])
Сумма = ∑ ∑F(i,j) (i!=j)
