Why Intervals Are a Common Problem Pattern in DSA Rust - Performance Analysis

Time Complexity: Why Intervals Are a Common Problem Pattern

O(n log n)

Understanding Time Complexity

Intervals problems often involve sorting and merging ranges. Analyzing time complexity helps us understand how these operations grow as input size increases.

We want to know how the number of steps changes when we handle more intervals.

Scenario Under Consideration

Analyze the time complexity of the following code snippet.

fn merge_intervals(mut intervals: Vec<(i32, i32)>) -> Vec<(i32, i32)> {
    intervals.sort_by_key(|k| k.0);
    let mut merged = Vec::new();
    for interval in intervals {
        if merged.is_empty() || merged.last().unwrap().1 < interval.0 {
            merged.push(interval);
        } else {
            let last = merged.last_mut().unwrap();
            last.1 = last.1.max(interval.1);
        }
    }
    merged
}
    

This code sorts intervals by start time and merges overlapping ones into a combined list.

Identify Repeating Operations

Identify the loops, recursion, array traversals that repeat.

• Primary operation: Sorting the intervals by their start value.
• How many times: Sorting takes about n log n steps for n intervals. Then a single loop goes through all intervals once.

How Execution Grows With Input

Explain the growth pattern intuitively.

Input Size (n)	Approx. Operations
10	About 10 * log 10 + 10 ≈ 40 steps
100	About 100 * log 100 + 100 ≈ 700 steps
1000	About 1000 * log 1000 + 1000 ≈ 10,000 steps

Pattern observation: The sorting dominates and grows a bit faster than just doubling when input doubles.

Final Time Complexity

Time Complexity: O(n log n)

This means the time to merge intervals grows a bit faster than the number of intervals because sorting takes extra steps.

Common Mistake

[X] Wrong: "Merging intervals is just a simple loop, so it must be O(n)."

[OK] Correct: Sorting the intervals first takes more time than just looping, so the total time is more than O(n).

Interview Connect

Understanding this pattern helps you solve many real problems involving ranges, schedules, or timelines efficiently. It shows you how sorting combined with a single pass is a powerful approach.

Self-Check

"What if the intervals were already sorted? How would the time complexity change?"

Practice

1. Why are interval problems common in data structures and algorithms?

easy

A. Because intervals are easy to sort alphabetically

B. Because many real-world problems involve ranges or periods of time

C. Because intervals always have fixed lengths

D. Because intervals never overlap in practice

Solution

1. Step 1: Understand what intervals represent

   Intervals represent ranges, such as time periods or numeric ranges, which appear often in scheduling, booking, or resource allocation problems.

2. Step 2: Recognize real-world relevance

   Many practical problems require handling overlapping or merging intervals, making them a common pattern in algorithms.

3. Final Answer:

   Because many real-world problems involve ranges or periods of time -> Option B

4. Quick Check:

   Intervals = ranges in real life [OK]

Hint: Think about real-life ranges like meetings or bookings [OK]

Common Mistakes:

• Assuming intervals always have fixed lengths
• Thinking intervals never overlap
• Confusing intervals with single points

2. Which Rust syntax correctly defines a struct to represent an interval with start and end as integers?

easy

A. struct Interval { start: i32, end: i32 }

B. struct Interval(start: i32, end: i32);

C. struct Interval { start i32; end i32 }

D. struct Interval = { start: i32, end: i32 }

Solution

1. Step 1: Recall Rust struct syntax

   Rust structs use curly braces with field names and types separated by colons and commas.

2. Step 2: Check each option

   struct Interval { start: i32, end: i32 } matches correct syntax: fields with colons and commas inside braces. Options A, C, and D have syntax errors.

3. Final Answer:

   struct Interval { start: i32, end: i32 } -> Option A

4. Quick Check:

   Rust struct = braces + colons + commas [OK]

Hint: Remember Rust structs use braces and colons for fields [OK]

Common Mistakes:

• Using parentheses instead of braces
• Missing colons between field names and types
• Using equal sign instead of braces

3. What is the output of this Rust code that merges overlapping intervals?

