本文介绍一种高效、鲁棒的方法，用于判断一个整数数组是否由严格递减序列经一次顺时针旋转得到，重点解决边界情况（如 [43, 44, 11, 10, 9]）的误判问题。
本文介绍一种高效、鲁棒的方法，用于判断一个整数数组是否由严格递减序列经一次顺时针旋转得到，重点解决边界情况（如 [43, 44, 11, 10, 9]）的误判问题。
要准确判定一个数组是否为“严格递减序列顺时针旋转一次”的结果，关键在于理解其结构特征：
- 原始严格递减序列（如 6,5,4,3,2,1）经顺时针旋转 k 位后，会形成至多一个“上升点”（inflection point） —— 即唯一一处 arr[i] > arr[i−1] 的位置，该点标志着旋转断点；
- 该上升点必须存在且仅出现一次（除非数组已完全递减，即 k=0，此时可视为旋转 0 次，但题目隐含要求“旋转后形态”，通常需至少一次有效旋转；实践中常允许 k=0，但需结合题意）；
- 更重要的是：旋转后数组的末尾元素必须 ≥ 原始递减序列的首元素，即末尾元素应大于等于旋转前最大值（也就是未旋转时最左边的数）。因为顺时针旋转会把尾部片段移到头部，原首元素变为某中间位置，而原末尾最小值可能出现在新数组头部——但此处我们关注的是“递减序列旋转”，所以原始最大值是第一个元素，旋转后它必然出现在某个位置，而新数组末尾必须能“接上”这个最大值，才能构成合法环状递减结构。
例如：
- 10, 9, 44, 43, 11 → 检查相邻：99 ✗（上升点），43= 首元素 10？✓ → 是合法旋转。
- 43, 44, 11, 10, 9 → 44>43（上升点），接着 11= 首元素 43？✗ → 非法，返回 false。
以下为优化后的完整实现（已修正原代码逻辑漏洞）：
public static boolean isSortedAndRotatedDescending(int[] arr) {
int n = arr.length;
if (n arr[i-1]
for (int i = 1; i arr[i - 1]) {
inflectionCount++;
if (inflectionCount > 1) {
return false; // 多于一个上升点 → 不可能由单次旋转得到
}
}
}
// 关键校验：若存在上升点，则末尾必须 >= 首元素（保证环状递减连通）
// 若无上升点，说明原数组已严格递减 → 可视为旋转0次，通常也接受（依题意而定）
if (inflectionCount == 0) {
return true; // 全递减，符合“旋转0次”的广义定义
} else {
return arr[n - 1] >= firstElement;
}
}
✅ 正确性保障：
- 时间复杂度 O(n)，空间复杂度 O(1)；
- 精准捕获 43,44,11,10,9 类误判：因 arr[4]=9
- 支持边界：空数组、单元素、全等数组（若允许相等需调整条件，但本题明确“decreasing order”，即严格递减）。
⚠️ 注意事项：
- 本解法假设“旋转”指单次整体循环位移（非多次叠加），这是经典旋转数组判定的通用前提；
- 若题目明确要求“至少旋转一次”，则需额外排除 inflectionCount == 0 的情况（即 return inflectionCount == 1 && arr[n-1] >= arr[0]）；
- 所有比较均基于 > 和 >=，确保严格递减语义；若输入含重复元素，需按题意调整为 >= 或 > 判定。
综上，该方法以清晰的数学洞察（单上升点 + 环首尾约束）替代复杂分段扫描，简洁、健壮、易于验证。
