C++: bagaimana mengatasi masalah ini? Hampir sampai, hanya macet sedikit

Saya sedang mengerjakan masalah C++ sampai saya menemukan yang ini, yang tidak dapat saya AC setelah waktu yang lama (bahkan tidak dapat meneruskan sampel). Tolong bantu!

Petani John mempunyai tugas penting – mencari tahu jenis jerami apa yang akan dibeli untuk sapinya.
Sapi milik Peternak John (2≤N≤10^5) diberi nomor 1 sampai Nan dan setiap sapi menyukai tepat satu jenis jerami h(i): (1≤h(i)≤N. Dia ingin semua sapinya menyukai jenis yang sama dari jerami.
Untuk mewujudkan hal ini, Petani John dapat mengadakan kelompok fokus. Kelompok fokus terdiri dari mengumpulkan semua sapi dalam rentang yang berdekatan, bernomor ito j, inklusif, untuk sebuah pertemuan. Jika ada jenis jerami yang disukai oleh lebih dari separuh sapi dalam kelompok, maka setelah diskusi kelompok terfokus selesai, semua sapi pada akhirnya menyukai jenis jerami tersebut. Jika tidak ada jenis jerami seperti itu, maka tidak ada sapi yang mengubah jenis jerami yang mereka sukai. Misalnya, dalam kelompok fokus yang terdiri dari 16 ekor sapi, 9 ekor sapi atau lebih harus memiliki preferensi jerami yang sama agar sapi-sapi yang tersisa mengubah preferensi mereka ke jenis jerami yang sama.
Petani John ingin mengetahui jenis jerami apa yang disukai semua sapi secara bersamaan. Ia hanya dapat menyelenggarakan satu kelompok fokus dalam satu waktu, namun ia dapat menjalankan kelompok fokus sebanyak yang diperlukan agar semua sapi menyukai jenis jerami yang sama.

MASUKKAN FORMAT:
Yang pertama akan terdiri dari bilangan bulat T, yang menunjukkan jumlah kasus uji independen (1≤T≤10)

Baris pertama setiap test case terdiri dari N.
Baris kedua terdiri dari N bilangan bulat, jenis jerami favorit h(i) untuk sapi secara berurutan.
Dijamin bahwa jumlah N pada semua kasus uji tidak melebihi 2⋅10^5.

FORMAT OUTPUT:
Output T baris, satu baris per kasus uji.
Jika memungkinkan untuk membuat semua sapi menyukai jenis jerami yang sama secara bersamaan, keluarkan semua kemungkinan jenis jerami tersebut dalam urutan yang meningkat. Jika tidak, keluaran −1. Saat mencetak daftar nomor pada baris yang sama, pisahkan nomor yang berdekatan dengan spasi, dan pastikan baris tersebut tidak diakhiri dengan spasi yang asing.

SAMPEL MASUKAN:
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
KELUARAN SAMPEL:
2
-1
1 2
3
-1
Pada input sampel terdapat 5 kasus uji.
Pada uji kasus pertama, hanya mungkin membuat semua sapi seperti tipe 2. FJ dapat melakukan ini dengan menjalankan satu kelompok fokus dengan semua sapi.
Pada uji kasus kedua, kami dapat menunjukkan bahwa tidak ada sapi yang akan mengubah jenis jerami yang mereka sukai.
Dalam uji kasus ketiga, semua sapi bisa menjadi seperti tipe 1 dengan menjalankan tiga kelompok fokus – pertama dengan memasukkan sapi 1 sampai 4 ke dalam kelompok fokus, kemudian dengan memasukkan sapi 1 sampai 5 ke dalam kelompok fokus, kemudian dengan memasukkan sapi ke dalam kelompok fokus. 1 sampai 6 dalam kelompok fokus. Dengan logika serupa, dengan menggunakan sapi 3 sampai 6, sapi 2 sampai 6, lalu sapi 1 sampai 6, kita bisa membuat semua sapi seperti tipe 2.
Pada uji kasus keempat, semua sapi bisa menjadi seperti tipe 3 dengan menjalankan satu kelompok fokus dengan semua sapi.
Pada uji kasus kelima, kita dapat menunjukkan bahwa tidak ada sapi yang akan mengubah jenis jerami yang mereka sukai.

SKOR:

* Masukan 2: N=2.
* Masukan 3-4: N≤50.
* Input 5-6: h(i)≤h(i+1) untuk semua 1≤i≤N−1.
* Input 7-15: Tidak ada batasan tambahan.

Apa yang saya coba:

Saya telah mengerjakan kode berikut (yang bahkan membuat baris terakhir keluaran sampel i/o salah):

#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;
}

Jika ada yang punya solusi atau perubahan pada kode yang dapat menjawab pertanyaan tersebut, tolong beri tahu saya! Terima kasih banyak!