fn merge_intervals(mut intervals: Vec<(i32, i32)>) -> Vec<(i32, i32)> {
    intervals.sort_by_key(|k| k.0);
    let mut merged = Vec::new();
    for interval in intervals {
        if let Some(last) = merged.last_mut() {
            if interval.0 <= last.1 {
                last.1 = last.1.max(interval.1);
            } else {
                merged.push(interval);
            }
        } else {
            merged.push(interval);
        }
    }
    merged
}

fn main() {
    let intervals = vec![(1, 3), (2, 6), (8, 10), (15, 18)];
    let result = merge_intervals(intervals);
    println!("{:?}", result);
}

medium

A. [(1, 6), (2, 6), (8, 10), (15, 18)]

B. [(1, 3), (2, 6), (8, 10), (15, 18)]

C. [(1, 3), (8, 10), (15, 18)]

D. [(1, 6), (8, 10), (15, 18)]

Solution

1. Step 1: Sort intervals by start

   Sorted intervals: (1,3), (2,6), (8,10), (15,18)

2. Step 2: Merge overlapping intervals

   First two intervals overlap (2 ≤ 3), merge to (1,6). Others do not overlap, so final merged list is [(1,6), (8,10), (15,18)].

3. Final Answer:

   [(1, 6), (8, 10), (15, 18)] -> Option D

4. Quick Check:

   Merged intervals = [(1,6), (8,10), (15,18)] [OK]

Hint: Sort intervals by start, then merge overlapping ones [OK]

Common Mistakes:

• Not sorting intervals before merging
• Pushing intervals without merging overlaps
• Merging intervals incorrectly

4. Identify the bug in this Rust function that attempts to merge intervals:

fn merge(mut intervals: Vec<(i32, i32)>) -> Vec<(i32, i32)> {
    intervals.sort_by_key(|k| k.1);
    let mut merged = Vec::new();
    for interval in intervals {
        if let Some(last) = merged.last_mut() {
            if interval.0 <= last.1 {
                last.1 = last.1.max(interval.1);
            } else {
                merged.push(interval);
            }
        } else {
            merged.push(interval);
        }
    }
    merged
}

medium

A. Missing return statement at the end

B. Using max instead of min when merging intervals

C. Sorting intervals by end instead of start causes incorrect merging

D. Not initializing merged vector before loop

Solution

1. Step 1: Analyze sorting key

   The function sorts intervals by their end value, but merging requires sorting by start to process intervals in order.

2. Step 2: Understand merging logic impact

   Sorting by end breaks the assumption that intervals are processed from earliest start, causing incorrect merges.

3. Final Answer:

   Sorting intervals by end instead of start causes incorrect merging -> Option C

4. Quick Check:

   Sort by start, not end, for correct merging [OK]

Hint: Sort intervals by start, not end, before merging [OK]

Common Mistakes:

• Sorting by wrong interval boundary
• Confusing max and min when merging
• Forgetting to push first interval

5. Given a list of intervals representing booked meeting times, how would you find the minimum number of meeting rooms required to hold all meetings without overlap? Choose the best approach.

hard

A. Sort intervals by start time, use a min-heap to track earliest end time, allocate rooms accordingly

B. Sort intervals by end time, merge all overlapping intervals into one

C. Count total intervals and subtract overlapping pairs

D. Sort intervals by length and assign rooms based on shortest first

Solution

1. Step 1: Understand the problem

   We need to find how many rooms are needed so no meetings overlap in the same room.

2. Step 2: Use sorting and min-heap

   Sort intervals by start time. Use a min-heap to track the earliest finishing meeting. If a meeting starts after the earliest ends, reuse that room; else allocate a new room.

3. Final Answer:

   Sort intervals by start time, use a min-heap to track earliest end time, allocate rooms accordingly -> Option A

4. Quick Check:

   Min rooms = track earliest end with heap [OK]

Hint: Use min-heap on end times after sorting by start [OK]

Common Mistakes:

• Merging intervals instead of counting overlaps
• Sorting by length instead of start time
• Ignoring the need to track multiple rooms