这还是个被我咕了N久的玩意

Minkowski和是一个奇怪的玩意

他长这样

$S={a+b \| a \in A , b \in B}$

AB可以是点集也可是向量集(显然)

他可以处理一些奇怪的东西

比如说我们来看这个题

JSOI2018 战争

你发现它要求的就是判断向量是否存在于A-B的Minkowski和里

那么你套上板子就做完了

好了你大概了解了Minkowski和是什么

我们现在来学怎么写

我们根据直观理解 Minkowski上的点一定是点集构成的凸包上的点

于是我们暴力求出所有点再进行一次求凸包就做完了 复杂度是 O(|A|*|B|)

它看起来就不是很优 肯定可以优化

我们发现很好的性质 凸包上的点它的斜率是单调的 所以显然可以TwoPointers优化

我们直接观察哪一个在外面拓展就可以了

代码实现扔这里了

//Love and Freedom.
#include<algorithm>
#include<cmath>
#include<cstring>
#include<cstdio>
#define inf 20021225
#define ll long long
#define db double
#define eps 1e-8
#define N 200010
using namespace std;
int read()
{
int f=,s=; char ch=getchar();
while(ch<''||ch>''){if(ch=='-') f=-; ch=getchar();}
while(ch>=''&&ch<='') s=s*+ch-'',ch=getchar();
return f*s;
}
struct poi
{
db x,y;
poi(){}
poi(db _x,db _y){x=_x,y=_y;}
};
typedef poi vec;
vec operator+(vec a,vec b){return vec(a.x+b.x,a.y+b.y);}
vec operator-(vec a,vec b){return vec(a.x-b.x,a.y-b.y);}
vec operator*(vec a,db b){return vec(a.x*b,a.y*b);}
vec operator/(vec a,db b){return vec(a.x/b,a.y/b);}
db cross(vec a,vec b){return a.x*b.y-a.y*b.x;}
db dot(vec a){return a.x*a.x+a.y*a.y;}
db len(vec a){return sqrt(dot(a));}
db dis(poi a,poi b){return len(b-a);}
poi p0;
int dcmp(db x){return x>eps?:x<-eps?-:;}
bool cmp(poi p1,poi p2){return dcmp(cross(p1-p0,p2-p0))==||(dcmp(cross(p1-p0,p2-p0))==&&dis(p0,p1)<dis(p0,p2));}
int gethull(poi *p,poi *h,int n)
{
p0=poi{1e18,1e18}; int id=;
for(int i=;i<=n;i++)
if(dcmp(p[i].x-p0.x)<||(dcmp(p[i].x-p0.x)==&&dcmp(p[i].y-p0.y)<))
id=i,p0=p[i];
swap(p[],p[id]); sort(p+,p+n+,cmp);
int top=; h[]=p[],h[]=p[];
for(int i=;i<=n;i++)
{
while(top>&&dcmp(cross(p[i]-h[top-],h[top]-h[top-]))>=) top--;
h[++top]=p[i];
}
return top;
}
poi A[N],B[N],p[N],C[N]; int na,nb,nc;
void minkowski()
{
A[na+]=A[],B[nb+]=B[];
C[nc=]=A[]+B[]; int i=,j=;
while(i<=na&&j<=nb)
{
vec v1=A[i+]+B[j]-C[nc],v2=A[i]+B[j+]-C[nc];
if(dcmp(cross(v1,v2))>=)
C[++nc]=A[i+]+B[j],i++;
else
C[++nc]=A[i]+B[j+],j++;
}
while(i<=na) C[++nc]=A[i]+B[j],i++;
while(j<=nb) C[++nc]=A[i]+B[j],j++;
}
bool check(poi w)
{
if((dcmp(cross(w-C[],C[nc]-C[]))==&&dis(C[nc],C[])>=dis(C[],w))||(dcmp(cross(w-C[],C[]-C[]))== && dis(C[],w)<=dis(C[],C[]))) return ;
int l=,r=nc,ans=;
while(l<=r)
{
int mid=l+r>>; poi p1=C[mid];
if(dcmp(cross(p1-C[],w-C[]))>=) l=mid+,ans=mid;
else r=mid-;
}
if(ans==nc||!ans) return ;
poi p1=C[ans],p2=C[ans+];
if(dcmp(cross(p1-w,p2-w))>=) return ;
return ;
}
int main()
{
int n1=read(),n2=read(),q=read();
for(int i=;i<=n1;i++) p[i].x=read(),p[i].y=read();
na=gethull(p,A,n1);
for(int i=;i<=n2;i++) p[i].x=-read(),p[i].y=-read();
nb=gethull(p,B,n2);
minkowski();
while(q--)
{
poi w; w.x=read(),w.y=read();
printf("%d\n",check(w));
}
return ;
}

注:1.求点是否在凸包内可以直接三角剖分以后二分在哪个极角区间内即可 2.至于为什么我想锤爆我自己的狗头呢 因为我的cmp写了dcmp>1调了一个世纪xtbl

另一道题

N校联考的题

(题面好像没法放/px)

就是我们首先猜结论 对于奇数和偶数的答案分别是凸的 那么考虑维护奇偶正负共四个凸的答案

我们分治去做 考虑如何合并

由于是凸的所以差分单调 那么我们就可以TwoPointers优化

然后求完答案继续维护差分数组

(这个玩意貌似还叫做分治max卷积/px)

发现这个过程其实也是在求Minkowski和

