本文详解 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 < $n; $i++) {
for($j; $j < $n; $j++) { // ← 第二轮 i=1 时，$j 仍为上轮结束值（如 $n），内层循环直接跳过！
if ($i != $j && $arr[$i] * 2 == $arr[$j]) {
return true;
}
}
}
return false;
}-
关键缺陷：
$j在for循环外声明并初始化为0，但未在每次外层迭代开始时重置。当第一次内层循环执行完毕（$j达到$n），后续所有外层循环中$j 条件恒为 <code>false，导致内层循环完全不执行 → 漏检大量组合。 -
次要冗余：
$i != $j判断虽逻辑正确，但在j从i+1开始时天然满足，可省略。
✅ 修正版：双指针式嵌套循环（O(n²)）
function checkIfExist($arr) {
$n = count($arr);
for ($i = 0; $i < $n; $i++) {
for ($j = $i + 1; $j < $n; $j++) { // ✅ 每次外层循环，$j 从 i+1 重新开始
if ($arr[$i] * 2 == $arr[$j] || $arr[$j] * 2 == $arr[$i]) {
return true;
}
}
}
return false;
}⚠️ 注意：题目要求的是「存在
i ≠ j使得arr[j] == 2 * arr[i]」，但未限定谁是倍数、谁是原数。例如[7,1,14,11]中1*2==2不成立，但7*2==14成立 → 此时需检查两种方向。上述代码已补充|| $arr[$j] * 2 == $arr[$i]，确保覆盖N=2M或M=2N所有情况（LeetCode 原题实际只要求单向2*arr[i] == arr[j]，但严谨起见建议双向校验）。
? 进阶优化：哈希表解法（O(n)）
为避免 O(n²) 时间开销，推荐使用哈希集合（PHP 中用 array_flip() 或 in_array() 配合 array_keys() 效率较低，建议用 isset() 模拟集合）：
function checkIfExist($arr) {
$seen = []; // 存储已遍历元素
foreach ($arr as $num) {
// 检查当前数的「一半」或「两倍」是否已存在（注意：0 的特殊性）
if (isset($seen[$num * 2]) ||
($num % 2 === 0 && isset($seen[$num / 2]))) {
return true;
}
$seen[$num] = true;
}
return false;
}✅ 优势：
- 单次遍历，时间复杂度 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)，是此类“查找配对”问题的标准解法。
掌握这些要点，你不仅能通过本题，更能夯实算法基础，从容应对同类问题。
