检查排序子数组是否存在于更大的排序数组中：O(log n) 时间复杂度实现

def is_subarray_present(large_array, subarray):
    """
    检查排序子数组是否存在于更大的排序数组中。

    Args:
        large_array: 长度为n的排序数组。
        subarray: 长度为k的排序子数组。

    Returns:
        如果子数组存在于大数组中，则返回True；否则返回False。
    """

    n = len(large_array)
    k = len(subarray)

    if k > n:
        return False

    # 二分查找子数组的第一个元素
    left, right = 0, n - 1
    first_element_index = -1

    while left <= right:
        mid = (left + right) // 2
        if large_array[mid] == subarray[0]:
            first_element_index = mid
            break  # 找到第一个元素
        elif large_array[mid] < subarray[0]:
            left = mid + 1
        else:
            right = mid - 1

    # 如果未找到第一个元素，则子数组不存在
    if first_element_index == -1:
        return False

    # 线性验证剩余元素
    for i in range(1, k):
        if first_element_index + i >= n or large_array[first_element_index + i] != subarray[i]:
            return False

    return True

# 示例用法
large_array = [-10, -3, 0, 4, 7, 19, 33]
subarray = [4, 7, 19]

if is_subarray_present(large_array, subarray):
    print("子数组存在于大数组中")
else:
    print("子数组不存在于大数组中")  # 输出: 子数组存在于大数组中

large_array = [-10, -3, 0, 4, 7, 19, 33]
subarray = [4, 7, 20]

if is_subarray_present(large_array, subarray):
    print("子数组存在于大数组中")
else:
    print("子数组不存在于大数组中")  # 输出: 子数组不存在于大数组中