省选模拟13 题解

A. 同桌的你

每个人渴望与一个人当同桌。

容易发现这个关系形成内向基环树森林。

问题转化为求基环树森林的最大匹配。

任意选一条环上的边,分别尝试该边为匹配边、非匹配边即可。

 

B. 大水题

一个常用的但想不到的东西:将每种颜色出现次数的差值为定值,转化为对颜色序列差分后相等。

然后暴力的做法是枚举2^8,表示答案出现在指定的颜色集合中,分别将差分数组插入、查询哈希表即可。

下面是一个优化:

容易发现可行的颜色集合对于同一个时刻只有不超过8种。

对于每一个左端点,随着右端点的右移,区间颜色集合改变次数不超过8次。

当右端点右移时,给区间颜色集合需要改变的,添加新的一种颜色。

具体实现方式是维护一个$lst$数组,表示第$i$种颜色的最后一次出现位置。

可以参考代码。

 1 #include<bits/stdc++.h>
 2 #define ull unsigned long long
 3 using namespace std;
 4 const int N=1e5+7;
 5 int n,k;
 6 pair<int,int> f[N],t[10];
 7 struct Hash{
 8     const static int p=2333333;
 9     int tot,head[p],nxt[p],val[p];
10     ull to[p];
11     inline int& operator [](ull x){
12         int y=x%p;
13         for(int i=head[y];i;i=nxt[i]) if(to[i]==x) return val[i];
14         nxt[++tot]=head[y]; to[head[y]=tot]=x;
15         return val[tot]=-1;
16     }
17 }mp;
18 int lst[10],cnt[10][N];
19 ull pw[10];
20 inline int calc(int s,int t){
21     int r=0;
22     for(int i=1;i<=8;++i) if(cnt[i][t]-cnt[i][s]) r|=1<<i-1;
23     return r;
24 }
25 inline ull solve(int x,int s){
26     ull r=0; int fir=8;
27     for(int i=1;i<=8;++i) if(s>>i-1&1){ fir=i; break; }
28     for(int i=fir+1;i<=8;++i) if(s>>i-1&1) r=r*133331+cnt[i][x]-cnt[fir][x];
29     return r+s*pw[8];
30 }
31 inline int read(register int x=0,register char ch=getchar(),register int f=0){
32     for(;!isdigit(ch);ch=getchar()) f=ch=='-';
33     for(; isdigit(ch);ch=getchar()) x=(x<<1)+(x<<3)+(ch^48);
34     return f?-x:x;
35 }
36 int main(){
37     n=read(); k=read();
38     for(int i=1;i<=n;++i) f[i].first=read(),f[i].second=read();
39     sort(f+1,f+n+1); int ans=-1;
40     for(int i=pw[0]=1;i<=8;++i) pw[i]=pw[i-1]*133331;
41     for(int i=1;i<=n;++i) ++cnt[f[i].second][i];
42     for(int i=1;i<=8;++i) for(int j=1;j<=n;++j) cnt[i][j]+=cnt[i][j-1];
43     mp[0]=f[1].first;
44     for(int i=1;i<=n;++i){
45         for(int j=lst[f[i].second];j<i;++j){
46             int x=calc(j,i-1),t=x|(1<<f[i].second-1); mp[solve(j,x)]=-1;
47             int &val=mp[solve(j,t)]; if(val==-1) val=f[j+1].first;
48         }
49         lst[f[i].second]=i;
50         for(int j=1;j<=8;++j) t[j]=make_pair(lst[j],j);
51         sort(t+1,t+9); reverse(t+1,t+9);
52         for(int j=1,now=0;j<=8&&t[j].first;++j){
53             now|=1<<t[j].second-1;
54             if(j>=k&&mp[solve(i,now)]!=-1) ans=max(ans,f[i].first-mp[solve(i,now)]);
55         }
56         mp[0]=f[i+1].first;
57     }
58     printf("%d\n",ans);
59     return 0;
60 }
T2

 

C. 佛罗里达

刚开始想的是只需要判定是否为二分图,然后想用并查集来维护这个东西,然后发现有些东西没法搞。

考虑枚举答案$da$,$db$,满足$da<db$。

对于边权$w<=da$,可以忽略。

对于边权$w>db$,要将所连的点放入不同的集合。

对于边权$da<w<=db$,所连的点应满足二者都在$B$中,或二者一个在$A$中,而另一个在$B$中。

并查集维护前两种情况是简单的,但是对于第三种就伪了。

注意第三种情况可以转化为$u,v$至少一个在$B$中,这一步是考试时没想到的。

于是问题可以用2-sat解决,定义选$B$为$1$,那么情况二对应着$u$ $xor$ $v=1$,情况三对应着$u$ $or$ $v=1$。

容易发现对于确定的$db$,一个$da$是否成立具有单调性,于是可以二分判断。

还有很大的优化空间。

这里抛出一个结论:只需要考虑$db$对应最大生成树上的边 和 $A$与$B$分别对应最大生成树上的黑点和白点。

考虑首先生成最大生成树并黑白染色。

如果集合$B$中同时含有黑点和白点,那么如果$db$不为最大生成树上边,原图会形成一个偶环,这样环上一定存在一条边使得这条边权大于$db$,所以$db$为最大生成树上的边。

否则,可以认为集合$B$中只含有黑点,特判这种情况就可以了。

posted @ 2020-02-01 19:53  skyh  阅读(178)  评论(0编辑  收藏  举报