本文详解 php 实现「检查数组中是否存在两数满足一数是另一数的两倍」的常见逻辑错误及优化方案，重点剖析双重循环初始化缺陷、边界处理问题，并提供时间复杂度更优的哈希表解法。
本文详解 php 实现「检查数组中是否存在两数满足一数是另一数的两倍」的常见逻辑错误及优化方案，重点剖析双重循环初始化缺陷、边界处理问题，并提供时间复杂度更优的哈希表解法。
你在 LeetCode 题目 1346. Check If N and M Exist（即判断数组中是否存在两个不同下标的元素 arr[i] 和 arr[j]，使得 arr[j] == 2 * arr[i]）中遇到测试失败，根本原因在于内层循环变量 $j 的初始化与复位逻辑错误。
❌ 原代码的问题分析
function checkIfExist($arr) {
$i = 0;
$j = 0; // ← 错误起点：$j 在外层循环外仅初始化一次！
$n = count($arr);
for($i; $i
-
关键缺陷：
$j在for循环外声明并初始化为0，但未在每次外层迭代开始时重置。当第一次内层循环执行完毕（$j达到$n），后续所有外层循环中$j 条件恒为false，导致内层循环完全不执行 → 漏检大量组合。 -
次要冗余：
$i != $j判断虽逻辑正确，但在j从i+1开始时天然满足，可省略。
✅ 修正版：双指针式嵌套循环（O(n²)）
i ≠ j
- 单次遍历，时间复杂度 O(n)，空间 O(n)；
- 自动规避
i == j问题（只查历史元素）； - 正确处理
0：因0*2 == 0，需至少两个0才满足条件 → 上述逻辑中，当第二个0到来时，$seen[0]已存在，故isset($seen[0*2])为true，返回true，符合预期。
? 测试验证
var_dump(checkIfExist([10,2,5,3])); // true (2*5 == 10) var_dump(checkIfExist([7,1,14,11])); // true (1*14 == 14) var_dump(checkIfExist([3,1,7,11])); // false (无倍数关系) var_dump(checkIfExist([0,0])); // true (两个0满足 0==2*0)
✅ 总结
- 初学陷阱：循环变量作用域与复位是高频出错点，务必确保内层循环变量在每次外层迭代中正确初始化；
-
逻辑完备性：明确题目是否要求双向倍数关系，必要时同时检查
2*num和num/2（后者需整除判断）； - 性能进阶：哈希表将时间复杂度从 O(n²) 降至 O(n)，是此类“查找配对”问题的标准解法。
掌握这些要点，你不仅能通过本题，更能夯实算法基础，从容应对同类问题。
