【做题记录】 [JLOI2011]不等式组

P5482 [JLOI2011]不等式组

超烦人的细节题！（本人调了两天 QAQ ）

这里介绍一种只用到一只树状数组的写法（离线）。

树状数组的下标是：所有可能出现的数据进行离散化之后的值。

其含义为：当 \(x\) 离散化后值为 \(i\) 时能满足的不等式个数为 \(query(i)\) 个。

处理数据

首先我们先读入所有数据，并对数据处理：

\(\text{Add} ~a_i~b_i~c_i\) ：

若 \(a_i>0\) 将 \(a_ix+b_i>c_i\) 转化成 \(x\ge t_i\) 的形式。

若 \(a_i<0\) 将 \(a_ix+b_i>c_i\) 转化成 \(x\le t_i\) 的形式。

并将 \(t_i\) 丢进离散化的序列中。

注意：所有的除法运算都是向 \(0\) 取整，还要注意除法变号问题等等。

\(\text{Del}\) ：

在处理 \(\text{Add}\) 时提前记录第 \(x\) 个 \(\text{Add}\) 操作所对应的输入操作编号。

\(\text{Query}\) ：

将 \(k_i\) 丢进离散化序列中。

之后将序列中的数离散化，给 \(\text{Add}\) 中的 \(t_i\) 和 \(\text{Query}\) 中的\(k_i\) 都附上一个离散化后的值（ \(Instead_i\) ）。

计算答案

\(\text{Add}\) ：

若 \(a_i>0\) 则在 \([t_i,+\infty)\) 区间内的 \(Instead_x\) 都可以使不等式成立。

同理，若 \(a_i<0\) 则在 \((-\infty,t_i]\) 区间内的 \(Instead_x\) 都可以使不等式成立。

在区间内加 \(1\) 即可。

\(\text{Del}\) 和 \(\text{Add}\) 几乎一致，变为区间减 \(1\) 。

\(\text{Query}~k_i\) 即可直接查询并输出 \(Query(Instead_i)\) 。

最后附上 100pts 代码：

#include<bits/stdc++.h>

using namespace std;

#define Maxn 100005

#define inf 0x7f7f7f7f

typedef long long ll;

inline int rd()

{

	 int x=0;

     char ch,t=0;

     while(!isdigit(ch = getchar())) t|=ch=='-';

     while(isdigit(ch)) x=x*10+(ch^48),ch=getchar();

     return x=t?-x:x;

}

int n,tmp,tot,cnt;

map<int,int> mp;

int Ins_val[Maxn],hist[Maxn];

struct Data

{

	 int opt,t,Ins;

	 int pre,used;

}a[Maxn];

int tree[Maxn];

inline int lowbit(int x){ return x&(-x); }

void add(int x,int k)

{

	 while(x<=tot+1) tree[x]+=k,x+=lowbit(x);

}

int query(int x)

{

	 int ret=0;

	 while(x) ret+=tree[x],x-=lowbit(x);

	 return ret;

}

int main()

{

     //freopen(".in","r",stdin);

     //freopen(".out","w",stdout);

	 n=rd();

	 string opt;

	 for(int i=1,x,y,z,A,B,C;i<=n;i++)

	 {

	 	 cin>>opt;

	 	 if(opt=="Add")

		 {

		 	 A=rd(),B=rd(),C=rd(),hist[++cnt]=i;

			 a[i].opt=2-(A>=0); // 当 a>=0 时 opt=1 ，否则 opt=2

			 if(A==0) a[i].t=(B>C)?(-inf+1):inf;

			 else if(A>0) a[i].t=(C-B)/A+(((C-B)>=0)?1:(((C-B)/A*A==(C-B))?1:0));

			 else a[i].t=(C-B)/A-(((C-B)>=0)?1:(((C-B)/A*A==(C-B))?1:0));

			 Ins_val[++tmp]=a[i].t;

		 }

	 	 if(opt=="Del")

		 {

		 	 a[i].pre=hist[rd()];

			 a[i].opt=a[a[i].pre].opt+2; // 当 a>=0 时 opt=3 ，否则 opt=4

			 a[i].t=a[a[i].pre].t;

		 }

	 	 if(opt=="Query") a[i].opt=5,a[i].t=rd(),Ins_val[++tmp]=a[i].t;

	 }

	 sort(Ins_val+1,Ins_val+1+tmp);

	 Ins_val[0]=-inf;

	 for(int i=1;i<=tmp;i++) if(Ins_val[i]!=Ins_val[i-1]) mp[Ins_val[i]]=++tot;

	 for(int i=1;i<=n;i++) a[i].Ins=mp[a[i].t];

	 for(int i=1;i<=n;i++)

	 {

	 	 if(a[i].t==inf) continue; // a==0 && b<c

	 	 if(a[i].opt==1) add(tot+1,-1),add(a[i].Ins,1); //  a>0 || (a==0 && b>c)

	 	 if(a[i].opt==2) add(a[i].Ins+1,-1),add(1,1); //  a<0

	 	 if(a[i].opt==3 && !a[a[i].pre].used) add(tot+1,1),add(a[i].Ins,-1),a[a[i].pre].used=1; // a>0 || (a==0 && b>c)

	 	 if(a[i].opt==4 && !a[a[i].pre].used) add(a[i].Ins+1,1),add(1,-1),a[a[i].pre].used=1; // a<0

	 	 if(a[i].opt==5) printf("%d\n",query(a[i].Ins));

	 }

     //fclose(stdin);

     //fclose(stdout);

     return 0;

}

巴特西

【做题记录】 [JLOI2011]不等式组

处理数据

计算答案

最新文章

热门文章