madhav 数组要求首元素等于后续连续分组（长度递增的等差段）之和；需严格验证每组元素数量与和值，避免因数组截断不完整导致误判。
madhav 数组要求首元素等于后续连续分组（长度递增的等差段）之和；需严格验证每组元素数量与和值，避免因数组截断不完整导致误判。
Madhav 数组是一种具有特定累加结构的整数数组，其定义如下：
- 第 0 个元素
a[0]必须等于第 1–2 项之和（即a[1] + a[2]）， - 同时也必须等于第 3–5 项之和（即
a[3] + a[4] + a[5]）， - 接着等于第 6–9 项之和（共 4 项），依此类推……
形式化地说，第k个分组（从k = 1开始计数）应包含k+1个元素（注意：首组为 2 项，次组为 3 项，第三组为 4 项……），且所有分组的和必须严格等于a[0]。
⚠️ 关键约束：
- 长度 ≤ 1 的数组不构成 Madhav 数组（无分组可比）；
- 长度 = 2 的数组也不合法（无法形成至少一个完整分组，因首分组需 2 项，但此时
a[0]已被占用，剩余仅 1 项）； - 最易忽略的边界条件：最后一组必须恰好包含预期数量的元素。若剩余元素不足，却仍凑出相同和值，将导致假阳性（false positive）。
例如，输入 [2, 1, 1, 1, 1]：
-
a[0] = 2，目标和为 2； - 第 1 组（2 项）：
a[1]+a[2] = 1+1 = 2✅； - 第 2 组（3 项）：理论上需
a[3]~a[5]，但数组只剩a[3], a[4]（仅 2 项）； - 若用
splice(0, 3)，实际只取到[1, 1]，其和为2—— 错误地通过校验。
✅ 正确行为：检测到该组长度，应立即返回 <code>false。
以下是推荐的高效、非破坏性实现（避免 splice，使用索引遍历）：
function isMadhavArray(arr) {
// 基础长度检查：至少需要 1（首项）+ 2（第一组）= 3 个元素
if (arr.length arr.length) {
return false; // 末尾元素不足，非法
}
// 计算当前分组和
let sum = 0;
for (let i = startIdx; i <p>? <strong>进阶优化（预检三角形长度）</strong>：<br>
Madhav 数组总长度必为 <code>1 + 2 + 3 + ... + k = k(k+1)/2 + 1</code>（含首项）。令 <code>n = arr.length</code>，则 <code>n - 1</code> 必须是三角形数，即方程 <code>k(k+1)/2 = n - 1</code> 有正整数解 <code>k</code>。可通过判别式快速验证：</p><pre class="brush:php;toolbar:false;">const len = arr.length;
if (len <p>此检查可在循环前执行，提前排除所有长度不合规的输入，提升性能。</p><p>✅ 总结： </p>
- 勿修改原数组（避免
splice）； - 每次分组前显式校验元素数量是否充足；
- 理解 Madhav 结构本质：分组长度序列为
2, 3, 4, ..., k，总数据长度 =1 + Σi=2^k i = 1 + k(k+1)/2 − 1 = k(k+1)/2； - 单元测试务必覆盖临界用例：
[2,1,1,1,1]（缺项）、[1]（过短）、[5,2,3,1,1,1]（和对但末组缺项）等。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
