369. Plus One Linked List

Problem Description

The problem is about incrementing a given non-negative integer by one. However, the integer isn't represented in the traditional numerical form; it's represented as a linked list, with each node containing a single digit. The head of the linked list contains the most significant digit (MSD), while the tail contains the least significant digit (LSD). For example, the integer 123 would be represented as a linked list 1 -> 2 -> 3.

The goal is to add one to this integer and return the resulting linked list following the same MSD to LSD format. The problem must be solved in such a way that the linked list structure is mantained, without converting the entire list to an integer or a series of strings.

Intuition

To intuitively approach this solution, we need to think about how we generally add one to a number. Starting from the LSD, we add one; if this causes a digit to exceed 9, it rolls over to 0, and we add 1 to the next significant digit, continuing this process until there are no more rollovers or we've reached the MSD.

Following this idea in a linked list, we first need to locate the right-most digit that is not a 9. This digit is important because it's the one that will potentially increase by one. All digits to the right of it will become zero if there's a rollover. If all digits are 9, we'll need a new node to accommodate the extra digit generated from the rollover (from 999 to 1000, for instance).

Here’s a step-by-step breakdown of the approach:

Use a sentinel (dummy) node at the start of the list to handle cases when a new digit must be added (a new MSD).
Traverse the linked list to find the rightmost node whose value is not 9. This node is named target. If all digits are 9, target will remain as the dummy node.
Increment the target node's value by 1.
Set all nodes to the right of target (if any) to 0, as these have been "rolled over".
If the dummy node's value is 0, it means no new MSD was added and we can return the original head. Otherwise, return the dummy node as it now contains the new MSD.

This approach works due to the linked list's inability to be accessed randomly (we can't go back once we pass a node), making it necessary to mark the last non-9 whilst initially traversing the list. This will prevent us from needing a second full traversal.

Learn more about Linked List and Math patterns.

Solution Approach

The solution makes use of a simple linked list traversal and manipulation approach. We follow the below steps algorithmically:

Initialization:
- Create a dummy node (dummy) with 0 as its value, which will precede our original linked list. This helps in scenarios where a carry over might add an additional digit to the front. dummy.next is pointed to the head of the input list.
- Initialize a variable target to point to the dummy node. This target variable will be used to remember the position in the list where we might later add one.
Traverse the List:
- Using a while loop, we start to traverse the list starting from the head while checking for a condition, head != None. This condition ensures we stop at the end of the list.
- During traversal, we look for the right-most node that is not a 9. We update target to point to this node each time we encounter a non-9 value.
Increment the Target Value:
- After the traversal, we know the target node is the right-most node that isn't 9. We increment target.val by 1.
Handle Rollover:
- Move target to its next node.
- Continue another loop to set all the following values to 0, turning all 9s that come after the incremented value into 0s (as they have been rolled over).
Return the Modified List:
- If the dummy node's value is still 0, it implies the increment did not add a new digit, so we return dummy.next as the head of the updated list.
- If the dummy node's value is 1, it implies a new digit has been added due to a carry (for example, from 999 to 1000), so we return the dummy node itself as it is now the head of the updated list.

In terms of data structures, we simply use the given linked list nodes and a single additional node for the dummy. The space complexity of the algorithm is O(1) since we are modifying the input linked list in place and only using a fixed number of extra variables. The time complexity of the algorithm is O(n), where n is the number of nodes in the linked list, since we are potentially traversing the entire list.

The patterns used in the solution include the two-pointer technique as well as the sentinel node pattern. The two-pointer technique, in this case, involves the target and head pointers to traverse and modify the input list. The sentinel node pattern is used to simplify operations at the head of the list, allowing us to handle edge cases more gracefully.

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 linked list that represents the integer 129:

1 -> 2 -> 9

Here's a step-by-step walkthrough of the solution approach with this example:

