SNOI2017(BZOJ5015~5018)泛做

Posted HocRiser

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了SNOI2017(BZOJ5015~5018)泛做相关的知识,希望对你有一定的参考价值。

T1:礼物

想错方向了,实际上很简单。

我想的是:显然题目求的是$\sum_{i=1}^{n} i^{k}2^{i}$,然后或许可以通过化式子变成与n无关的复杂度?

然后就不停往斯特林数反演和下降幂的方向想,最后什么都没想出来。

其实想一会就应该意识到:这完全就是一个不可直接化简的式子啊。

$A[i]$表示第$i$个人送的礼物数,$S[i]$为前缀和,那么显然有$S[i]=2*S[i-1]+i^k$,这样就把思路引导矩乘方面去了。

如何矩乘呢?考虑题目的提示。首先$i^k$这个东西不好直接转移到$(i+1)^k$,其次发现转移的话根据二项式定理需要$i^1,i^2,...,i^k$的所有数,最后从题目“$K \leq 10$”可以猜到,一定是将$i^1 i^2 ... i^k$全部扔进矩阵,和$S[i]$一起转移,转移矩阵则正好是$C_i^j$的转置矩阵,这样就可以$O(\log n \times k^3)$解决问题

技术分享图片
 1 #include<cstdio>
 2 #include<algorithm>
 3 #include<cstring>
 4 #define rep(i,l,r) for (int i=l; i<=r; i++)
 5 typedef long long ll;
 6 using namespace std;
 7 
 8 const ll P=1000000007;
 9 ll n,c[20][20];
10 int m;
11 
12 struct M{ ll a[20][20]; M(){ memset(a,0,sizeof(a)); } }tr,a1,a2;
13 M mul(M a,M b){
14     M c;
15     rep(i,0,m+1) rep(j,0,m+1) rep(k,0,m+1) c.a[i][k]=(c.a[i][k]+a.a[i][j]*b.a[j][k])%P;
16     return c;
17 }
18 
19 M ksm(M a,ll b){
20     M x=tr;
21     for (; b; x=mul(x,x),b>>=1)
22         if (b & 1) a=mul(a,x);
23     return a;
24 }
25 
26 int main(){
27     scanf("%lld%d",&n,&m);
28     rep(i,0,m) c[i][0]=1;
29     rep(i,1,m) rep(j,1,i) c[i][j]=(c[i-1][j-1]+c[i-1][j])%P;
30     rep(i,0,m){
31         a1.a[0][i]=a2.a[0][i]=1;
32         rep(j,0,i) tr.a[j][i]=c[i][j];
33     }
34     tr.a[m+1][m+1]=2; tr.a[m][m+1]=1;
35     a1=ksm(a1,n-1); a2=ksm(a2,n);
36     printf("%lld\n",(a2.a[0][m+1]-a1.a[0][m+1]+P)%P);
37     return 0;
38 }
View Code

T2:一个简单的询问

求和上面的无穷符号第一眼有点吓人,实际上就是n。

看数据范围就知道是分块。怎么分?这个虽然简单,但还是有点难想的。$$get(l1,r1,x)\times get(l2,r2,x)$$$$= (get(l1,r1,x)-get(1,l1-1,x))  \times (get(l2,r2,x)-get(1,l2-1,x))$$$$= get(1,r1,x)\times get(1,r2,x)-get(1,r1,x) \times get(1,l2-1,x)-get(1,l1-1,x) \times get(1,r2,x)+get(1,l1-1,x) \times get(1,l2-1,x)$$

这样就可以看出来是莫队了,这里的莫队已经不是传统的$[L,R]$区间询问了,而是真正的曼哈顿最小生成树的替代品。

技术分享图片
 1 #include<cmath>
 2 #include<cstdio>
 3 #include<algorithm>
 4 #define rep(i,l,r) for (int i=l; i<=r; i++)
 5 typedef long long ll;
 6 using namespace std;
 7 
 8 const int N=50100;
 9 ll res[N],ans;
