已知两个非降序链表序列s1与s2，设计算法实现s1与s2的交集操作。

### 回答1：
可以使用双指针的方法，分别遍历s1和s2，比较当前指向的元素大小，如果相等则加入交集中，否则将指向较小元素的指针向后移动一位，直到其中一个链表遍历完为止。时间复杂度为O(m+n)，其中m和n分别为两个链表的长度。

### 回答2：
交集操作是指求出两个集合中共有的元素。对于两个非降序链表序列s1和s2，我们可以使用双指针的方法来实现求交集操作。

我们可以定义两个指针p1和p2，分别指向s1和s2的头节点。然后对于每一个节点，我们比较它们的值，如果p1指向的节点的值小于p2指向的节点的值，则将p1向后移动一位；反之，如果p2指向的节点的值小于p1指向的节点的值，则将p2向后移动一位；否则，将当前节点的值加入到结果链表中，并将p1和p2同时向后移动一位。

这个算法的时间复杂度为O(m+n)，其中m和n分别为s1和s2的长度。因为我们每次移动的时候，最多只会移动一次p1或p2，所以移动的次数最多为m+n次。

具体的实现可以参考如下的代码：

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

ListNode* intersection(ListNode* s1, ListNode* s2) {
    ListNode dummy(0);
    ListNode* cur = &dummy;

    ListNode* p1 = s1;
    ListNode* p2 = s2;

    while (p1 != NULL && p2 != NULL) {
        if (p1->val < p2->val) {
            p1 = p1->next;
        } else if (p2->val < p1->val) {
            p2 = p2->next;
        } else {
            cur->next = new ListNode(p1->val);
            cur = cur->next;
            p1 = p1->next;
            p2 = p2->next;
        }
    }

    return dummy.next;
}

在这个实现中，我们使用了一个哑节点dummy来简化代码。在求交集操作的过程中，我们用cur指针来维护结果链表的尾部，并不断将新的节点加入到结果链表中。

注意，在上面的代码中，我们将节点的值复制了一份，并用它来构造新的节点。这是为了避免修改s1和s2的原始值。

总之，使用双指针的方法可以很高效地求出两个非降序链表序列的交集。

### 回答3：
首先需要了解什么是非降序链表。非降序链表也被称为升序链表，是一种特殊的链表，它的每个节点都比它的前一个节点大或者相等。因此，给定两个非降序链表s1和s2，找出它们的交集其实就是找出它们之间相同的元素。

实现该算法的一种简单方法是使用双指针。假设两个链表分别为s1和s2，设定指针p1指向s1的头结点，指针p2指向s2的头结点。同时移动两个指针，比较它们指向的节点的值。

情况一：如果p1所指节点的值小于p2所指节点的值，则移动p1指向链表的下一个节点，继续比较下一个节点与p2节点的值。

情况二：如果p1所指节点的值大于p2所指节点的值，则移动p2指向链表的下一个节点，继续比较下一个节点与p1节点的值。

情况三：如果p1所指节点的值等于p2所指节点的值，则将它加入交集链表中，然后同时移动p1和p2指向下一个节点，继续比较它们指向的节点的值。

当p1或p2中任意一个指针到达链表的末尾时，表示已经找到了交集链表中的所有节点。将交集链表返回作为结果即可。

该算法的时间复杂度为O(m+n)，其中m和n分别为两个非降序链表的长度。因为该算法只需要遍历一次每个链表，所以可以保证它的时间复杂度是线性的。