Skip to content
Skilled.dev

Free lesson walkthrough · TypeScript

Merge sorted linked lists in TypeScript: Combine Blockchains

Merge two sorted linked chains while preserving duplicate timestamps. Follow the TypeScript implementation, its correctness argument, worked example, complexity, and boundary tests.

4 min read · Worked code, edge cases, and complexity

Merge two nonempty singly linked chains whose timestamps are already sorted in ascending order. Return one chain containing every original timestamp in sorted order, including duplicates. For [1, 4, 8] and [2, 4, 9], the merged values are [1, 2, 4, 4, 8, 9]. The blockchain framing does not require cryptographic operations; the task is sorted linked-list merging.

Compare the two remaining heads

At any step, the smallest remaining timestamp must be at the head of one of the two unconsumed chains. Compare those heads, choose the smaller one, and advance only the chain that contributed it. There is no need to scan either chain to find another minimum because its own ordering already supplies that information.

The implementation first selects a result head and initializes a result tail to it. It then repeats the same selection while both chains still have nodes. Attach the selected node after the result tail, advance the contributing pointer, and move the tail to the node just attached. Keep the result head fixed throughout the traversal.

Trace duplicate timestamps

For the example, choose 1 before 2, then choose 2 before 4. Both remaining heads now contain 4. Either can be chosen first because the required output is ordered by timestamp alone. After consuming one four, the other still remains at its chain's head and will also be attached.

Using a strict less-than comparison chooses from the second chain on a tie in several versions. That is a deterministic tie policy, but it does not promise stability across separate chains. If records carry an original global ordering that must be preserved, define that ordering explicitly and make the tie comparison reflect it.

Attach an exhausted chain's remainder

Once one chain is empty, every node left in the other chain is already sorted. Its first node is no smaller than the current result tail, because the preceding selection chose the smallest available head. Connect that entire suffix to the result tail in one link assignment.

The invariant is that the result prefix is sorted and contains exactly the nodes already consumed from the two inputs. Choosing the minimum head preserves both properties. Attaching the sorted remainder finishes the result without dropping or duplicating any timestamp. Returning the moving tail would expose only the last node; return the fixed result head.

Understand mutation and storage

The reference-based versions reuse nodes by changing their next links. A caller should regard the original chains as consumed by the merge. Rust's owned representation makes that transfer explicit by taking nodes from their input options and moving them into the result. Do not claim the original separate chains remain intact unless the implementation deliberately clones them.

For chain lengths n and m, time is O(n + m). Iterative relinking uses O(1) auxiliary link state. A recursive merge would use up to O(n + m) call frames. A version that creates replacement nodes instead of moving them needs O(n + m) new storage, so check the actual code when discussing a language adaptation.

Exercise the boundaries

Use two singleton chains, one chain entirely before the other, alternating timestamps, equal timestamps across chains, and unequal chain lengths. Check that the output length is n + m and that its multiset of timestamps equals the union of the inputs. Traverse with a bound to detect accidental cycles.

The lesson's chosen solution assumes both initial heads exist. Supporting an empty input requires an early return of the other chain before reading either head's data. For a follow-up with k sorted chains, a heap can choose the smallest available head in O(log k) per node. Repeatedly scanning all k heads would add a linear factor in k.

TypeScript implementation

The node parameters are mutable references. Reassigning combinedTail.next joins original chains, so callers should treat both inputs as consumed.

The TypeScript annotations describe the course input contract; they do not validate arbitrary JSON at runtime. Numeric values use JavaScript numbers, including the same safe integer limit. Array and object mutations are visible through shared references. Keep the declared entry name and return shape when moving the implementation into the lesson editor.

const combineBlockchains = (chainHead1: ListNode, chainHead2: ListNode): ListNode => {
  // Store the head of the first item in the combined chain
  const resultHead = chainHead1.data < chainHead2.data ? chainHead1 : chainHead2;
  // Init the combined list with the first item
  let combinedTail = resultHead;
  let currentNode1 = chainHead1;
  let currentNode2 = chainHead2;

  // Move the node forward that was already added to our resultHead
  if (chainHead1.data < chainHead2.data) {
    currentNode1 = currentNode1.next;
  } else {
    currentNode2 = currentNode2.next;
  }

  // We iterate through until one of the linked lists has been depleted
  while (currentNode1 !== null && currentNode2 !== null) {
    // In either case, we do the same thing.
    // We attach the node to our combined list,
    // and then we move forward in the contributed chain's list
    if (currentNode1.data < currentNode2.data) {
      combinedTail.next = currentNode1;
      currentNode1 = currentNode1.next;
    } else {
      combinedTail.next = currentNode2;
      currentNode2 = currentNode2.next;
    }

    // Move to the new tail in the combined chain
    combinedTail = combinedTail.next;
  }

  // One of the chains has been depleted (reached null)
  // The other has it's remaining items in sorted order,
  // so we can just set the next value of our
  // combined list to the non-null node
  combinedTail.next = currentNode1 || currentNode2;

  // ^ NOTE: We use || above which is a short circuit evalution.
  // If currentNode1 has a value, it will be the `next`,
  // otherwise it will yield to currentNode2

  return resultHead;
};

Practice this implementation

Open Combine Blockchains to run the implementation against the course tests, then change one boundary condition and explain the first failing case. The editor supplies the starter signature and any node types or helper APIs used above. Copy the implementation into that environment; the snippet is the solution body, without the input parser or test driver. Your saved progress belongs to the original lesson.

For more TypeScript conventions and practice problems, use the TypeScript interview guide.

Try the exercise

Write your own implementation in the course editor. This walkthrough belongs to the same lesson; your course progress stays with that exercise. Exercise access follows the course’s access settings.