#include <bits/stdc++.h>
using namespace std;
#define fs first
#define sc second
#define pii pair<int,int>
const int N=1010000;
int a[N], fr[N], n, lb[N];
vector<int>lis={INT_MAX}, v;
vector<pii> lv[N];
vector<vector<int>>ans;
set<int>st[N];
bool dead[N]={0};
#pragma GCC optimize("Ofast")
bool dfs(int i, int t){
if(dead[i])return 0;
v.push_back(i);
if(t==1)return 1;
auto it=st[t-1].lower_bound(lb[i]), it2=st[t-1].lower_bound(i);
if(it==it2||it==st[t-1].end()){
dead[i]=1;
return 0;
}
vector<int>err;
while(it!=it2){
if(dfs(*it, t-1)){
// for(int x:err)st[t-1].erase(x);
return 1;}
err.push_back(*it);
it=it++;
}
for(int x:err)st[t-1].erase(x);
v.pop_back();
dead[i]=1;
return 0;
}
int main(){
ios_base::sync_with_stdio(false); cin.tie(0);
cin >> n;
for(int i=1; i<=n; i++){
cin >> a[i];
auto it=lower_bound(lis.begin(), lis.end(), a[i]);
if(it==lis.end())lis.push_back(a[i]), fr[i]=lis.size();
else lis[it-lis.begin()]=a[i], fr[i]=it-lis.begin()+1;
st[fr[i]].insert(i); lv[fr[i]].push_back({a[i],i});
if(fr[i]==1)continue;
int l=0, r=lv[fr[i]-1].size()-1;
while(l<r){
int mid=(l+r)/2;
if(lv[fr[i]-1][mid].fs < a[i])r=mid;
else l=mid+1;
}
lb[i]=min(lv[fr[i]-1][l].sc,i);
}
for(auto i:st[lis.size()]){
v.resize(0);
if(dfs(i, lis.size())){
if(v.size()!=lis.size())continue;
reverse(v.begin(), v.end());
ans.push_back(v);
for(int i=0; i<v.size()-1; i++)st[i+1].erase(v[i]);
}
}
cout << ans.size() << ' ' << lis.size() << '\n';
for(auto v:ans){
for(int x:v)cout << x << ' ';
cout << '\n';
}
return 0;}
/*
1 1 2 1 1 3 2 2 3 2 3 1 3 2 3
*/
Compilation message
Main.cpp: In function 'int main()':
Main.cpp:66:27: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
66 | for(int i=0; i<v.size()-1; i++)st[i+1].erase(v[i]);
| ~^~~~~~~~~~~
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
32 ms |
71504 KB |
Output is correct |
2 |
Correct |
32 ms |
71500 KB |
Output is correct |
3 |
Correct |
33 ms |
71432 KB |
Output is correct |
4 |
Correct |
33 ms |
71460 KB |
Output is correct |
5 |
Correct |
33 ms |
71420 KB |
Output is correct |
6 |
Correct |
33 ms |
71504 KB |
Output is correct |
7 |
Correct |
33 ms |
71480 KB |
Output is correct |
8 |
Correct |
32 ms |
71444 KB |
Output is correct |
9 |
Correct |
37 ms |
71468 KB |
Output is correct |
10 |
Correct |
33 ms |
71444 KB |
Output is correct |
11 |
Correct |
33 ms |
71376 KB |
Output is correct |
12 |
Correct |
40 ms |
71404 KB |
Output is correct |
13 |
Correct |
32 ms |
71484 KB |
Output is correct |
14 |
Correct |
32 ms |
71508 KB |
Output is correct |
15 |
Correct |
39 ms |
71488 KB |
Output is correct |
16 |
Correct |
33 ms |
71372 KB |
Output is correct |
17 |
Runtime error |
566 ms |
524288 KB |
Execution killed with signal 9 |
18 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
32 ms |
71504 KB |
Output is correct |
2 |
Correct |
32 ms |
71500 KB |
Output is correct |
3 |
Correct |
33 ms |
71432 KB |
Output is correct |
4 |
Correct |
33 ms |
71460 KB |
Output is correct |
5 |
Correct |
33 ms |
71420 KB |
Output is correct |
6 |
Correct |
33 ms |
71504 KB |
Output is correct |
7 |
Correct |
33 ms |
71480 KB |
Output is correct |
8 |
Correct |
32 ms |
71444 KB |
Output is correct |
9 |
Correct |
37 ms |
71468 KB |
Output is correct |
10 |
Correct |
33 ms |
71444 KB |
Output is correct |
11 |
Correct |
33 ms |
71376 KB |
Output is correct |
12 |
Correct |
40 ms |
71404 KB |
Output is correct |
13 |
Correct |
32 ms |
71484 KB |
Output is correct |
14 |
Correct |
32 ms |
71508 KB |
Output is correct |
15 |
Correct |
39 ms |
71488 KB |
Output is correct |
16 |
Correct |
33 ms |
71372 KB |
Output is correct |
17 |
Runtime error |
566 ms |
524288 KB |
Execution killed with signal 9 |
18 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
32 ms |
71504 KB |
Output is correct |
2 |
Correct |
32 ms |
71500 KB |
Output is correct |
3 |
Correct |
33 ms |
71432 KB |
Output is correct |
4 |
Correct |
33 ms |
71460 KB |
Output is correct |
5 |
Correct |
33 ms |
71420 KB |
Output is correct |
6 |
Correct |
33 ms |
71504 KB |
Output is correct |
7 |
Correct |
33 ms |
71480 KB |
Output is correct |
8 |
Correct |
32 ms |
71444 KB |
Output is correct |
9 |
Correct |
37 ms |
71468 KB |
Output is correct |
10 |
Correct |
33 ms |
71444 KB |
Output is correct |
11 |
Correct |
33 ms |
71376 KB |
Output is correct |
12 |
Correct |
40 ms |
71404 KB |
Output is correct |
13 |
Correct |
32 ms |
71484 KB |
Output is correct |
14 |
Correct |
32 ms |
71508 KB |
Output is correct |
15 |
Correct |
39 ms |
71488 KB |
Output is correct |
16 |
Correct |
33 ms |
71372 KB |
Output is correct |
17 |
Runtime error |
566 ms |
524288 KB |
Execution killed with signal 9 |
18 |
Halted |
0 ms |
0 KB |
- |