寻找丢失的第一个正整数

一道题目：

给出一个无序的正数数组，找出其中没有出现的最小正整数。

样例

如果给出 [1,2,0], return 3
如果给出 [3,4,-1,1], return 2

今天和同事讨论了一道算法题，就是给定一个数组，找到这个数组里没有出现的最小的正整数，这道题看起来，可以先排序，然后直接就可以找到最小正整数，但是复杂度为O(nlogn)，但是感觉这道题不应该复杂度这么高，于是想了各种办法，同事一个很直观的想法是使用递归的方法，同事关于递归的认识还是很深刻的，也就是说，递归的本质思想是认为后面的递归已经完成了，一定要在这个假设下设计递归算法，比如要找数组【2，1，4，3】中没有出现的最小正整数，使用递归，那么对于第一层：2，【1，4，3】，这时，由于数组长度为4，因此最小正整数只可能是【1，2，3，4，5】，而此时出现了2，因此现在需要考虑的数组就是【1，3，4，5】，然后接着处理1，【4，3】，现在只需要考虑【3，4，5】，之后处理4，【3】，只需要考虑【3，5】，然后处理5，【】，只需要考虑【5】，因此最终的结论是5。同事关于递归的看法，很新颖，比如递归设计是当处理第一个，认为后面的已经处理完了，可以返回你想要的结果，这种思路取设计递归算法，很不错，因此，在解决问题时，往往看问题的角度很大程度决定你解决问题的速度。回过头来看递归的实际执行，如果递归算法设计出来了，那么非递归算法也就出来了，将递归算法转换成非递归算法，那么就反向考虑，也就是递归算法，实际上执行的顺序是【】，【3】，【4，3】，【1，4，3】，【2，1，4，3】，这样便可以设计非递归算法，可以使用for循环，从后向前遍历即可。

后来，看了一个网上的解决方案，发现还有一个很巧妙的方法，看懂了，把算法贴出来，想法很好，默认用数组的下标所指位置存储当前这个数。

int firstMissingPositive(vector<int> A) {
int i = 0, n = A.size();
for (int i = 0; i < n; i++) {
while (A[i] > 0 && A[i] <= n && A[A[i] - 1] != A[i]) {
swap(A[A[i] - 1], A[i]);
}
}
for (int i = 0; i < n; i++)
if (A[i] != i + 1)
return i + 1;
return n + 1;
}