 ## 1. Overview

In this tutorial, we’ll discuss how to merge two sorted arrays into a single sorted array and focus on the theoretical idea and provide the solutions in pseudocode form, rather than focusing on a specific programming language.

First, we’ll define the problem and provide an example that explains the meaning of merging two sorted arrays.

Second, we’ll discuss two approaches to solving the problem.

Finally, we’ll compare the provided approaches and discuss the case in which both of them have the same complexity.

## 2. Defining the Problem

The problem gives us two arrays, of size , and of size . Both arrays are sorted in the increasing order of their values.

In other words:  After that, the problem asks us to calculate the resulting array of size that contains all the elements from and . Note that, the resulting array must be sorted as well. In other words: To understand the idea in a better way, let’s take the following example: From the example, we can see that the array has elements, while the array has elements. Therefore, the resulting array has elements.

Also, the resulting array contains all the elements from and . For example, the array contains the value twice. On the other hand, contains the value once. Hence, the array contains the value three times.

Also, the resulting array contains all the elements sorted in the ascending order, similarly to the arrays and .

Now that we reached a good understanding of the problem, let’s dive into the solutions.

## 3. Naive Approach

Let’s discuss the naive approach firstly. After that, we can see how to improve it.

In the naive approach, we simply add all the elements from arrays and to . Then, we sort before returning it.

Take a look at its implementation: In the beginning, we’ll declare the resulting array of size . This array will hold the resulting answer to the problem. Also, we’ll initialize with zero that will point to the index on which to add the next element inside .

After that, we iterate over all the values inside and add them to the resulting array . Also, we perform the same operation for all the values inside .

Finally, we sort the array and return it as the resulting answer.

The complexity of the naive approach is , where is the number of elements inside the first array and is the number of elements inside the second one.

The reason for the complexity is that we can perform the sorting operation in .

## 4. Two-Pointers Approach

Let’s improve the naive approach.

### 4.1. Theoretical Idea

Suppose we want to find out the first element that should be added to the resulting array . It must be the smallest element inside and .

However, since both arrays and are sorted, then the smallest element of each of them is at the beginning. Therefore, we’ll add this value to .

Now, let’s imagine that we removed this smallest value from its array, and think about the problem again. We’ll need to find the new smallest element and add it to as well.

As a result, we can find a general approach to solve this problem. We start by defining two pointers and . Initially, will point to the first element in , and will point to the first element in . In each step, we’ll add the smallest value to and move the corresponding pointer one step forward.

Note that, since we always add the smallest value to , the resulting array will be sorted in the end.

Since the idea is clear now, we can jump to the implementation of this approach.

### 4.2. Implementation

Take a look at the implementation of the two-pointers approach: First of all, we’ll initialize two variables and with zero. These variables will serve as the needed two pointers. Therefore, will point to the current index inside , and will point to the current index inside .

Also, we’ll declare the array that will hold the resulting answer. Note that the array must be of size .

Next, we’ll iterate over all the indexes inside the resulting array . For each index, we’ll store the minimum value among and and move the corresponding pointer.

Nevertheless, we mustn’t forget about the case when either or reaches the end of their arrays. In this case, we must store the value from the other array and move its pointer.

Finally, we return the resulting array .

The complexity of the two-pointers approach is , where is the number of elements inside the first array and is the number of elements inside the second one.

## 5. Comparison

In the general case, the two-pointers approach has the lowest time complexity. However, there’s one case where the naive approach can be implemented with a complexity equal to the one of the two-pointers approach.

If all the elements inside and are relatively small, then we can sort the resulting array using the counting sort technique. In this case, the counting sort has a complexity of , where is the number of elements inside the array, and is the maximum number inside it.

Therefore, the complexity of the naive approach becomes , where is the number of elements inside the first array, is the number of elements inside the second array, and is the maximum value inside both arrays.

As a result, if , then the complexity of the naive approach becomes .

Note that this complexity is similar to the complexity of the two-pointers approach. We can’t obtain a better complexity because the resulting array has a size of . Hence, in the best case, we still need to iterate over its elements and fill them one by one without performing any more operations.

## 6. Conclusion

In this tutorial, we discussed the problem of merging two sorted arrays into a resulting sorted array.

In the beginning, we discussed the problem with an example.

After that, we provided two approaches to solve the problem. The first approach was the naive one, while the second one was the two-pointers approach.

Finally, we presented a comparison between both approaches and provided the case in which both the naive and the two-pointers approaches reach the same complexity. 