C++：如何解决这个问题？ 差不多明白了，只是有点卡住

我一直在研究 C++ 问题，直到遇到这个问题，很长一段时间后我都无法解决这个问题（甚至无法通过示例）。 请帮忙！

农夫约翰有一项重要任务 – 弄清楚要为他的奶牛购买什么类型的干草。
Farmer John 的 N 头牛 (2≤N≤10^5) 编号为 1 到 N，每头牛只喜欢一种类型的干草 h(i)：(1≤h(i)≤N。他希望他所有的牛都喜欢同一类型干草。
为了实现这一目标，Farmer John 可以主持焦点小组活动。 焦点小组包括将编号为 ito j（含）的连续范围内的所有奶牛聚集在一起召开会议。 如果有一种干草是小组中超过一半的奶牛喜欢的，那么焦点小组会议结束后，所有奶牛最终都会喜欢这种干草。 如果不存在这种类型的干草，那么奶牛就不会改变它们喜欢的干草类型。 例如，在由 16 头奶牛组成的焦点小组中，其中 9 头或更多的奶牛需要具有相同的干草偏好，才能使其余奶牛改变其偏好以匹配。
农夫约翰想知道哪些类型的干草可以同时受到所有奶牛的喜爱。 他一次只能主持一个焦点小组，但他可以根据需要组织多个焦点小组，以使所有奶牛都喜欢同一类型的干草。

输入格式：
第一个由整数 T 组成，表示独立测试用例的数量 (1≤T≤10)

每个测试用例的第一行由 N 组成。
第二行由 N 个整数组成，依次为奶牛最喜欢的干草类型 h(i)。
保证所有测试用例的 N 之和不超过 2⋅10^5。

输出格式：
输出 T 行，每个测试用例一行。
如果可以让所有奶牛同时喜欢同一种干草，则按升序输出所有可能的此类干草。 否则，输出-1。 在同一行上打印数字列表时，用空格分隔相邻的数字，并确保该行不以任何无关的空格结尾。

样本输入：
5
5
1 2 2 2 3
6
1 2 3 1 2 3
6
1 1 1 2 2 2
3
3 2 3
2
2 1
样本输出：
2
-1
1 2
3
-1
在示例输入中，有 5 个测试用例。
在第一个测试用例中，只能使所有奶牛都像类型 2 一样。FJ 可以通过对所有奶牛运行一个焦点小组来做到这一点。
在第二个测试用例中，我们可以证明没有奶牛会改变它们喜欢的干草类型。
在第三个测试用例中，可以通过运行三个焦点组来使所有奶牛都像类型 1 一样 – 首先将奶牛 1 到 4 纳入焦点组，然后将奶牛 1 到 5 纳入焦点组，最后将奶牛纳入焦点组1 到 6 属于焦点小组。 按照类似的逻辑，使用奶牛 3 到 6，奶牛 2 到 6，然后奶牛 1 到 6，我们可以使所有奶牛都像类型 2 一样。
在第四个测试用例中，可以通过对所有奶牛运行单个焦点小组来使所有奶牛都像类型 3 一样。
在第五个测试用例中，我们可以证明没有奶牛会改变它们喜欢的干草类型。

评分：

* 输入 2：N=2。
* 输入 3-4：N≤50。
* 输入 5-6：对于所有 1≤i≤N−1，h(i)≤h(i+1)。
* 输入 7-15：无附加约束。

我尝试过的：

我已经编写了以下代码（甚至使示例 i/o 的输出最后一行错误）：

#include<bits/stdc++.h>
using namespace std;

int main() {
    ios_base::sync_with_stdio(false);
    cin.tie(NULL);

    int T;
    cin >> T;
    while(T--) {
        int N;
        cin >> N;
        vector<int> h(N);
        for(int i=0; i<N; i++) {
            cin >> h[i];
        }

        map<int, int> count;
        for(int i=0; i<N; i++) {
            count[h[i]]++;
        }

        vector<int> possible;
        for(auto &p : count) {
            if(p.second > N/2) {
                possible.push_back(p.first);
            }
        }

        if(possible.empty()) {
            // Check for types of hay liked by exactly half the cows
            for(auto &p : count) {
                if(p.second == N/2) {
                    possible.push_back(p.first);
                }
            }
        }

        if(possible.empty()) {
            cout << -1 << "\n";
        } else {
            sort(possible.begin(), possible.end());
            for(int i=0; i<possible.size(); i++) {
                cout << possible[i] << (i == possible.size()-1 ? "\n" : " ");
            }
        }
    }

    return 0;
}

如果有人有任何可以通过问题的解决方案或更改代码，请告诉我！ 非常感谢大家！