我的代码是展开讨论写的 于是它贼快但是贼长(

//Love and Freedom.
#include<algorithm>
#include<cmath>
#include<cstring>
#include<cstdio>
#define inf (ll)(1e18)
#define ll long long
#define N 500010
using namespace std;
int read()
{
int f=,s=; char ch=getchar();
while(ch<''||ch>''){if(ch=='-') f=-; ch=getchar();}
while(ch>=''&&ch<='') s=s*+ch-'',ch=getchar();
return f*s;
}
ll f[N][],d[N][],tmp[N][],a[N];
void solve(int l,int r)
{
if(l==r){f[l][]=a[l],f[l][]=a[l]; d[l][]=a[l],d[l][]=a[l]; return;}
int mid=l+r>>; solve(l,mid); solve(mid+,r);
int it1,it2; ll val;
for(int i=;i<=r-l+;i++) tmp[i][]=-inf,tmp[i][]=inf;
it1=l+,it2=mid+; val=d[l][];
for(int i=;i<=r-l+;i+=) // odd l odd+ r even-
{
tmp[i][]=max(tmp[i][],val);
if(it2>r- && it1>mid-) break;
if(it2>r- || (it1<=mid-&&d[it1][]+d[it1+][]>-d[it2][]-d[it2+][]))
val+=d[it1][]+d[it1+][],it1+=;
else
val-=d[it2][]+d[it2+][],it2+=;
}
it1=l,it2=mid+,val=d[mid+][];// printf("%lld\n",val);
for(int i=;i<=r-l+;i+=) // odd l even+ r odd+
{
tmp[i][]=max(tmp[i][],val);
if(it2>r- && it1>mid-) break;
if(it2>r- || (it1<=mid-&&d[it1][]+d[it1+][]>d[it2][]+d[it2+][]))
val+=d[it1][]+d[it1+][],it1+=;
else
val+=d[it2][]+d[it2+][],it2+=;
}
it1=l+,it2=mid+,val=d[l][]-d[mid+][];
for(int i=;i<=r-l+;i+=) // even l odd+ r odd-
{
tmp[i][]=max(tmp[i][],val);//printf("%d %d %d %lld\n",i,it1,it2,val);// printf("%lld\n",val);
if(it2>r- && it1>mid-) break;
if(it2>r- || (it1<=mid-&&d[it1][]+d[it1+][]>-d[it2][]-d[it2+][]))
val+=d[it1][]+d[it1+][],it1+=;
else
val-=d[it2][]+d[it2+][],it2+=;
}
it1=l,it2=mid+,val=;
for(int i=;i<=r-l+;i+=) // even l even+ r even+
{
tmp[i][]=max(tmp[i][],val);
if(it2>r- && it1>mid-) break;
if(it2>r- || (it1<=mid-&&d[it1][]+d[it1+][]>d[it2][]+d[it2+][]))
val+=d[it1][]+d[it1+][],it1+=;
else
val+=d[it2][]+d[it2+][],it2+=;
} it1=l+,it2=mid+; val=d[l][];
for(int i=;i<=r-l+;i+=) // odd l odd+ r even-
{
tmp[i][]=min(tmp[i][],val);
if(it2>r- && it1>mid-) break;
if(it2>r- || (it1<=mid-&&d[it1][]+d[it1+][]<-d[it2][]-d[it2+][]))
val+=d[it1][]+d[it1+][],it1+=;
else
val-=d[it2][]+d[it2+][],it2+=;
}
it1=l,it2=mid+,val=d[mid+][];
for(int i=;i<=r-l+;i+=) // odd l even+ r odd+
{
tmp[i][]=min(tmp[i][],val);
if(it2>r- && it1>mid-) break;
if(it2>r- || (it1<=mid-&&d[it1][]+d[it1+][]<d[it2][]+d[it2+][]))
val+=d[it1][]+d[it1+][],it1+=;
else
val+=d[it2][]+d[it2+][],it2+=;
}
it1=l+,it2=mid+,val=d[l][]-d[mid+][];
for(int i=;i<=r-l+;i+=) // even l odd+ r odd-
{
tmp[i][]=min(tmp[i][],val);
if(it2>r- && it1>mid-) break;
if(it2>r- || (it1<=mid-&&d[it1][]+d[it1+][]<-d[it2][]-d[it2+][]))
val+=d[it1][]+d[it1+][],it1+=;
else
val-=d[it2][]+d[it2+][],it2+=;
}
it1=l,it2=mid+,val=;
for(int i=;i<=r-l+;i+=) // even l even+ r even+
{
tmp[i][]=min(tmp[i][],val);
if(it2>r- && it1>mid-) break;
if(it2>r- || (it1<=mid-&&d[it1][]+d[it1+][]<d[it2][]+d[it2+][]))
val+=d[it1][]+d[it1+][],it1+=;
else
val+=d[it2][]+d[it2+][],it2+=;
}
//printf("%d %d\n",l,r);
for(int i=;i<=r-l+;i++)
f[l+i-][]=tmp[i][],
f[l+i-][]=tmp[i][];
//puts("");
d[l][]=f[l][],d[l][]=f[l][];
for(int i=l+;i<=r;i++)
d[i][]=f[i][]-f[i-][],
d[i][]=f[i][]-f[i-][];
}
int main()
{
int n=read();
for(int i=;i<=n;i++) a[i]=read();
solve(,n);
for(int i=;i<=n;i++)
printf("%lld ",f[i][]);
return ;
}
05-07 12:10