基于数组的双端队列：为什么 AddFront/RemoveFront O(1)？

Question

对于基于数组的双端队列，为什么要从前面摊销 O(1) 添加和删除？对我来说，它总是 O(n) 是有意义的，因为任一操作都意味着数组的当前值需要“移动”到 0 索引的右侧以添加并移到左侧删除...

我的教授说你不需要换班，只需更新 hi 和 lo。我不完全确定他的意思。

这本身不是一个 C++ 问题，但我试图用这种语言来理解它。

Answer 1

你有 2 个指针（hi 和 lo）指向双端队列的每一端 ：

"aaaaa" <- hi
"bbbbb"
"ccccc"
"ddddd"<- lo

然后，当您从一端或另一端弹出时，您只需返回指针指向的内容并将指针更改为指向下一个/上一个：

 //"aaaa" is still in the array but not considered part of the deque
 "bbbbb" <- hi
 "ccccc"
 "ddddd" <- lo

非常简单的例子：

class Deque {
int deque[10];
int hi, lo;   // Initialize in constructor to -1 to flag deque is empty

public:
void push_front(int x) {
    // First time, add to middle of array
    if (-1 == lo) {
        hi = lo = 5; // Since array size is 10;
        deque[5] = x;
    }
    // Shift required?
    else if (lo == 0) {
        // Check if deque is full
        if (9 == hi) {
             // return error or get more space
        }
        else {
             // Shift by one
             // More optimally you would shift enough to move data to center of array
             for (int i = hi; i >= lo; --i) {
                 deque[i + 1] = deque[i];
             }
             // Update hi
             hi += 1;
             // Store in lo - lo remains at 0
             deque[0] = x;
         }
     }
     // No shift required
     else {
         deque[--lo] = x;
     }
 }
 // TODO: push_back, pop_front, pop_back

Answer 2

我不了解双端队列的确切 C++ 实现，但这是我最好的尝试来合理化您的教授关于时间复杂度的说法：

从cppreference 和cplusplus 看来，双端队列是非连续存储的。

Here 是另一个 StackOverflow 问题，它提供了有用的图像和一些丰富的信息。

请注意start 是如何简单地指向前面的，但如何也可以有unused 部分的单独块。因此，如果我们可以简单地将旧的正面标记为“未使用”，那么在弹出正面时可能不需要移动所有内容，背面也类似。

编辑：我的猜测是，因为在开头和结尾都有 unusued 部分，所以添加到前面或后面相对容易，直到正如约翰在他自己的回答中所说，你用完了空间/'达到边界'。