在排序数组a中，如果a [0]大于0，没有其他值可以等于其索引了吗？

Question

如果我有一个排序的（严格增加的）数组，其中a [0]！= 0，并且a [0]

编辑：错误的运算符

Answer 1

如果我说对了，您有一个（升序）排序数组，仅包含正整数，没有重复项。如果a [0]> 0，那么对于所有i：a [i]> i。这是真实的，证明是低谷诱因：

初始化：

对于i = 0，这是微不足道的。

步骤：

假设条件适用于i（a [i]> i），证明其适用于i + 1（a [i + 1]> i + 1）：

• a [i + 1]> a [i]> i
• a [i + 1]> a [i]> = i + 1
• a [i + 1]> i + 1

已确认。