Merge logic

Two pointers — O(n+m).

Try this in Python

def merge(a, b):
    i = j = 0
    out = []
    while i < len(a) and j < len(b):
        if a[i] <= b[j]:
            out.append(a[i])
            i += 1
        else:
            out.append(b[j])
            j += 1
    return out + a[i:] + b[j:]

print(merge([1, 3], [2, 4]))

Key takeaways

• Stability <=.
• Inversions in merge.
• Linked list variant.