合并两个有序链表：空间复杂度

Question

我在看following Geeks for Geeks problem：

给定两个有序链表，分别由 N 和 M 个节点组成。任务是合并列表（就地）并返回合并列表的头部。

示例 1

Input:
N = 4, M = 3  
valueN[] = {5,10,15,40}  
valueM[] = {2,3,20}  
Output: 2 3 5 10 15 20 40   
Explanation: After merging the two linked
lists, we have merged list as 2, 3, 5,
10, 15, 20, 40.   

下面的答案是GFG的答案。我不明白它的空间复杂度是 O(1)。我们正在创建一个新节点，所以它必须是 O(m+n)。

Node* sortedMerge(Node* head1, Node* head2)  
{  
    struct Node *dummy = new Node(0);  
    struct Node *tail = dummy;  
    while (1) {  
        if (head1 == NULL) {  
            tail->next = head2;  
            break;  
        }  
        else if (head2 == NULL) {  
            tail->next = head1;  
            break;  
        }
        if (head1->data <= head2->data){
            tail->next = head1;
            head1 = head1->next;
        }
        else{
            tail->next = head2;
            head2 = head2->next;
        }
        tail = tail->next;
    }
    return dummy->next;     
}  

有人能解释一下这里的空间复杂度是 O(1) 吗？

Answer 1

我不明白它的空间复杂度是 O(1)。由于我们正在创建一个新节点，所以它必须是 O(m+n)。

创建一个节点时为什么要O(m+n)？该节点的大小是一个常数，因此一个节点表示 O(1) 空间复杂度。创建一个节点与任一输入列表的大小无关。请注意，节点是在循环之外创建的。

实际上这样做是为了保持代码简单，但即使没有 dummy 节点也可以进行合并。