13.应用题：设指针变量p指向双向链表中结点A，指针变量a指向被插入结点B，要求给 出在结点A的后面插入结点B的操作序列（设双向链表中的两个指针域分别为link和 rlink)。

首先，我们假设双向链表的结构如下：

struct Node {
    ElemType data;     // 节点数据
    struct Node* link;   // 指向前一个节点的指针
    struct Node* rlink;  // 指向后一个节点的指针
};

在结点A（`p`）之后插入结点B（`a`）的操作序列可以按照以下步骤进行：

1. **检查插入位置**：
- 确保 `p` 不为空（`p` ≠ `NULL`）。

2. **设置B的链接**：
- 将 `a->link` 指向 `p`（因为 `a` 应该紧跟在 `p` 后面）。
- 如果 `p->rlink` 不为空，则将 `a->rlink` 初始化为 `p->rlink`。

3. **调整A和B的连接**：
- 如果 `p->rlink` 不为空，说明 `p` 已经有了后继，那么更新 `p->rlink->link` 为 `a`，使其成为 `a` 的前驱。

4. **更新A的后继**：
- 将 `p->rlink` 设置为 `a`。

完整的操作序列可以表示为 C 语言代码：

if (p != NULL) {
    a->link = p;
    if (p->rlink != NULL) {
        a->rlink = p->rlink;
        p->rlink->link = a;
    }
    p->rlink = a;
}

这就是在双向链表节点 A 之后插入节点 B 的基本操作。