博客
关于我
强烈建议你试试无所不能的chatGPT,快点击我
6.13 考试总结
阅读量:5337 次
发布时间:2019-06-15

本文共 4918 字,大约阅读时间需要 16 分钟。

因为今天并没有修改,所以只能总结了

又莫名其妙rank1了,貌似是因为我第三题的暴力写的吼?

 

第一题

貌似是BZOJ原题,zcg他们都做过

但是我没有做过,想了想发现是丝薄的二元关系最小割

按照pty论文里的建图方法弄了一下,算了算K值之后发现要求这个图必须是二分图才可以

然后思考了一下,随机了半个小时的数据跑发现都是二分图(这是OI的证明方法

(我猜这个题目的某种特别的性质决定了这是二分图,没错,就是这样)

于是就放心的写了个二分图染色建图跑最小割QAQ A掉了QAQ

至于二分图的数学证明,是这样的:

1、(a,b)=1,所以a,b不都是偶数

2、考虑a,b都是奇数,不妨设a=2*x-1,b=2*y-1

则(2*x-1)^2+(2*y-1)^2=2*(2*x^2-2*x+2*y^2-2*y+1)

不难发现后面的式子2的指数为1,所以不可能是完全平方数

由于偶数之间不会建边,奇数之间不会建边,所以原图是二分图

不用二分图染色直接分奇偶就可以了

#include
#include
#include
#include
#include
#include
#include
using namespace std;typedef long long LL;const int maxn=1010;const int oo=0x7fffffff;int n,ans,S,T;int a[maxn],b[maxn];int h[maxn],cnt=1;int cur[maxn],col[maxn],vis[maxn];bool check[maxn][maxn];struct edge{ int to,next,w;}G[5000010];queue
Q;int gcd(int a,int b){return b==0?a:gcd(b,a%b);}void add(int x,int y,int z=0){ ++cnt;G[cnt].to=y;G[cnt].next=h[x];G[cnt].w=z;h[x]=cnt;}void read(int &num){ num=0;char ch=getchar(); while(ch<'!')ch=getchar(); while(ch>='0'&&ch<='9')num=num*10+ch-'0',ch=getchar();}bool judge(int a,int b){ int c=gcd(a,b); if(c!=1)return false; LL now=1LL*a*a+1LL*b*b; int k=(int)(sqrt(now)); if(1LL*k*k!=now)return false; return true;}void Get_check(){ for(int i=1;i<=n;++i){ for(int j=i+1;j<=n;++j){ if(judge(a[i],a[j])){ check[i][j]=true; } } }return;}void paint(int u){ for(int i=h[u];i;i=G[i].next){ int v=G[i].to; if(col[v])continue; col[v]=3-col[u]; paint(v); }return;}void Get_paint(){ for(int i=1;i<=n;++i){ for(int j=i+1;j<=n;++j){ if(check[i][j])add(i,j),add(j,i); } } for(int i=1;i<=n;++i){ if(!col[i])col[i]=1,paint(i); }}void build_Graph(){ memset(h,0,sizeof(h));cnt=1; S=0;T=n+1; for(int i=1;i<=n;++i){ for(int j=i+1;j<=n;++j){ if(check[i][j]){ int u=i,v=j; if(col[u]!=1)swap(u,v); add(u,v,oo);add(v,u,0); } } } for(int i=1;i<=n;++i){ if(col[i]==1)add(S,i,b[i]),add(i,S,0); else add(i,T,b[i]),add(T,i,0); }return;}bool BFS(){ Q.push(S); for(int i=S;i<=T;++i)vis[i]=-1; vis[S]=0; while(!Q.empty()){ int u=Q.front();Q.pop(); for(int i=h[u];i;i=G[i].next){ int v=G[i].to; if(vis[v]==-1&&G[i].w>0){ vis[v]=vis[u]+1; Q.push(v); } } }return vis[T]!=-1;}int DFS(int x,int f){ if(x==T||f==0)return f; int w,used=0; for(int i=cur[x];i;i=G[i].next){ if(vis[G[i].to]==vis[x]+1){ w=f-used; w=DFS(G[i].to,min(w,G[i].w)); G[i].w-=w;G[i^1].w+=w; if(G[i].w>0)cur[x]=i; used+=w;if(used==f)return used; } } if(!used)vis[x]=-1; return used;}void dinic(){ while(BFS()){ for(int i=S;i<=T;++i)cur[i]=h[i]; ans-=DFS(S,oo); }return;}int main(){ freopen("number.in","r",stdin); freopen("number.out","w",stdout); read(n); for(int i=1;i<=n;++i)read(a[i]); for(int i=1;i<=n;++i)read(b[i]),ans+=b[i]; Get_check();Get_paint(); build_Graph();dinic(); printf("%d\n",ans); return 0;}

第二题

第二题给了一堆莫名的集合交并的式子

由于这个题目的时间复杂度由读入的点数决定,不难想到虚树一类的东西

考虑如何用树来描述这样的一个关系

当A集合的大小均为1的时候不难发现给定的每个点就是他的父亲

集合的元素就是他到根的所有的点的代表元素

考虑A集合的大小>1,不难发现每个点的父亲是A集合所有点在树上的LCA(即所有点的交

建出树之后我们考虑如何求一些集合的交,考试的时候思考了很久要不要写虚树

开始写之后发现这是求链交的裸模型,然后由于每条链的一个端点是根,所以我们直接将读入的点按DFS序排序

这样答案就是所有点的深度之和减去所有相邻两个点的LCA的深度和(实际上这差不多也就是个虚树的过程

#include
#include
#include
#include
#include
using namespace std;const int maxn=200010;int n,k,x,N,m;int anc[maxn][20];int dep[maxn];int h[maxn],cnt=0;struct edge{ int to,next;}G[maxn<<1];int st[maxn],ed[maxn],tot=0;int S[maxn];bool cmp(const int &a,const int &b){ return st[a]
='0'&&ch<='9')num=num*10+ch-'0',ch=getchar();}int LCA(int p,int q){ if(dep[p]
=0;--i){ if(dep[p]-(1<
=dep[q])p=anc[p][i]; } if(p==q)return p; for(int i=log;i>=0;--i){ if(anc[p][i]!=-1&&anc[q][i]!=anc[p][i]){ p=anc[p][i];q=anc[q][i]; } }return anc[p][0];}void merge(int u,int f){ anc[u][0]=f;dep[u]=dep[f]+1; add(f,u); for(int i=1;(1<
<=N;++i)anc[u][i]=-1; for(int i=1;(1<
<=N;++i){ if(anc[u][i-1]!=-1){ int a=anc[u][i-1]; anc[u][i]=anc[a][i-1]; }else break; }return;}void Get_DFS(int u){ st[u]=++tot; for(int i=h[u];i;i=G[i].next)Get_DFS(G[i].to); ed[u]=tot;}int main(){ freopen("legend.in","r",stdin); freopen("legend.out","w",stdout); read(n);N=n+1; for(int i=0;(1<
<=N;++i)anc[0][i]=-1; for(int i=1;i<=n;++i){ read(k); if(!k){merge(i,0);continue;} read(x);int now=x; for(int j=2;j<=k;++j){read(x);now=LCA(now,x);} merge(i,now); }Get_DFS(0);read(m); while(m--){ read(k); for(int i=1;i<=k;++i)read(S[i]); sort(S+1,S+k+1,cmp); int ans=dep[S[1]]; for(int i=2;i<=k;++i){ ans+=dep[S[i]]; int now=LCA(S[i],S[i-1]); ans-=dep[now]; }printf("%d\n",ans); }return 0;}

第三题

代码貌似能7k+

感觉并不想写

就简单口胡一下题解吧

首先考虑只有第一个限制的情况,这是非常简单的

我们建出后缀树,之后做一遍DFS,启发式合并所有的后缀

当前节点是否合法当且仅当相邻的两个后缀的差值的最大值不能超过当前节点的长度

之后我们考虑第二个限制,我们考虑当前这个节点第一次出现的位置

不难发现我们要求的是这个第一次出现的位置在拼接一个后缀后是否是一个后缀

这个我想的做法是在反着建一遍后缀自动机,在启发式合并的时候顺便维护一下

问题就转化成了 简单的最近公共祖先 了QAQ 好开心

没错,如果一个题你要建两个SAM,还要写Spaly启发式合并,然后还要写树链剖分的话

我觉得应该没有什么必要去写了QAQ

转载于:https://www.cnblogs.com/joyouth/p/5581227.html

你可能感兴趣的文章
hbuilder调底层运用,多张图片上传
查看>>
较快的maven的settings.xml文件
查看>>
Git之初体验 持续更新
查看>>
随手练——HDU 5015 矩阵快速幂
查看>>
Maven之setting.xml配置文件详解
查看>>
SDK目录结构
查看>>
malloc() & free()
查看>>
HDU 2063 过山车
查看>>
高精度1--加法
查看>>
String比较
查看>>
Django之Models
查看>>
CSS 透明度级别 及 背景透明
查看>>
Linux 的 date 日期的使用
查看>>
PHP zip压缩文件及解压
查看>>
SOAP web service用AFNetWorking实现请求
查看>>
Java变量类型,实例变量 与局部变量 静态变量
查看>>
mysql操作命令梳理(4)-中文乱码问题
查看>>
Python环境搭建(安装、验证与卸载)
查看>>
一个.NET通用JSON解析/构建类的实现(c#)
查看>>
Windows Phone开发(5):室内装修 转:http://blog.csdn.net/tcjiaan/article/details/7269014
查看>>