шаг значения фиксированный?
это "1" ?
двоичный поиск вам в руки. вы же можете предсказать значение любого
A[n]
как исходного массива, так и фрагмента. по отклонению можно делать вывод о наличии пропуска (или нескольких)
надо помнить, что двиочная выборка будет эффективна в плане определения непрерывных фрагментов, для уточнения разрывов, может потребоваться эвристическая модификация алгоритма
ps
SharuPoNemnogu точно!.. в общем случае, все рассуждения об арифметической прогрессии и двоичном поиске, верны для любого шага прогрессии (не только 1)