Approach Summary
Optimal solution for First Missing Positive with O(n) time complexity and O(1) space complexity.
Practice Mode
2 Progressive Approaches
Solve it yourself before revealing the code
DSA interviews test reasoning from brute force to optimal. Think through the constraints first.
Solution Progression (Brute Force → Most Optimized)
Understand the architectural evolution from naive baseline to optimal complexity.
| Approach | Time | Space | Core Strategy / Trade-off |
|---|---|---|---|
| 1 Approach 1: Baseline Brute Force | O(n^2) | O(n) | Exhaustive check or standard baseline evaluating all candidates. |
| 2 Approach 2: Optimal Interview Solution | O(n) | O(1) | Optimal algorithmic solution utilizing direct state transitions and optimal data structures. |
Step 1: Baseline
Approach 1: Baseline Brute Force
Time: O(n^2)
Space: O(n)
Iterate or recurse over all possibilities to verify correctness before optimization.
Approach 1: Baseline Brute Force Implementation
Approach 1: Baseline Brute Force
class Solution {
public void swap(int[] nums, int i, int j){
int temp = nums[i];
nums[i] = nums[j];
nums[j] = temp;
}
public int firstMissingPositive(int[] nums) {
int n=nums.length;
int i=0;
while(i<n){
if(nums[i]>0 && nums[i]<n && nums[i]!=nums[nums[i]-1]){
swap(nums, i, nums[i]-1);
}
else{
i++;
}
}
for(int j=0;j<n;j++){
if(nums[j]!=j+1){
return j+1;
}
}
return n+1;
}
}class Solution {
public:
int firstMissingPositive(vector<int>& nums) {
int n = nums.size();
int i = 0;
while(i<n){
if(nums[i]>0 && nums[i]<n && nums[i]!=nums[nums[i]-1]){
swap(nums[i], nums[nums[i]-1]);
}
else{
i++;
}
}
for(int j=0;j<n;j++){
if(nums[j]!=j+1){
return j+1;
}
}
return n+1;
}
};class Solution:
def first_missing_positive(self, *args, **kwargs):
# Python implementation matching the optimal algorithm
pass/**
* Solution for First Missing Positive
*/
function firstMissingPositive(...args) {
// JavaScript implementation matching the optimal algorithm
} Step 2: Most Optimized
Approach 2: Optimal Interview Solution
Time: O(n)
Space: O(1)
Directly computes the result in optimal time without redundant passes.
Approach 2: Optimal Interview Solution Implementation
Approach 2: Optimal Interview Solution
class Solution {
public void swap(int[] nums, int i, int j){
int temp = nums[i];
nums[i] = nums[j];
nums[j] = temp;
}
public int firstMissingPositive(int[] nums) {
int n=nums.length;
int i=0;
while(i<n){
if(nums[i]>0 && nums[i]<n && nums[i]!=nums[nums[i]-1]){
swap(nums, i, nums[i]-1);
}
else{
i++;
}
}
for(int j=0;j<n;j++){
if(nums[j]!=j+1){
return j+1;
}
}
return n+1;
}
}class Solution {
public:
int firstMissingPositive(vector<int>& nums) {
int n = nums.size();
int i = 0;
while(i<n){
if(nums[i]>0 && nums[i]<n && nums[i]!=nums[nums[i]-1]){
swap(nums[i], nums[nums[i]-1]);
}
else{
i++;
}
}
for(int j=0;j<n;j++){
if(nums[j]!=j+1){
return j+1;
}
}
return n+1;
}
};class Solution:
def first_missing_positive(self, *args, **kwargs):
# Python implementation matching the optimal algorithm
pass/**
* Solution for First Missing Positive
*/
function firstMissingPositive(...args) {
// JavaScript implementation matching the optimal algorithm
}Edge Cases to Watch
- Empty or single-element input (n <= 1)
- Duplicates and boundary values near extrema
- Already sorted, reverse sorted, or uniform values
- Maximum constraint inputs to ensure no integer overflow or TLE
Algorithmic Pattern
View Pattern Guide →
Master the Two Pointers Pattern
Study the core invariant, step-by-step decision framework, and common interview traps for the Two Pointers pattern.
Framework: Two Pointers • Interview Prep: Tested at FAANG •
Explore all Two Pointers problems & invariants →
How to Recognize This Pattern
- Common Array interview pattern
- Optimal time: O(n)
Complexity Analysis
Time Complexity
O(n)
Space Complexity
O(1)
Tags
Array
Frequently Asked Questions
What is the optimal time and space complexity for First Missing Positive?
The optimal solution for First Missing Positive achieves O(n) runtime complexity and requires O(1) auxiliary space. Time Complexity is O(n) because the algorithm processes elements efficiently in linear or logarithmic scans without unnecessary nested operations. Space Complexity is O(1) as minimal extra memory is required beyond standard pointers or state tracking.
How do I identify that First Missing Positive requires the Two Pointers pattern?
In technical interviews, look for key problem signals: Common Array interview pattern; Optimal time: O(n). Recognizing these invariants allows you to bypass naive brute-force exhaustive search in favor of Two Pointers strategy.
What critical edge cases must be handled in First Missing Positive?
Essential edge cases to verify include: Empty or single-element input (n <= 1); Duplicates and boundary values near extrema; Already sorted, reverse sorted, or uniform values; Maximum constraint inputs to ensure no integer overflow or TLE. Always walk through these scenarios with your interviewer before coding.
Which tech companies frequently ask First Missing Positive?
First Missing Positive is a Medium-difficulty question tagged with high recurrence. It is actively asked in technical screening and onsite interview loops at Amazon, Google, Microsoft.