两种写法结果一致吗

运行下面这段程序：

本节模型：window_max_arr 不用 std::deque，用数组 q 加 head、tail 两个下标模拟两端操作。

#include <algorithm>
#include <deque>
#include <iostream>
#include <string>
#include <vector>
using namespace std;

vector<int> window_max(const vector<int>& a, int k) {
    // 每个长度为 k 的窗口的最大值
    deque<int> dq;   // 存下标，对应的值从队首到队尾递减
    vector<int> res;
    for (int i = 0; i < (int)a.size(); i++) {
        while (!dq.empty() && a[dq.back()] <= a[i]) dq.pop_back();
        dq.push_back(i);
        if (dq.front() <= i - k) dq.pop_front();
        if (i >= k - 1) res.push_back(a[dq.front()]);
    }
    return res;
}

vector<int> window_max_arr(const vector<int>& a, int k) {
    // 不用 std::deque：数组 q 加 head / tail 两个下标，q[head..tail-1] 就是队里的下标
    int n = (int)a.size();
    vector<int> q(n);
    int head = 0, tail = 0;
    vector<int> res;
    for (int i = 0; i < n; i++) {
        while (tail > head && a[q[tail - 1]] <= a[i]) tail--;
        q[tail++] = i;
        if (q[head] <= i - k) head++;
        if (i >= k - 1) res.push_back(a[q[head]]);
    }
    return res;
}

int main() {
    vector<int> a = {3, 1, 4, 1, 5, 9, 2, 6};
    cout << (window_max(a, 3) == window_max_arr(a, 3) ? "一致" : "不一致") << endl;
}

（本题用 g++ -std=c++17 -O0 编译。）