某二分查找算法的程序段如下：

key=int(input('待查数据为:'))

i=0;j=10;n=0

while i<=j:

    m=(i+j+1)//2

    if a[m]==key:

        break

    elif a[m]>key:

        j=m-1；n=n-1

    else:

        i=m+1；n=n+1

执行该程序段后，下列说法正确的是（    ）

A、该程序若要实现对分查找，要求数组a按降序排列

B、若n为-2，则查找key值可能等于a[3]的值

C、若n为2，则查找key的值可能小于a[10]

D、n的值最小为-4，最大为 4