堆是以线性连续方式存储的完全二叉树，小根堆的每一个元素都不大于其左右孩子，现在给你n个完全二叉树数组存储序列，请编程判定相应完全二叉树数组存储序列是否为小根堆。

可以使用以下算法判断一个完全二叉树数组存储序列是否为小根堆：

1. 遍历数组，对于每个节点i，判断其左右孩子是否存在，如果不存在则跳过。

2. 如果节点i的左孩子存在，判断节点i的值是否小于等于其左孩子的值，如果不是，则该序列不是小根堆。

3. 如果节点i的右孩子存在，判断节点i的值是否小于等于其右孩子的值，如果不是，则该序列不是小根堆。

4. 如果以上条件都满足，则继续遍历下一个节点，直到遍历完整个数组。

5. 如果整个数组都满足小根堆的条件，则该序列是小根堆。

以下是一个示例代码：

def is_min_heap(arr):
    n = len(arr)
    for i in range(n):
        if 2*i+1 < n and arr[i] > arr[2*i+1]:
            return False
        if 2*i+2 < n and arr[i] > arr[2*i+2]:
            return False
    return True

该代码的时间复杂度为O(n)，其中n为数组的长度。