10 int n,m,a[N],l1,r1,l2,r2,L,R,tot,num1[N],num2[N];
11 struct Q{ int l,r,k,id,pos; }q[N<<2];
12 bool cmp(Q a,Q b){ return (a.pos==b.pos) ? a.r<b.r : a.pos<b.pos; }
13 
14 int main(){
15     scanf("%d",&n); int bl=sqrt(n);
16     rep(i,1,n) scanf("%d",&a[i]);
17     scanf("%d",&m);
18     rep(i,1,m){
19         scanf("%d%d%d%d",&l1,&r1,&l2,&r2);
20         q[++tot]=(Q){l1-1,l2-1,1,i,(l1-2)/bl+1}; q[++tot]=(Q){r1,r2,1,i,(r1-1)/bl+1};
21         q[++tot]=(Q){l1-1,r2,-1,i,(l1-2)/bl+1}; q[++tot]=(Q){r1,l2-1,-1,i,(r1-1)/bl+1};
22     }
23     sort(q+1,q+tot+1,cmp);
24     rep(i,1,tot){
25         while (R<q[i].r) ans+=num1[a[++R]],num2[a[R]]++;
26         while (L>q[i].l) ans-=num2[a[L]],num1[a[L--]]--;
27         while (R>q[i].r) ans-=num1[a[R]],num2[a[R--]]--;
28         while (L<q[i].l) ans+=num2[a[++L]],num1[a[L]]++;
29         res[q[i].id]+=ans*q[i].k;
30     }
31     rep(i,1,m) printf("%lld\n",res[i]);
32     return 0;
33 }
View Code 

 T3:炸弹

想不到想不到,线段树的新应用。
首先可以看出是图论,每个炸弹向可以引爆的炸弹连边,强连通块$Tarjan$缩点后建出反图,再按拓扑序跑一遍$DP$计数即可,这是暴力。
发现每个点连出去的所有点一定是一段连续的区间,所以可以想到线段树。所以我们先按照线段树的方法建点连边,这样最后最多只会有$O(n\log n)$个点和$O(n\log n)$条边了。
发现有不少关于区间的问题可以往线段树方面想。
无故$CE$了$5$发,至今未$AC$,改了$cin$和$cout$也过不了,明明没有任何编译错误信息,辣鸡$BZOJ$。

技术分享图片
 1 #include<cstdio>
 2 #include<queue>
 3 #include<iostream>
 4 #include<algorithm>
 5 #define ls (x<<1)
 6 #define rs ((x<<1)|1)
 7 #define lson ls,L,mid
 8 #define rson rs,mid+1,R
 9 #define rep(i,l,r) for (int i=l; i<=r; i++)
