結果
| 問題 | No.568 じゃんじゃん 落とす 委員会 | 
| コンテスト | |
| ユーザー |  | 
| 提出日時 | 2020-03-05 15:27:31 | 
| 言語 | C++14 (gcc 13.3.0 + boost 1.87.0) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 90 ms / 1,000 ms | 
| コード長 | 1,346 bytes | 
| コンパイル時間 | 787 ms | 
| コンパイル使用メモリ | 79,728 KB | 
| 実行使用メモリ | 5,368 KB | 
| 最終ジャッジ日時 | 2024-10-14 01:16:17 | 
| 合計ジャッジ時間 | 3,151 ms | 
| ジャッジサーバーID (参考情報) | judge3 / judge4 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| other | AC * 26 | 
コンパイルメッセージ
main.cpp:35:1: warning: ISO C++ forbids declaration of 'main' with no type [-Wreturn-type]
   35 | main()
      | ^~~~
            
            ソースコード
#include<iostream>
#include<vector>
#include<algorithm>
using namespace std;
//1-indexed
#include<vector>
template<typename T>
struct BIT{
	int n;
	vector<T>bit;
	BIT(int n_=0):n(n_),bit(n_+1){}
	T sum(int i)
	{
		T ans=0;
		for(;i>0;i-=i&-i)ans+=bit[i];
		return ans;
	}
	void add(int i,T a)
	{
		if(i==0)return;
		for(;i<=n;i+=i&-i)bit[i]+=a;
	}
	int lower_bound(T k)//k<=sum(ret)
	{
		if(k<=0)return 0;
		int ret=0,i=1;
		while((i<<1)<=n)i<<=1;
		for(;i;i>>=1)
			if(ret+i<=n&&bit[ret+i]<k)k-=bit[ret+=i];
		return ret+1;
	}
};
int N,M;
vector<pair<int,int> >X[4];
main()
{
	cin>>N>>M;
	for(int i=0;i<N;i++)
	{
		int x,a,b;cin>>x>>a>>b;
		X[x].push_back(make_pair(100001-a,100001-b));
	}
	int ans=N;
	BIT<int>P(1<<17),Q(1<<17);
	for(int i=0;i<3;i++)sort(X[i].begin(),X[i].end());
	for(pair<int,int>p:X[1])P.add(p.second,1);
	for(pair<int,int>p:X[2])Q.add(p.second,1);
	int i[3]={};
	int cnt3=X[3].size();
	for(int SA=0;SA<=100001;SA++)
	{
		for(int j=0;j<3;j++)
		{
			while(i[j]<X[j].size()&&X[j][i[j]].first<=SA)
			{
				int B=X[j][i[j]].second;
				if(j==0)P.add(B,1);
				else if(j==1)
				{
					P.add(B,-1);
					Q.add(B,1);
				}
				else
				{
					Q.add(B,-1);
					cnt3++;
				}
				i[j]++;
			}
		}
		int left=M-cnt3-Q.sum(1<<17);
		int k=P.lower_bound(left);
		if(P.sum(k)>=left)ans=min(ans,cnt3+Q.sum(k));
	}
	cout<<ans<<endl;
}
            
            
            
        