Автор проблеми: | Hadi Takla |
Підготовлено: | Hadi Takla |
Редаговано: | Hadi Takla |
Спочатку, замість вибору n-1 масивів, ми візьмемо всі масивів, а потім спробуємо видалити один.
Оскільки нам потрібно отримати Mex() = , не повинно бути присутнє в жодному вибраному префіксі.
Нехай p_i буде найдовшим префіксом з масиву a_i, який не містить , і нехай b = p_1 + p_2 + ... + p_n, а freq_x — частота цілого числа в масиві .
Якщо ми не можемо отримати Mex, рівний , використовуючи всі масивів, відповідь — "NO".
В іншому випадку, у нас є всі цілі числа від до k-1, присутні в масиві .
Тепер, для кожного ми спробуємо видалити p_i з , щоб подивитися, що станеться.
Для кожного цілого числа x \in p_i ми зменшимо freq_x, якщо ми отримали freq_x = 0 і 0 \le x \le k-1, тоді масив є необхідним, і ми не можемо видалити p_i.
Після цього знову збільшуємо freq_x і переходимо до наступного масиву.
Якщо всі масивів є необхідними, відповідь — "NO", в іншому випадку відповідь — "YES".
Часова складність \mathcal{O}(m \cdot \log(\max(x))) з використанням карти для відстеження частот, з використанням масиву частот.
m=\displaystyle \sum_{i=1}^n \text{sz}_i=\text{sz}_1+\text{sz}_2+\text{sz}_3+...+\text{sz}_n.
#include<bits/stdc++.h>
#define endl '\n'
#define int long long
#define F first
#define S second
using namespace std;
const int N = 2e5 + 1;
const int M = 1e9 + 7;
signed main()
{
ios_base::sync_with_stdio(0);cin.tie(0);cout.tie(0);
int tc = 1;
cin>>tc;
while(tc--)
{
int n,k;
cin>>n>>k;
vector<int>p[n+1];
for(int i=1;i<=n;i++)
{
int m;
cin>>m;
bool ok = 1;
for(int j=1;j<=m;j++)
{
int x;
cin>>x;
if(x == k)
ok = 0;
if(ok)
p[i].push_back(x);
}
}
map<int,int>freq;
for(int i=1;i<=n;i++)
{
for(auto it:p[i])
freq[it]++;
}
int mex = 0;
while(freq[mex])
mex++;
if(mex != k)
{
cout<<"NO"<<endl;
continue;
}
int cnt = 0; //count of necessary arrays
for(int i=1;i<=n;i++)
{
bool nec = 0;
for(auto it:p[i])
{
freq[it]--;
if(freq[it] == 0 && it < k)
nec = 1;
}
cnt += nec;
for(auto it:p[i])
freq[it]++;
}
cout<<(cnt == n ? "NO" : "YES")<<endl;
}
}