leetcode-189:轮转数组

给定一个整数数组 nums，将数组中的元素向右轮转 k 个位置，其中 k 是非负数。

示例 1:

输入: nums = [1,2,3,4,5,6,7], k = 3
输出: [5,6,7,1,2,3,4]
解释:
向右轮转 1 步: [7,1,2,3,4,5,6]
向右轮转 2 步: [6,7,1,2,3,4,5]
向右轮转 3 步: [5,6,7,1,2,3,4]

示例 2:

输入：nums = [-1,-100,3,99], k = 2
输出：[3,99,-1,-100]
解释: 
向右轮转 1 步: [99,-1,-100,3]
向右轮转 2 步: [3,99,-1,-100]

提示：

1 <= nums.length <= 105
-231 <= nums[i] <= 231 - 1
0 <= k <= 105

进阶：

尽可能想出更多的解决方案，至少有三种不同的方法可以解决这个问题。
你可以使用空间复杂度为 O(1) 的原地算法解决这个问题吗？

步骤 1: 定义问题性质

给定一个整数数组 nums，需要将数组元素向右轮转 k 个位置。

输入条件：

nums 的长度在 [1, 10^5] 之间。
数组元素的值在 [-2^31, 2^31 - 1] 之间。
非负整数 k 的值在 [0, 10^5] 之间。

输出条件：

返回一个数组，表示经过 k 次右轮转后的结果。

边界条件：

k 大于 nums 长度时，实际的轮转次数应为 k % nums.length。
如果 k 为 0，或者数组长度为 1，结果应为原数组。

步骤 2: 分解问题

处理 k 的值：计算有效的 k，即 k = k % nums.length。
反转数组：将整个数组反转，这样最后 k 个元素会被放到开头。
反转子数组：分别反转前 k 个元素和后 n-k 个元素，以恢复顺序。

算法设计思路：

反转算法是解决此类问题的有效方法，可以达到 O(n) 的时间复杂度和 O(1) 的空间复杂度。
复杂度分析：
- 时间复杂度：O(n)，遍历数组三次。
- 空间复杂度：O(1)，使用常数额外空间。

数学证明

我们需要证明在给定整数数组 nums 和非负整数 k 的情况下，通过反转算法实现数组向右轮转 k 个位置的正确性。证明包括三个主要步骤。

定义和基础概念

设数组长度为 n，初始数组为 nums。
向右轮转 k 个位置相当于将数组的最后 k 个元素移动到数组的开头，并将剩余的元素向后移动。

步骤 1: 计算有效的 k

在进行轮转之前，我们计算有效的 k： k′=kmod nk' = k \mod nk′=kmodn 如果 k' 等于 0，则数组保持不变；否则，我们继续进行反转操作。

步骤 2: 反转整个数组

反转整个数组 nums： reverse(nums,0,n−1)\text{reverse}(nums, 0, n - 1)reverse(nums,0,n−1) 反转后的数组将变成： [last k′ elements,first (n−k′) elements][\text{last } k' \text{ elements}, \text{first } (n-k') \text{ elements}][last k′ elements,first (n−k′) elements]

例如，假设数组为 [1, 2, 3, 4, 5, 6, 7]，k' = 3，反转后得到： [7,6,5,4,3,2,1][7, 6, 5, 4, 3, 2, 1][7,6,5,4,3,2,1]

步骤 3: 反转前 k' 个元素和后 n-k' 个元素

反转前 k' 个元素： reverse(nums,0,k′−1)\text{reverse}(nums, 0, k' - 1)reverse(nums,0,k′−1) 此时数组变为： [5,6,7,4,3,2,1][5, 6, 7, 4, 3, 2, 1][5,6,7,4,3,2,1]
反转后 n-k' 个元素： reverse(nums,k′,n−1)\text{reverse}(nums, k', n - 1)reverse(nums,k′,n−1) 最终得到： [5,6,7,1,2,3,4][5, 6, 7, 1, 2, 3, 4][5,6,7,1,2,3,4]