4）已知两个链表A和B分别表示两个集合，其元素递增排列。请设计算法求出两个集合A和B 的差集（即仅由在A中出现而不在B中出现的元素所构成的集合），并以同样的形式存储，同时返回该集合的元素个数c++。

为了找出两个递增排序链表A和B之间的差集，你可以采用双指针策略，并维护两个指针分别指向A和B的头部。遍历过程中，可以按以下步骤操作：

1. 初始化两个指针`pA` 和 `pB` 分别指向A和B链表的头部。
2. 当`pA` 或者 `pB` 有一个到达了尾部，则说明另一个链表中的元素都在差集中，将未遍历完的链表的剩余部分视为差集的元素。
3. 比较`pA` 和 `pB` 指向的节点值。如果`pA` 点的值小于`pB` 点的值，说明`pA` 所指的值在差集中，移动`pA` 到下一个节点。反之，如果`pA` 点的值大于`pB` 点的值，说明`pB` 所指的值在差集中，移动`pB` 到下一个节点。
4. 继续上述过程直到两者都遍历完，此时剩下的节点构成差集。

当遍历完成后，你需要统计差集的元素个数`c`，这通常就是`pA` 和 `pB` 中剩余节点的数量加上任一链表的尾部到另一个链表结束前的所有节点数量（因为它们是递增的，所以这部分都是差集元素）。

以下是C++伪代码描述这个算法：

struct ListNode {
    int val;
    ListNode* next;
    ListNode(int x) : val(x), next(NULL) {}
};

ListNode* findDifference(ListNode* A, ListNode* B) {
    ListNode *pA = A, *pB = B;
    int c = 0;

    while (pA && pB) {
        if (pA->val < pB->val) {
            // pA -> 集合A有，但在集合B中不存在
            c++;
            if (pA->next)
                pA = pA->next;
            else
                break;
        } else if (pA->val > pB->val) {
            // pB -> 集合B有，但在集合A中不存在
            if (pB->next)
                pB = pB->next;
            else
                break;
        } else { // 同时在集合A和B中
            pA = pA->next;
            pB = pB->next;
        }
    }

    // 计算剩余部分作为差集的元素
    c += (pA != NULL ? 1 : 0) + (pB != NULL ? 1 : 0);
    
    return pA; // 返回差集的头结点
}