是否存在一种数据结构，支持以下操作：

• $O(\log n)$（或更低）插入元素；
• 维护序列单调性；
• $O(\log n)$（或更低）查询特定编号的值所在的位置；
• $O(1)$ 查询最小/最大的元素。

链表能否实现？