Initialization:
- Create a dummy node with a value 0 and connect it to the head of the list. The list now looks like 0 -> 1 -> 2 -> 9. Initialize the target to point to dummy.
Traverse the List:
- Start traversing the list: Move to 1. Since 1 is not 9, update target to this node.
- Move to 2. Since 2 is not 9, update target to this node.
- Move to the final node 9. Keep target at 2 as the final node is indeed a 9.
Increment the Target Value:
- target is pointing to the node with value 2. Increment this node's value by 1. The list now temporarily looks like 0 -> 1 -> 3 -> 9.
Handle Rollover:
- Set all nodes to the right of target to 0. This is just the final node in this example. Now the list looks like 0 -> 1 -> 3 -> 0.
Return the Modified List:
- Check the dummy node. It still has the value 0, so no new MSD has been added. Thus, the head of the updated list is dummy.next.
- The final resulting list is 1 -> 3 -> 0, which represents the integer 130.

The example illustrates the given steps, showing how to navigate and modify the list without turning it into another data type. This results in a linked list that represents the initial number incremented by 1.

Solution Implementation

1class ListNode:
2    def __init__(self, val=0, next_node=None):
3        self.val = val
4        self.next = next_node
5
6class Solution:
7    def plusOne(self, head: ListNode) -> ListNode:
8        # Create a dummy node before the head to handle edge cases easily
9        dummy = ListNode(0)
10        dummy.next = head
11      
12        # This variable will keep track of the last node before the sequence of 9's
13        non_nine_node = dummy
14      
15        # Traverse the linked list to find the last node that is not a '9'
16        while head:
17            if head.val != 9:
18                non_nine_node = head
19            head = head.next
20      
21        # Increase the value of the last non-nine node by 1
22        non_nine_node.val += 1
23      
24        # Make 'current' point to the node right after the incremented node
25        current = non_nine_node.next
26      
27        # Set all the nodes after the last non-nine node to '0'
28        while current:
29            current.val = 0
30            current = current.next
31      
32        # If the dummy node's value is '0', it means the linked list doesn't have leading zeros
33        # If the dummy node's value is not '0', the list starts with a '1' followed by zeros
34        return dummy if dummy.val != 0 else dummy.next
35

1/**
2 * Definition for singly-linked list.
3 */
4public class ListNode {
5    int val; // Value of the node
6    ListNode next; // Reference to the next node
7
8    ListNode() {}
9    ListNode(int val) { this.val = val; }
10    ListNode(int val, ListNode next) {
11        this.val = val;
12        this.next = next;
13    }
14}
15
16class Solution {
17    public ListNode plusOne(ListNode head) {
18        // Create a dummy node which initially points to the head of the list
19        ListNode dummy = new ListNode(0);
20        dummy.next = head; // Connect the dummy node to the head of the list
21        ListNode notNine = dummy; // This will point to the last node not equal to 9
22
23        // Traverse the list to find the rightmost not-nine node
24        while (head != null) {
25            if (head.val != 9) {
26                notNine = head; // Update the rightmost not-nine node
27            }
28            head = head.next; // Move to the next node
29        }
30
31        // Increment the value of the rightmost not-nine node
32        notNine.val += 1;
33
34        // Set all the nodes right to the increased node to 0
35        ListNode current = notNine.next;
36        while (current != null) {
37            current.val = 0;
38            current = current.next; // Move to the next node
39        }
40
41        // Check if dummy node has the incremented value (meaning carry was there)
42        // If dummy val is 1, return the dummy node, else return the original list without the dummy
43        return dummy.val == 1 ? dummy : dummy.next;
44    }
45}
46

