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

当我们需要检查一个数组是否是从1到N的数字排列时，有一种简单的方法是使用布尔型数组进行标记。然而，这种方法需要额外的空间来存储标记，因此我们可以使用另一种更为巧妙的方法：将数组中的数字本身作为标记位置的下标，通过修改标记位置的数值为负数来标记已经出现的数字。

下面是一个用于检查一个数组是否是从1到N的数字排列的示例代码：

def check_array(nums):
    for i in nums:
        idx = abs(i) - 1
        if nums[idx] > 0:
            nums[idx] *= -1
        else:
            return False
    return True

在这段代码中，我们遍历数组中的每个数字，并将其绝对值减去1作为标记位置的下标。如果标记位置处的数值为正数，我们将其取反，表示该数字已经出现过。如果标记位置处的数值为负数，说明该数字之前已经出现过，因此我们退出循环并返回False，表示该数组不是从1到N的数字排列。如果我们成功遍历完整个数组，则返回True，表示该数组是从1到N的数字排列。

这种方法的时间复杂度为O(N)，与使用布尔型数组进行标记的方法相同，但是它不需要额外的空间来存储标记。因此，当我们需要检查一个数组是否是从1到N的数字排列时，可以考虑使用这种更为巧妙的方法。