2424. Longest Uploaded Prefix

MediumUnion FindDesignBinary Indexed TreeSegment TreeBinary SearchOrdered SetHeap (Priority Queue)

Problem Description

In this problem, we are tasked with simulating the upload process of a series of videos to a server. Each video has a unique identifier ranging from 1 to n. Our goal is to keep track of the longest continuous sequence of uploaded videos, starting from video 1. To express this sequence, we refer to it as the "longest uploaded prefix," where a prefix is defined as a sequence of videos from 1 to i, inclusive, where i represents the end of this prefix. All the videos within that range must have been successfully uploaded for the prefix to be considered complete.

The following operations need to be implemented within a LUPrefix class:

LUPrefix(int n): Construction of the data structure to handle n videos.
void upload(int video): Handles the upload of a video represented by an integer.
int longest(): Returns the length of the longest uploaded prefix after the various uploads that occurred since the last check or initialization.

The main challenge of this problem is efficiently updating and finding the longest uploaded prefix as each new video is uploaded, especially when uploads might happen out of order.

Intuition

The solution to this problem requires a strategy to efficiently track the videos that are uploaded and to quickly determine the longest uploaded prefix. A naive approach would be to check every video from 1 to n whenever a new video is uploaded, but this would result in a lot of unnecessary work since we would be repeatedly checking videos we have already verified.

The intuition behind this approach is to use a combination of a counter and a set to track the uploads. self.r represents the rightmost edge of the longest uploaded prefix found so far, and the set self.s is responsible for keeping track of the individual videos that have been uploaded. Whenever a new video is uploaded, we add it to the set. Then, we simply check if the video next to the current rightmost edge (self.r + 1) has been uploaded. If it has, we update the rightmost edge by incrementing self.r and continue this process until the next video in the sequence is missing from the set. This way, we can efficiently maintain the length of the longest uploaded prefix by only checking the next video in line whenever a new upload occurs.

This strategy is efficient because the set provides constant time (O(1)) operations for adding videos and checking for their existence. The counter self.r minimizes work by only considering the immediate next candidate for the longest prefix, rather than starting from the beginning every time.

By doing this, we ensure that each upload can be processed in O(1) average time complexity, given that the while loop in upload will run at most n times across all calls (amortized analysis), and each call to longest() will be O(1) as it simply returns the value of self.r.

Learn more about Union Find, Segment Tree, Binary Search and Heap (Priority Queue) patterns.

Solution Approach

The solution for the Longest Uploaded Prefix problem uses a simple yet effective algorithm that revolves around two main components: a counter (self.r) and a set (self.s). Here's how each part of the LUPrefix class works:

Initialization (__init__ method): The constructor initializes two attributes:
- self.r starts at 0, which indicates that initially, there is no uploaded prefix as we start counting from 1.
- self.s is an empty set that will store the video numbers as they are uploaded.
Upload (upload method): Every time a video is uploaded, its number is added to the set self.s. After adding it to the set, we check if the next sequential video (self.r + 1) is in the set:
- If it is, we increment self.r by 1, since this extends our uploaded prefix.
- We continue incrementing self.r and checking the next number in the sequence until we reach a number that isn't in the set. This is handled by the while loop which only runs as long as the next video in sequence is found in the set, indicating a contiguous uploaded prefix.
The use of a while loop here is essential, as it could be the case that earlier uploads were not sequential, and multiple contiguous videos got uploaded in a batch. With the loop, we can "catch up" and expand the longest uploaded prefix as needed.
Longest (longest method): This method simply returns the current value of self.r, which, by the design of the upload method, is always the length of the longest uploaded prefix. Since self.r is always kept up-to-date whenever upload is called, longest is a constant time operation.

Overall, the algorithm takes advantage of the properties of a set to efficiently handle insertions and lookups, thereby enabling a quick update of the longest uploaded prefix. The loop inside the upload method guarantees that the counter self.r correctly reflects the longest sequence after each video upload. The amortized time complexity for each upload operation can be considered O(1) since the updates to self.r in the while loop will be distributed over many calls to the upload method.

By keeping track of the uploaded videos and the length of the longest uploaded prefix in such a manner, we ensure efficient uploads and instantaneous retrievals of the longest uploaded prefix length, which makes the solution both elegant and practical for the problem at hand.

Ready to land your dream job?

Unlock your dream job with a 2-minute evaluator for a personalized learning plan!

