设计算法判断数列a[1..n]中是否有a[i]+a[j]=k (算法描述和伪代码)

为了判断一个整数数组 `a[1..n]` 中是否存在两个元素 `a[i]` 和 `a[j]` 使得它们之和等于另一个给定的值 `k`，你可以使用哈希表（也称作字典或映射）来存储每个元素及其对应的索引。这是一种常见的双指针策略问题。以下是简单的算法描述和伪代码：

**算法描述：**
1. 创建一个空的哈希表 `hash` 用于存储元素及其位置。
2. 遍历整个数组 `a`，对于每个元素 `a[i]`：
a. 计算目标差值 `target = k - a[i]`。
b. 检查 `hash` 是否包含 `target`。如果存在，则找到了一对符合条件的元素，返回 `true`。
c. 如果 `target` 存在于 `hash` 中，说明我们已经遇到过 `a[target]`，则找到了一对 `(a[i], a[target])`，返回 `true`。
d. 否则，将当前元素及其索引 `i` 添加到 `hash` 中。
3. 如果遍历完整个数组都没有找到符合条件的组合，返回 `false`。

**伪代码：**

function hasPairSum(a, n, k):
    hash = {} // 初始化空哈希表

    for i in range(0, n): // 从第一个元素开始
        target = k - a[i]
        
        if target in hash: // 目标值已经在哈希表中
            return true
        
        if target not in hash:
            hash[a[i]] = i // 如果不在，添加当前元素和它的索引

    return false // 遍历完仍未找到，返回false