有没有一种数据结构，支持O(logn)插入，O(logn)找到这个值应插入的位置，使得序列依然有序。假定最开始序列是有序的。