Start Evaluator

Example Walkthrough

Let's consider a scenario where we have a sequence of 7 videos to upload, identified by numbers from 1 to 7. According to the solution approach, we will walk through a series of calls to the upload and longest methods to illustrate how the solution works.

Instantiate LUPrefix object:
- We create a LUPrefix object for 7 videos, initializing self.r to 0 and self.s to an empty set.
```
lup = LUPrefix(7)
```
Upload video 3:
- We call upload(3), which adds video 3 to self.s. The set now contains {3}. Since self.r is 0 and the next video in line (video 1) has not been uploaded, self.r remains unchanged.
```
lup.upload(3)
print(lup.longest())  # Output: 0
```
Upload video 1:
- Next, we call upload(1). Video 1 is added to self.s, which now contains {1, 3}. This time, because video 1 is the next in the sequence from self.r (self.r + 1), we increment self.r to 1. We then check if video 2 (self.r + 1) is in the set, but it's not, hence self.r stops at 1.

Check the longest uploaded prefix:

Calling longest() returns 1, since we now have the first video uploaded.

lup.upload(1)
print(lup.longest())  # Output: 1

Upload video 2:
- We call upload(2) and add video 2 to self.s, which becomes {1, 2, 3}. Since self.r is 1, and now video 2 is the next sequential video in the set, we increment self.r to 2. Immediately afterward, we check if video 3 is in the set (it is), so we increment self.r to 3, completing a prefix of {1, 2, 3}.
```
lup.upload(2)
print(lup.longest())  # Output: 3
```

Upload video 5:

Uploading video 5 with upload(5) adds it to the set, now {1, 2, 3, 5}. self.r remains at 3 since video 4 is not in self.s.

lup.upload(5)
print(lup.longest())  # Output: 3

Upload video 4:
- By uploading video 4, the set becomes {1, 2, 3, 4, 5}. Now that video 4 has been uploaded, we can extend self.r to 4, and subsequently to 5, since the next in the sequence, video 5, is also present.
```
lup.upload(4)
print(lup.longest())  # Output: 5
```
Final state:
- The longest() method continues to return 5, as videos 6 and 7 have not been uploaded. If they were uploaded, self.r would be updated accordingly.

Through this example, it is evident that the set and counter mechanism within the LUPrefix class allows for tracking the longest contiguous uploaded video sequence efficiently. We can see how the upload method updates self.r only when necessary, avoiding redundant checks and enabling a quick return from the longest method.

Solution Implementation

1class LUPrefix:
2    def __init__(self, n: int):
3        self.next_video = 1  # The number representing the next video in the sequence to be watched.
4        self.uploaded_videos = set()  # A set to keep track of all uploaded videos.
5
6    def upload(self, video: int) -> None:
7        # Adds the uploaded video to the set of uploaded videos.
8        self.uploaded_videos.add(video)
9        # Loop to find the longest consecutive sequence starting from the next video.
10        while self.next_video in self.uploaded_videos:
11            # Increment next_video since the current next_video has been found in the uploaded videos.
12            self.next_video += 1
13
14    def longest(self) -> int:
15        # Returns the latest video number up to which all videos have been uploaded in sequence.
16        # Because next_video is always looking for the next video to watch, 
17        # we return next_video - 1 to indicate the last video that can be watched in sequence.
18        return self.next_video - 1
19

1class LUPrefix {
2    private int consecutiveRange; // tracks the longest consecutive range of uploaded videos starting from 1
3    private Set<Integer> uploadedVideos = new HashSet<>(); // stores the uploaded video numbers
4      
5    /**
6     * Constructor which initializes the LUPrefix object.
7     * @param n Total number of videos (not used since we are determining the range dynamically).
8     */
9    public LUPrefix(int n) {
10        // The constructor does not need any logic since we're managing videos dynamically.
11        // Videos start being relevant from the first upload, so no setup required.
12    }
13  
14    /**
15     * Processes the upload of a video.
16     * @param video Number of the video being uploaded.
17     */
18    public void upload(int video) {
19        uploadedVideos.add(video); // Add the uploaded video number to the set
20      
21        // Check if the next consecutive video is already uploaded. If so, increment the range.
22        while (uploadedVideos.contains(consecutiveRange + 1)) {
23            consecutiveRange++;
24        }
25    }
26  
27    /**
28     * Returns the longest consecutive range of videos starting from video number 1.
29     * @return The length of the longest consecutive range.
30     */
31    public int longest() {
32        return consecutiveRange;
33    }
34}
35
36/**
37 * Sample usage of the LUPrefix class is as follows, though it is not expected to be part of the rewritten code:
38 * LUPrefix obj = new LUPrefix(n); // Instantiate with the total number of videos n.
39 * obj.upload(video);              // Call upload() method whenever a video is uploaded.
40 * int param_2 = obj.longest();    // Call longest() method to get the longest consecutive uploaded video range starting from 1.
41 */
42

1#include <unordered_set>
2
3// The LUPrefix class is designed to handle video uploads and track the longest
4// consecutive sequence of videos starting from 1 without any gaps.
5class LUPrefix {
6public:
7    // Constructor initializes the object with the total number of videos.
8    // Since we're tracking the longest sequence from the beginning, no other setup is needed.
9    LUPrefix(int n) {
10        // No need to use 'n' as the problem defined doesn't store all videos, 
11        // just tracks the consecutive sequence from the start.
12    }
13
14    // upload is a method to simulate the uploading of a video.
15    // The video number is added to a set for tracking and the longest consecutive
16    // sequence is updated.
17    void upload(int video) {
18        // Insert the video into the set.
19        uploadedVideos.insert(video);
20
21        // Check if the next consecutive video number is present;
22        // if so, increment the counter for the longest sequence.
23        while (uploadedVideos.count(longestSequence + 1)) {
24            ++longestSequence;
25        }
26    }
27
28    // longest returns the length of the longest consecutive sequence of videos
29    // starting from video number 1.
30    int longest() {
31        // Return the current counter which is the length of the longest sequence.
32        return longestSequence;
33    }
34
35private:
36    // Private data member to track the longest sequence starting from video 1.
37    int longestSequence = 0;
38    // A set to keep track of which videos have been uploaded.
39    unordered_set<int> uploadedVideos;
40};
41
42// Usage example (not part of submitted code, just for reference):
43// LUPrefix* obj = new LUPrefix(n);
44// obj->upload(video);
45// int lengthOfSequence = obj->longest();
46

1// A set to keep track of which videos have been uploaded.
2const uploadedVideos: Set<number> = new Set();
3
4// Variable to track the longest sequence starting from video 1.
5let longestSequence: number = 0;
6
7/**
8 * Simulates the upload of a video and updates the longest consecutive sequence.
9 * @param {number} video - The number of the video being uploaded.
10 */
11function upload(video: number): void {
12    // Insert the video number into the set of uploaded videos.
13    uploadedVideos.add(video);
14
15    // Check if the next consecutive video number is present;
16    // if so, increment the counter for the longest sequence.
17    while (uploadedVideos.has(longestSequence + 1)) {
18        longestSequence++;
19    }
20}
21
22/**
23 * Gets the length of the longest consecutive sequence of videos
24 * starting from video number 1.
25 * @return {number} The current length of the longest sequence.
26 */
27function longest(): number {
28    // Return the current length of the longest continuous sequence from the start.
29    return longestSequence;
30}
31
32// Example usage:
33// upload(1);
34// upload(3);
35// upload(2);
36// const lengthOfSequence: number = longest(); // This would return 3
37

Time and Space Complexity

Time Complexity

The upload method has a time complexity of O(1) for adding a video to the set (self.s.add(video)). However, the while loop checking for the next video (while self.r + 1 in self.s) can iterate up to n times in the worst-case scenario, where n is the number of videos. Therefore, in the worst-case scenario, the time complexity of upload could be O(n), but the amortized time complexity over a sequence of operations is O(1) since each video gets uploaded only once.

The longest method simply returns the current value of self.r, which is a direct access operation with a time complexity of O(1).

Space Complexity

The space complexity is dominated by the set self.s that stores the uploaded videos. In the worst-case scenario, when all n videos have been uploaded, the space complexity is O(n), where n is the number of videos. The rest of the variables use constant space.

Learn more about how to find time and space complexity quickly using problem constraints.

Discover Your Strengths and Weaknesses: Take Our 2-Minute Quiz to Tailor Your Study Plan:

Question 1 out of 10

Which of these properties could exist for a graph but not a tree?

Contain cycles

There are multiple ways to traverse

Connected

Has no cycle

I don’t know