Problem: Example

Input

3 9
6 3
5 2
3 1
2
2
2


Output

2

Solution (in CPP):

Solution:
#include <iostream>
#include <vector>
#include <algorithm>
#include <utility>
#define llint long long
#define inf 1e18

using namespace std;
typedef pair<llint, llint> P;

struct BIT{
	int size;
	vector<llint> bit;
	BIT(){size = 0;}
	BIT(int s){
		size = s;
		bit.resize(size+1);
		init();
	}
	void init(){
		for(int i = 1; i <= size; i++) bit[i] = 0;
	}
	llint query(int i){
		llint ret = 0;
		while(i > 0){
			ret += bit[i];
			i -= i&(-i);
		}
		return ret;
	}
	void add(int i, llint x){
		while(i <= size){
			bit[i] += x;
			i += i&(-i);
		}
	}
};

struct SegTree{
	int size;
	vector<llint> seg;
	
	SegTree(){}
	SegTree(int size){
		this->size = size;
		seg.resize(1<<(size+1));
	}
	
	void init()
	{
		for(int i = 0; i < (1<<(size+1)); i++) seg[i] = inf;
	}
	
	void update(int i, llint val)
	{
		i += (1 << size);
		seg[i] = val;
		while(i > 1){
			i /= 2;
			seg[i] = min(seg[i*2], seg[i*2+1]);
		}
	}

	llint query(int a, int b, int k, int l, int r)
	{
		if(b < l || r < a) return inf;
		if(a <= l && r <= b) return seg[k];
		llint lval = query(a, b, k*2, l, (l+r)/2);
		llint rval = query(a, b, k*2+1, (l+r)/2+1, r);
		return min(lval, rval);
	}
	llint query(int a, int b)
	{
		return query(a, b, 1, 0, (1<<size)-1);
	}
};

llint n, l;
llint a[100005], b[100005];
llint c[100005], sumc[100005];

vector<P> vec;
BIT bit(100005);
SegTree seg(17);
llint pnum;

llint get(llint x)
{
	llint ub = pnum+1, lb = -1, mid;
	while(ub-lb>1){
		mid = (ub+lb)/2;
		if(bit.query(mid) >= x) ub = mid;
		else lb = mid;
	}
	return ub;
}

int main(void)
{
	cin >> n >> l;
	for(int i = 1; i <= n; i++) cin >> a[i] >> b[i];
	for(int i = 1; i <= n; i++) cin >> c[i];
	for(int i = 1; i <= n; i++) sumc[i] = sumc[i-1] + c[i];
	
	for(int i = 1; i <= n; i++) vec.push_back(make_pair(a[i]-b[i], i));
	sort(vec.rbegin(), vec.rend());
	
	for(int i = 0; i < vec.size(); i++){
		if(vec[i].first < 0) break;
		bit.add(i+1, vec[i].first);
		pnum++;
	}
	llint tpos = n+1;
	for(int i = 1; i <= pnum; i++){
		if(bit.query(i) - sumc[i] <= 0){
			tpos = i;
			break;
		}
	}
	
	seg.init();
	for(int i = 1; i <= pnum; i++) seg.update(i, bit.query(i) - sumc[i-1]);
	
	llint ans = inf;
	for(int i = 0; i < vec.size(); i++){
		llint id = vec[i].second;
		if(i < pnum){
			bit.add(i+1, -vec[i].first);
			llint p = get(l - a[id]);
			bit.add(i+1, vec[i].first);
			if(p > pnum || p >= tpos) continue;
			if(p < i+2) ans = min(ans, p+1);
			else if(seg.query(i+2, p) > vec[i].first) ans = min(ans, p);
		}
		else{
			llint p = get(l - a[id]);
			if(p > pnum) continue;
			if(p < tpos) ans = min(ans, p+1);
		}
	}
	if(ans >= inf) cout << -1 << endl;
	else cout << ans << endl;
	
	return 0;
}