Codeforces Round #189 (Div. 1) C. Kalila and Dimna in the Logging Industry（李超树）

题目链接：http://codeforces.com/problemset/problem/319/C

 

挺简单的，记一个李超树的板子

 

代码：

#include<bits/stdc++.h>
#define xx first
#define yy second
#define mp make_pair
#define pb push_back
using namespace std;
typedef long long ll;
typedef pair<int,int> pii;
const int MAXN=1e5+5;
int HASH[MAXN],tot=0;
int a[MAXN],b[MAXN];
template<typename T>
struct seg
{
	#define lson l,mid,rt<<1
	#define rson mid+1,r,rt<<1|1
	struct node
	{
		T a,b;
		node(T _a=0,T _b=0):a(_a),b(_b){}
		void init(){a=1e9,b=1e18;}
	}tr[MAXN<<2];
	bool judge(int x,int rt,node o)
	{
		return tr[rt].a*HASH[x]+tr[rt].b>o.a*HASH[x]+o.b;
	}
	void build(int l,int r,int rt)
	{
		tr[rt].init();
		if(l==r)
		{
			return ;
		}
		int mid=(l+r)>>1;
		build(lson);
		build(rson);
	}
	void update(T a,T b,int l,int r,int rt)
	{
		node o=node(a,b);
		int mid=(l+r)>>1;
		if(judge(mid,rt,o))
		{
			swap(o,tr[rt]);
		}
		if(l==r) return ;
		if(judge(l,rt,o)||judge(mid,rt,o))
		{
			update(o.a,o.b,lson);
		}
		if(judge(mid+1,rt,o)||judge(r,rt,o))
		{
			update(o.a,o.b,rson);
		}
	}
	//返回线段树节点的id
	int query(int pos,int l,int r,int rt)
	{
		if(l==r)
		{
			return rt;
		}
		int mid=(l+r)>>1;
		int ret;
		if(mid>=pos) ret=query(pos,lson);
		if(mid<pos) ret=query(pos,rson);
		if(judge(pos,ret,tr[rt])) ret=rt;
		return ret;
	}
};
seg<ll> se;
int n;
ll dp[MAXN];
int getid(int x)
{
	int pos=lower_bound(HASH+1,HASH+1+tot,x)-HASH;
	return pos;
}
int main()
{
	//freopen("in.txt","r",stdin);
	//freopen("out.txt","w",stdout);
	scanf("%d",&n);
	for(int i=1;i<=n;i++)
	{
		scanf("%d",&a[i]);
		HASH[++tot]=a[i];
	}
	for(int i=1;i<=n;i++)
	{
		scanf("%d",&b[i]);
	}
	sort(HASH+1,HASH+1+tot);
	tot=unique(HASH+1,HASH+1+tot)-HASH-1;
	for(int i=1;i<=n;i++)
		a[i]=getid(a[i]);
	se.build(1,tot,1);
	se.update(b[1],dp[1],1,tot,1);
	for(int i=2;i<=n;i++)
	{
		int id=se.query(a[i],1,tot,1);
		ll A=se.tr[id].a,B=se.tr[id].b;
		ll res=A*HASH[a[i]]+B;
		dp[i]=res;
		se.update(b[i],dp[i],1,tot,1);
	}
	printf("%lld\n",dp[n]);
	return 0;
}