1/**
2 * Definition for singly-linked list.
3 * struct ListNode {
4 *     int val;
5 *     ListNode *next;
6 *     ListNode() : val(0), next(nullptr) {}
7 *     ListNode(int x) : val(x), next(nullptr) {}
8 *     ListNode(int x, ListNode *next) : val(x), next(next) {}
9 * };
10 */
11class Solution {
12public:
13    // Function to add one to a number represented as a linked list.
14    ListNode* plusOne(ListNode* head) {
15        // Create a dummy head in case we need to add a new head (e.g., 999 + 1 = 1000).
16        ListNode* dummyHead = new ListNode(0);
17        dummyHead->next = head;
18      
19        // 'nonNineNode' will point to the rightmost node that is not a 9 or to the dummy head.
20        ListNode* nonNineNode = dummyHead;
21      
22        // Traverse the list to find the rightmost node that is not a 9.
23        while (head != nullptr) {
24            if (head->val != 9) {
25                nonNineNode = head;
26            }
27            head = head->next;
28        }
29      
30        // Increment the value of the rightmost non-nine node.
31        ++nonNineNode->val;
32      
33        // Move to the next node, which is the first in the sequence of 9's.
34        nonNineNode = nonNineNode->next;
35      
36        // Reset all the following 9's to 0's because we've already added one to the preceding digit.
37        while (nonNineNode != nullptr) {
38            nonNineNode->val = 0;
39            nonNineNode = nonNineNode->next;
40        }
41      
42        // If the dummy head's value was changed, it means we added a new digit, so we return the dummy head.
43        // Otherwise, we return the original head of the list.
44        return dummyHead->val == 1 ? dummyHead : dummyHead->next;
45    }
46};
47

1// Definition for singly-linked list node.
2interface ListNode {
3  val: number;
4  next: ListNode | null;
5}
6
7// Function to create a new ListNode.
8function createListNode(val: number, next: ListNode | null = null): ListNode {
9  return { val: val, next: next };
10}
11
12// Function to add one to a number represented as a linked list.
13function plusOne(head: ListNode | null): ListNode | null {
14  // Create a dummy head in case we need to add a new head (e.g., from 999 + 1 = 1000).
15  let dummyHead = createListNode(0);
16  dummyHead.next = head;
17
18  // 'nonNineNode' will point to the rightmost node that is not a 9, or to the dummy head if all are 9s.
19  let nonNineNode: ListNode = dummyHead;
20
21  // Traverse the list to find the rightmost node that is not a 9.
22  while (head !== null) {
23    if (head.val !== 9) {
24      nonNineNode = head;
25    }
26    head = head.next;
27  }
28
29  // Increment the value of the rightmost non-nine node.
30  nonNineNode.val++;
31
32  // Move to the next node, which is the first in the sequence of 9s after the incremented digit.
33  nonNineNode = nonNineNode.next;
34
35  // Reset all the following 9s to 0s because we have added one to the preceding digit.
36  while (nonNineNode !== null) {
37    nonNineNode.val = 0;
38    nonNineNode = nonNineNode.next;
39  }
40
41  // If the dummy head's value was changed, it means we added a new digit at the start, so return the dummy head.
42  // Otherwise, return the original head of the list.
43  return dummyHead.val === 1 ? dummyHead : dummyHead.next;
44}
45

Time and Space Complexity

Time Complexity

The given Python code traverses the linked list twice. In the first traversal, it looks through all the nodes to find the last node before a sequence of '9's that needs to be incremented. In the worst case, this traversal looks at every node exactly once, resulting in a time complexity of O(n), where n is the length of the linked list.

The second traversal occurs after the increment and only traverses the portion of the list that consists of '9's, turning them into '0's. In the worst case, this could again traverse the entire list (in the case that all nodes are '9's except the first), giving this traversal a time complexity of O(n) as well.

The total worst-case time complexity, combining both traversals, remains O(n) because the constants do not matter for Big O notation and the list is only traversed a constant number of times (specifically, twice).

Space Complexity

The space complexity of the algorithm is dependent on the additional variables defined in the method and not on the input size. The method uses a few constant extra space for pointers (dummy, target, and head), and does not create any additional data structures that grow with the input size. Therefore, the space complexity is O(1). The dummy node created does not count as extra space since it's only a fixed-size pointer to the existing list (and not extra nodes being created).

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:

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