[array] leetcode - 41. First Missing Positive - Hard

leetcode - 41. First Missing Positive - Hard

descrition

Given an unsorted integer array, find the first missing positive integer.

For example,
Given [1,2,0] return 3,
and [3,4,-1,1] return 2.

Your algorithm should run in O(n) time and uses constant space.

解析

注意题目的要求，时间复杂度： O(n)。如果没有时间复杂度的现在，我们可以对数组进行排序，并检查顺序数组中 positive 数的缺失情况即可，时间复杂度为O(nlog(n))。

在有时间复杂度限制的情况下，我们需要进一步分析题目的特点。

• 此处还需要注意的是，positive 是指那些大于 0 的数。
• 要找到第一个缺失的正整数（所谓的第一个正整数，是指从 1 开始计数，第一个缺失的正整数）

基本原理：对于 k 个正整数（允许重复），第一个缺失的值必然在区间 [1,k+1] 内。可以想象成，将 k 个球放到 k+1 个箱子里，那么必然有至少有一个箱子是空的。

对于长度为 n 的整型数组 arry[]，假设正整数的个数为 k 个，k<=n，那么缺失的值必然在区间 [1,k+1]内，我们可以将区间映射到 [0,k]（当 k=n 时，区间为[0,n-1]）。
（辅助理解：[1,k+1] 可以看成是从 1 开始顺序编号的箱子，直到 k+1，我们现在有 k 个正整数，正整数的数值表示起要放到几号桶，因为我们最多只有 k 个正整数，那么必然至少有一个桶时空的）

根据以上分析，对于任意正整数 1<=arry[i]<=n，我们可以从左边到右（从编号1开始到k）将其放到 arry[i]-1 的位置。满足 1<=arry[i]<=n 条件的数最多有 n 个。最后检查，如果存在 arry[i] != i+1 ，那么 i+1 就是缺失的第一个正整数，最极端的情况是 n 个数都满足 arry[i] == i+1，此时第一个缺失的正整数为 n + 1。（注意！！从左往右遍历）

具体实现如代码所示。注意，满足 1<=arry[i]<=n 条件的正整数有可能存在重复，因此需要检查即将要放置的目标位置是否已经满足条件，如果不满足条件才能放置。

code

#include <iostream>
#include <vector>
#include <algorithm>

using namespace std;

class Solution{
public:
    // time-O(n), space-O(1)
    int firstMissingPositive(vector<int>& nums){
        int n = nums.size();
        // put the element to the right place
        // i must be increased from 0 to n, becasue we need to satisfy the lower number first
        for(int i=0; i<n; i++){
            while(nums[i] > 0 && nums[i] <= n && nums[nums[i]-1] != nums[i]){
                // note: nums[nums[i]-1] != nums[i] indicate the place nums[nums[i]-1] hasn‘t satisfied
                // so we can place the nums[i] to nums[nums[i]-1]
                swap(nums[i], nums[nums[i]-1]);
            }
        }

        // find the first missing positive
        for(int i=0; i<n; i++){
            if(nums[i] != (i+1))
                return i+1;
        }

        return n + 1;
    }
};

int main()
{
    return 0;
}