This submission is migrated from previous version of oj.uz, which used different machine for grading. This submission may have different result if resubmitted.
// Om Namah Shivaya
#include <bits/stdc++.h>
#include <ext/pb_ds/assoc_container.hpp>
#include <ext/pb_ds/tree_policy.hpp>
using namespace std;
using namespace __gnu_pbds;
template<typename T> using Tree = tree<T, null_type, less<T>, rb_tree_tag, tree_order_statistics_node_update>;
typedef long long int ll;
typedef long double ld;
typedef pair<int, int> pii;
typedef pair<ll, ll> pll;
#define fastio ios_base::sync_with_stdio(false); cin.tie(NULL)
#define pb push_back
#define endl '\n'
#define sz(a) a.size()
#define setbits(x) __builtin_popcountll(x)
#define ff first
#define ss second
#define conts continue
#define ceil2(x, y) ((x + y - 1) / (y))
#define all(a) a.begin(), a.end()
#define rall(a) a.rbegin(), a.rend()
#define yes cout << "Yes" << endl
#define no cout << "No" << endl
#define rep(i, n) for(int i = 0; i < n; ++i)
#define rep1(i, n) for(int i = 1; i <= n; ++i)
#define rev(i, s, e) for(int i = s; i >= e; --i)
#define trav(i, a) for(auto &i : a)
template<typename T>
void amin(T &a, T b) {
a = min(a, b);
}
template<typename T>
void amax(T &a, T b) {
a = max(a, b);
}
#ifdef LOCAL
#include "debug.h"
#else
#define debug(x) 42
#endif
/*
*/
const int MOD = 1e9 + 7;
const int N = 1e5 + 5;
const int inf1 = int(1e9) + 5;
const ll inf2 = ll(1e18) + 5;
template<typename T>
struct segtree {
// https://codeforces.com/blog/entry/18051
/*=======================================================*/
struct data {
ll a;
};
data neutral = {0};
data merge(data &left, data &right) {
data curr;
curr.a = max(left.a, right.a);
return curr;
}
void create(int i, T v) {
amax(tr[i].a, v);
}
void modify(int i, T v) {
amax(tr[i].a, v);
}
/*=======================================================*/
int n;
vector<data> tr;
segtree() {
}
segtree(int siz) {
init(siz);
}
void init(int siz) {
n = siz;
tr.assign(2 * n, neutral);
}
void build(vector<T> &a, int siz) {
rep(i, siz) create(i + n, a[i]);
rev(i, n - 1, 1) tr[i] = merge(tr[i << 1], tr[i << 1 | 1]);
}
void pupd(int i, T v) {
modify(i + n, v);
for (i = (i + n) >> 1; i; i >>= 1) tr[i] = merge(tr[i << 1], tr[i << 1 | 1]);
}
data query(int l, int r) {
data resl = neutral, resr = neutral;
for (l += n, r += n; l <= r; l >>= 1, r >>= 1) {
if (l & 1) resl = merge(resl, tr[l++]);
if (!(r & 1)) resr = merge(tr[r--], resr);
}
return merge(resl, resr);
}
};
void solve(int test_case)
{
ll n, k; cin >> n >> k;
vector<pll> a(n + 5);
rep1(i, n) cin >> a[i].ff >> a[i].ss;
vector<ll> b;
rep1(i, n) {
b.pb(a[i].ff);
b.pb(a[i].ss);
}
sort(all(b));
b.resize(unique(all(b)) - b.begin());
ll siz = sz(b);
rep1(i, n) {
a[i].ff = lower_bound(all(b), a[i].ff) - b.begin();
a[i].ss = lower_bound(all(b), a[i].ss) - b.begin();
}
vector<pll> order;
rep1(i, n) order.pb({a[i].ff, i});
sort(all(order));
vector<bool> rem(n + 5);
vector<ll> ans;
rep1(guy, n) {
if (k == 0) break;
if (rem[guy]) conts;
vector<ll> dp_pref(n + 5), dp_suff(n + 5);
segtree<ll> st(siz + 5);
rep(id, n) {
ll i = order[id].ss;
if (rem[i]) conts;
auto [l, r] = a[i];
dp_pref[i] = st.query(0, l).a + 1;
st.pupd(r, dp_pref[i]);
}
st = segtree<ll>(siz + 5);
rev(id, n - 1, 0) {
ll i = order[id].ss;
if (rem[i]) conts;
auto [l, r] = a[i];
dp_suff[i] = st.query(r, siz - 1).a + 1;
st.pupd(l, dp_suff[i]);
}
ll mx_pick = dp_pref[guy] + dp_suff[guy] - 1;
if (mx_pick >= k) {
ans.pb(guy);
rem[guy] = 1;
k--;
rep1(i, n) {
if (rem[i]) conts;
auto [l1, r1] = a[i];
auto [l2, r2] = a[guy];
if (!(min(r1, r2) <= max(l1, l2))) {
rem[i] = 1;
}
}
}
}
if (ans.empty()) {
cout << -1 << endl;
return;
}
trav(x, ans) cout << x << endl;
}
int main()
{
fastio;
int t = 1;
// cin >> t;
rep1(i, t) {
solve(i);
}
return 0;
}
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |