堆是一个键值序列(k1,k2,k…,k1…,k0),对i=1,2…,[n 2],满足( )
A.k<SUB>i</SUB>≤k<SUB>2i</SUB>≤k<SUB>2i</SUB>+1
B.k<SUB>i</SUB><k<SUB>2i</SUB><k<SUB>2i</SUB>+1
C.k<SUB>i</SUB>≤k<SUB>2i</SUB>且k≤k<SUB>2i+1</SUB>(2i+1≤
D.k<SUB>i</SUB>≤k<SUB>2i</SUB>或k<SUB>i</SUB>≤k<SUB>2i+l</SUB>(2i+1≤