PAT甲级链表题解析：双指针法寻找公共节点

1. 题目背景与核心考点解析

这道PAT甲级真题"Sharing (25)"考察的是链表操作中的经典问题——寻找两个链表的第一个公共节点。作为PAT考试中的高频题型，这类题目不仅检验考生对链表结构的理解深度，更考验处理边界条件的编程能力。

在实际软件开发中，类似场景经常出现在内存管理、文件系统等底层设计中。比如Linux内核中多个进程共享同一内存区域时，就需要快速定位共享起始点。题目给出的链表结构通常是静态链表（使用数组模拟），这与传统动态分配内存的链表有所不同，需要特别注意索引处理方式。

2. 数据结构设计与输入格式分析

题目给出的链表节点结构通常如下：

c复制struct Node {
    char data;
    int next;
};

输入格式包含三个关键部分：

1. 两个链表的首地址（head1, head2）
2. 节点总数N（通常≤10^5）
3. N个节点的信息（地址、数据、下一个节点地址）

特殊值-1表示NULL指针。例如测试用例：

code复制11111 22222 9
67890 i 00002
00010 a 12345
00003 g -1
12345 D 67890
00002 n 00003
22222 B 23456
11111 L 00010
23456 e 67890

3. 双指针解法实现细节

3.1 基础双指针算法

最直接的解法是使用双指针同步遍历：

c复制int findIntersection(int head1, int head2, Node nodes[]) {
    int p1 = head1, p2 = head2;
    while (p1 != p2) {
        p1 = (p1 == -1) ? head2 : nodes[p1].next;
        p2 = (p2 == -1) ? head1 : nodes[p2].next;
    }
    return p1;
}

这个算法的精妙之处在于：

• 时间复杂度O(m+n)
• 空间复杂度O(1)
• 能正确处理无交点的情况（返回-1）

3.2 静态链表的特殊处理

由于使用数组模拟链表，需要注意：

1. 地址可能不是连续的（如测试用例中的