10 typedef long long ll;
11 using namespace std;
12 
13 const int N=2000100,M=20000100,mod=1000000007;
14 int scc,n,tim,top,dfn[N],low[N],ind[N],inq[N],stk[N],bel[N],pos[N];
15 ll ans,a[N],p[N],v[N],Min[N],Max[N],mn[N],mx[N];
16 queue<int>Q;
17 
18 struct Graph{
19     int cnt,to[M],nxt[M],h[N];
20     void add(int u,int v){ to[++cnt]=v; nxt[cnt]=h[u]; h[u]=cnt; }
21     void tarjan(int x){
22         dfn[x]=low[x]=++tim; inq[x]=1; stk[++top]=x;
23         for (int i=h[x],k; i; i=nxt[i])
24             if (!dfn[k=to[i]]) tarjan(k),low[x]=min(low[x],low[k]);
25                 else if (inq[k]) low[x]=min(low[x],dfn[k]);
26         if (low[x]==dfn[x]){
27             scc++; int t;
28             do{
29                 t=stk[top--]; bel[t]=scc; inq[t]=0;
30                 Min[scc]=min(Min[scc],mn[t]);
31                 Max[scc]=max(Max[scc],mx[t]);
32             }while (t!=x);
33         }
34     }
35 }G,G1;
36 
37 void build(int x,int L,int R){
38     if (L==R) { pos[L]=x; return; }
39     int mid=(L+R)>>1; mn[x]=1ll<<62; mx[x]=-(1ll<<62);
40     build(lson); build(rson);
41     G.add(x,ls); G.add(x,rs);
42 }
43 
44 void upd(int x,int L,int R,int k,int l,int r){
45     if (L==l && r==R) { G.add(k,x); return; }
46     int mid=(L+R)>>1;
47     if (r<=mid) upd(lson,k,l,r);
48     else if (l>mid) upd(rson,k,l,r);
49         else upd(lson,k,l,mid),upd(rson,k,mid+1,r);
50 }
51 
52 int main(){
53     freopen("bzoj5017.in","r",stdin);
54     freopen("bzoj5017.out","w",stdout);
55     ios::sync_with_stdio(false);
56     cin>>n; build(1,1,n);
57     rep(i,1,n) cin>>a[i]>>v[i],mn[pos[i]]=mx[pos[i]]=a[i];
58     a[n+1]=1ll<<62;
59     rep(i,1,n){
60         int l=lower_bound(a+1,a+n+2,a[i]-v[i])-a;
61         int r=upper_bound(a+1,a+n+2,a[i]+v[i])-a-1;
62         upd(1,1,n,pos[i],l,r);
63     }
64     rep(i,1,n<<2) if (!dfn[i]) G.tarjan(i);
65     rep(x,1,n<<2) for (int i=G.h[x],k; i; i=G.nxt[i])
66         if (bel[x]!=bel[k=G.to[i]]) G1.add(bel[k],bel[x]),ind[bel[x]]++;
67     rep(i,1,scc) if (!ind[i]) Q.push(i);
68     while (!Q.empty()){
69         int x=Q.front(); Q.pop();
70         for (int i=G1.h[x],k; i; i=G1.nxt[i]){
71             ind[k=G1.to[i]]--; Min[k]=min(Min[k],Min[x]),Max[k]=max(Max[k],Max[x]);
72             if (!ind[k]) Q.push(k);
73         }
74     }
75     rep(i,1,n){
76         int r=upper_bound(a+1,a+n+1,Max[bel[pos[i]]])-a;
77         int l=lower_bound(a+1,a+n+1,Min[bel[pos[i]]])-a;
78         ans=(ans+1ll*(r-l)*i)%mod;
79     }
80     cout<<ans<<endl;
81     return 0;
82 }
View Code

T4:英雄联盟。
一眼想出暴力做法,发现连暴力分都拿不到,然后就不会了。
一看题解,发现暴力就是正解,十分崩溃。
$f[i][j]$表示前$i$个英雄花$j$元所能得到的最多方案数,直接转移,普及组难度。
可能会爆$long long$,所以所有大于$m$的都记成等于就好了。

技术分享图片
 1 #include<cstdio>
 2 #include<algorithm>
 3 #define rep(i,l,r) for (int i=l; i<=r; i++)
 4 typedef long long ll;
 5 using namespace std;
 6 
 7 ll f[125][250010],m,t;
 8 int n,c[125],k[125];
 9 
10 int main(){
11     scanf("%d%lld",&n,&m);
12     rep(i,1,n) scanf("%d",&k[i]);
13     rep(i,1,n) scanf("%d",&c[i]);
14     f[0][0]=1;
15     rep(i,1,n){
16         rep(j,0,t) f[i][j]=f[i-1][j];
17         rep(j,2,k[i]) rep(l,c[i]*j,t+c[i]*j)
18             f[i][l]=min(m,max(f[i][l],(ll)f[i-1][l-j*c[i]]*j));
19         t+=c[i]*k[i];
20     } 
21     rep(i,0,t) if(f[n][i]>=m) { printf("%d\n",i); return 0; }
22     return 0;
23 }
View Code

 

以上是关于SNOI2017(BZOJ5015~5018)泛做的主要内容,如果未能解决你的问题,请参考以下文章

BZOJ_5015_[Snoi2017]礼物_矩阵乘法

bzoj5015: [Snoi2017]礼物

BZOJ5018[Snoi2017]英雄联盟 背包

BZOJ 5018 [Snoi2017]英雄联盟

bzoj5018: [Snoi2017]英雄联盟

bzoj5018[Snoi2017]英雄联盟 背包dp