已知递增有序的两个单链表A，B分别存储了一个集合。用c语言设计算法实现求两个集合的交集的运算A=A∩B。

在C语言中，我们可以采用双指针法来解决这个问题。假设`ListNode`是一个链表节点的数据结构，包含整数值`val`和指向下一个节点的指针`next`，你可以按照以下步骤设计算法：

1. 初始化两个指针`pA`和`pB`，分别指向链表A和B的头结点。

2. 创建一个新的空链表`result`，用于存放结果集合的元素。

3. 循环遍历，直到其中一个链表结束：
a. 比较当前节点`pA`和`pB`的值，如果相等，则将该节点添加到结果链表`result`中，并同时移动两个指针到下一个节点，继续比较。
b. 如果`pA`的值小于`pB`的值，说明我们需要检查`pA`之后的节点，所以只移动`pA`。
c. 否则，如果`pA`的值大于`pB`的值，说明我们需要检查`pB`之后的节点，所以只移动`pB`。

4. 当遍历完其中一个链表，另一个链表还有剩余时，这个链表中剩下的节点肯定不在交集中，不需要再继续比较。

5. 遍历结束后，`result`链表就是两个集合的交集。

以下是伪代码表示：

struct ListNode* findIntersection(struct ListNode* A, struct ListNode* B) {
    struct ListNode *pA = A, *pB = B;
    while (pA && pB) {
        if (pA->val == pB->val) {
            // 将当前节点加入结果并移动指针
            addNodeToResult(pA);
            pA = pA->next;
            pB = pB->next;
        } else if (pA->val < pB->val) {
            pA = pA->next;
        } else {
            pB = pB->next;
        }
    }
    return resultHead; // 返回结果链表的头结点
}

void addNodeToResult(struct ListNode* node) {
    // 添加节点到结果链表中...
}