C语言实现各依次输入递增有序若干个不超过100的整数，分别建立两个递增有序单链表，分别表示集合A和集合B。设计算法求出两个集合A和B 的差集（即仅由在A中出现而不在B中出现的元素所构成的集合），并存放于A链表中。要求结果链表仍使用原来两个链表的存储空间, 不另外占用其它的存储空间。然后输出求的差集的单链表。测试数据保证结果链表至少存在一个元素。

这是一个算法问题，可以回答。以下是解答：

首先需要遍历集合A链表，然后对于每个元素，查看是否在集合B链表中出现。如果是，则将该元素从集合A链表中删除；否则，保留该元素。最终结果就是仅在集合A中出现而不在集合B中出现的元素所构成的集合。

具体实现，可以按照以下步骤：

1. 定义指针pA和pB，分别指向集合A和集合B的头结点。
2. 定义指针pPrevA和pPrevB，分别指向pA和pB指向节点的前驱节点。
3. 遍历集合A链表，如果当前节点的值小于集合B链表的当前节点的值，则pA和pPrevA分别向后移动一位；如果当前节点的值大于集合B链表的当前节点的值，则pB和pPrevB分别向后移动一位，直到两个链表的当前节点值相等或者pB指向链表B的尾节点。
4. 如果找到了相等的值，则从集合A中删除该节点。具体而言，是将pPrevA的next指针指向pA的next指针所指向的节点，然后释放pA指针所指向的节点。此时只需将pA指针后移一位，pPrevA指针不变。
5. 如果pA指向链表A的尾节点，则退出循环。
6. 输出最终结果链表A。

注意，由于题目要求不能占用额外的存储空间，因此需要在原来的链表上进行修改，不能新建节点。实现时需要注意指针操作的细节。