检查数组是否是从 1 到 N 的数字排列：设置 2

在编写代码时，我们经常需要检查一个数组是否是从 1 到 N 的数字排列。这个问题可以有多种解决方法，其中一种是使用设置 2 算法。

设置 2 算法的基本思想是：遍历数组中的每个元素，然后将其与其正确的位置进行比较。如果某个元素不在其正确的位置上，那么就意味着数组不是从 1 到 N 的数字排列。否则，它就是一个有效的数字排列。

下面是一个使用设置 2 算法检查数组是否是从 1 到 N 的数字排列的示例代码：

def check_array(arr):
    for i in range(len(arr)):
        while arr[i] != i+1:
            if arr[i] <= 0 or arr[i] > len(arr) or arr[i] == arr[arr[i]-1]:
                break
            arr[arr[i]-1], arr[i] = arr[i], arr[arr[i]-1]
    for i in range(len(arr)):
        if arr[i] != i+1:
            return False
    return True

该函数接受一个数组作为参数，并返回一个布尔值，表示该数组是否是从 1 到 N 的数字排列。它遍历数组中的每个元素，并根据算法的定义，将其与其正确的位置进行比较。如果数组不是有效的数字排列，则返回 False。否则，返回 True。

该算法的时间复杂度为 O(n)，其中 n 是数组的长度。它是一种简单而有效的解决方案，可以在实际编程中广泛使用。

使用方法示例：

arr = [1, 2, 3, 4, 5]
result = check_array(arr)
print(result) # True

arr = [1, 3, 2, 4, 5]
result = check_array(arr)
print(result) # False

以上是一个简单而实用的算法，适用于大多数场景，可以有效提高代码效率。