CodeForces1477D Nezzar and Hidden Permutations(构造+调整+菊花图)

problem

洛谷链接

题意:给定 mmm 条形如 (u,v)(u,v)(u,v) 的限制,要求 au,ava_u,a_vau,av 的相对大小关系与 bu,bvb_u,b_vbu,bv 相同。

且尽可能减少 ai=bia_i=b_iai=bi 的数量,输出 a,ba,ba,b 两个排列。

solution

我们考虑将每条 (u,v)(u,v)(u,v) 限制转化成图 GGG 中的一条边。

如果某个点 iii 的边数 =n−1=n-1=n1,则一定有 ai=bia_i=b_iai=bi。(nnn 为当前剩余点的数量)

边数等于点数减一,这说明点 iii 与其它所有点都有一定的要求,假设要求 bi>bkb_i>b_kbi>bkkkkxxx 个,则 ai>ak′a_i>a_k'ai>akk′k'k 也等于 xxx

这种确定的点直接按死不参与后面的讨论了。

那么到这里就剩下了一堆边数 <n−1<n-1<n1 的点了。

反转边的定义,Gˉ=E−G\bar{G}=E-GGˉ=EG,如果 (u,v)(u,v)(u,v)Gˉ\bar{G}Gˉ 为一条边当且仅当 (u,v)(u,v)(u,v) 原来是没有限制的。

这些点都是没有满边的,所以一定会跟至少一个其它点连边的。

Gˉ\bar{G}Gˉ 形成的是一个生成树森林,没有必要多连边形成图,独立是传递的,所以 Gˉ\bar{G}Gˉ 是多样的。

现在连边的两个点之间的选择是互不干涉的。

考虑一个特殊的情况——两层的菊花图。有一个非常简单的构造。

假设菊花图的根为 uuu,所有叶子依次为 v1,v2,...,vxv_1,v_2,...,v_xv1,v2,...,vx

对于 aaa 序列,au=l,av1=l+1,...,avx−1=l+x−1,avx=l+xa_u=l,a_{v_1}=l+1,...,a_{v_{x-1}}=l+x-1,a_{v_x}=l+xau=l,av1=l+1,...,avx1=l+x1,avx=l+x

对于 bbb 序列,bu=l+1,bv1=l+2,...,bvx−1=l+x,bxv=lb_u=l+1,b_{v_1}=l+2,...,b_{v_{x-1}}=l+x,b_{x_v}=lbu=l+1,bv1=l+2,...,bvx1=l+x,bxv=l

用同样的数字区间 [l,l+x][l,l+x][l,l+x] 填写了 a,ba,ba,b 同样的点集,且打了个等差 111

这样子,内部反正是没有限制,不用管数字间的大小,也没有产生多余的 ai=bia_i=b_iai=bi 情况数。

而与外部部分,因为都是用的连续段数字,相对关系也是满足的。

例如有个点 ttt 与内部点有相对大小关系的限制,内部用的是 [l,l+x][l,l+x][l,l+x]ttt 所在点无论是 [l′,l)/(l+x,r′][l',l)/(l+x,r'][l,l)/(l+x,r]a,ba,ba,b 都是一致的。要么都小于最小值,要么都大于最大值。

Gˉ\bar{G}Gˉ 中一些边断掉是不会出错的(因为这反而相当于外加了一些限制)。

所以,我们可以就将 Gˉ\bar{G}Gˉ 直接断成若干个两层菊花图。

换言之,最后的答案最少个数可以通过调整构造变成最开始确定的点的数量

有很多种裂成不同菊花图的方法,下面是官方做法:

枚举未分配的节点 uuu

  • 如果 uuu 有临边点 vvv 未分配,将 uuu 和所有未分配的 vvv 一起构成一个新的菊花图,并以 uuu 为根。

  • 否则,说明 uuu 的所有邻居均已有过分配的菊花图。随便选一个邻居 vvv

    • 如果 vvv 所在的菊花图至少有 333 个点,那么就可以把 vvv 割裂出来,使得 u,vu,vu,v 成为新的菊花图。

      注意:vvv 此时不可能是其所在菊花图的根,如果是那么 uuu 早就隶属与 vvv 为根的那个菊花图了。

    • 否则,说明 vvv 所在的菊花图只有两个点,将 uuu 加入那个菊花图,并将那个菊花图转变为以 vvv 为根即可。

Gˉ\bar{G}Gˉ 中可存在的边很多,n2n^2n2 级别的,但不一定是全都必须出现的。怎么快速求出想要的生成树?

用两个 set 维护已出现在 Gˉ\bar{G}Gˉ 中的点和还未出现的点,在 dfs-tree 的时候顺便加边构出生成树的边。

时间复杂度:O((n+m)log⁡n)O((n+m)\log n)O((n+m)logn)

code

#include <bits/stdc++.h>
using namespace std;
#define maxn 500005
set < pair < int, int > > graph;
set < int > id, G[maxn], R[maxn];
int id1[maxn], id2[maxn], deg[maxn];void dfs( int u ) {id.erase( u );int v = 0;while( 1 ) {auto it = id.upper_bound( v );if( it == id.end() ) break;v = *it;if( G[u].find( v ) != G[u].end() ) continue;R[u].insert( v );R[v].insert( u );dfs( v );}
}int main() {int T, n, m;scanf( "%d", &T );while( T -- ) {scanf( "%d %d", &n, &m );for( int i = 1;i <= n;i ++ ) G[i].clear(), R[i].clear();id.clear(); for( int i = 1;i <= n;i ++ ) id.insert( i );for( int i = 1, u, v;i <= m;i ++ ) {scanf( "%d %d", &u, &v );G[u].insert( v );G[v].insert( u );}while( id.size() ) dfs( * id.begin() );int num = n;for( int i = 1;i <= n;i ++ ) {deg[i] = R[i].size();if( deg[i] ) graph.insert( make_pair( deg[i], i ) );else id1[i] = id2[i] = num --;}int l = 0, r = 0, u;while( graph.size() ) {u = graph.begin() -> second;u = *R[u].begin();graph.erase( make_pair( deg[u], u ) );vector < int > scc;for( int v : R[u] ) {graph.erase( make_pair( deg[v], v ) );if( deg[v] == 1 ) scc.push_back( v );else graph.insert( make_pair( -- deg[v], v ) ), R[v].erase( u );}id1[u] = ++ l; for( int i : scc ) id1[i] = ++ l, id2[i] = ++ r; id2[u] = ++ r;}for( int i = 1;i <= n;i ++ ) printf( "%d ", id1[i] ); puts("");for( int i = 1;i <= n;i ++ ) printf( "%d ", id2[i] ); puts("");}return 0;
}

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/316578.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

Acwing 273. 分级

Acwing 273. 分级 题意&#xff1a; 给定一个长度为N的序列A&#xff0c;现在构造一个长度为N的序列B&#xff0c;满足&#xff0c;B是非严格单增。最小化S∑i1N∣Ai−Bi∣\sum_{i1}^{N}|A_i-B_i|∑i1N​∣Ai​−Bi​∣ 题解&#xff1a; 引理&#xff1a; 一定存在一组最优…

.NET Core 给使用.NET的公司所带来的机遇

今晚在余晟的微信公众号看到了一篇文章《从.NET/C#开发的“后继无人”说起》。 这篇文章以从.NET/C#开发的“后继无人” 引出了推广极客时间的课程 刘超的《趣谈Linux操作系统》&#xff0c;通篇看下来这明显是刘超的《趣谈Linux操作系统》的软文。软文地址&#xff1a;https:/…

AoCoder 1983 [AGC001E] BBQ Hard(组合数+dp)

problem 洛谷链接 solution ∑i1n∑ji1n(aibiajbjaiaj)∑i1n∑j1n(aibiajbjaiaj)−∑i1n(2(aibi)2ai)2\sum_{i1}^{n}\sum_{ji1}^n\binom{a_ib_ia_jb_j}{a_ia_j}\frac{\sum_{i1}^{n}\sum_{j1}^n\binom{a_ib_ia_jb_j}{a_ia_j}-\sum_{i1}^{n}\binom{2(a_ib_i)}{2a_i}}{2} i1∑n​…

Git Flow分支策略与Azure DevOps相关功能简介

想了很久&#xff0c;还是写这么一篇文章来总结一下有关分支策略和DevOps的一些内容吧。其实&#xff0c;DevOps相关的内容并不是我的工作范围&#xff0c;不过对于敏捷开发、DevOps、项目管理等等这一系列的与开发过程相关的内容&#xff0c;我还是有些经验的&#xff0c;也就…

AcWing 274. 移动服务

题意&#xff1a; 2<L<200 1<N<1000 题解&#xff1a; 一共就三个员工&#xff0c;我们可以在状态中记录三个员工的位置&#xff1b; 有&#xff1a;dp[i][x][y][z]:第i个工作完成后&#xff0c;三个员工的坐标分别是x&#xff0c;y&#xff0c;z&#xff0c;的最…

AtCoder 2000 [AGC002F] Leftmost Ball(dp+组合数)

problem 洛谷链接 solution 显然&#xff0c;合法序列的状态要求任何一个前缀的白色球数≥\ge≥已出现的不同颜色数。 所以可以将球分成白色球和有颜色球两类球分开放。 其次&#xff0c;有颜色球一类重要的是有颜色球第一个放的位置&#xff0c;因为这会影响到前缀颜色数…

NSwag 和 ASP.NET Core

NSwag 提供了下列功能&#xff1a;能够使用 Swagger UI 和 Swagger 生成器。灵活的代码生成功能。借助 NSwag&#xff0c;无需使用现有 API。也就是说&#xff0c;可使用包含 Swagger 的第三方 API&#xff0c;并生成客户端实现。 使用 NSwag&#xff0c;可以加快开发周期&…

Acwing 276. I-区域

Acwing 276. I-区域 题意&#xff1a; 在 NM 的矩阵中&#xff0c;每个格子有一个权值&#xff0c;要求寻找一个包含 K 个格子的凸连通块&#xff08;连通块中间没有空缺&#xff0c;并且轮廓是凸的&#xff09;&#xff0c;使这个连通块中的格子的权值和最大。 注意&#xf…

中心城镇问题(长链剖分优化树形dp)

problem 给定 nnn 个城市&#xff0c;n−1n-1n−1 条道路&#xff0c;形成一棵树。每座城市上的人口为 wiw_iwi​。 现要修建若干个中心城镇&#xff0c;满足任意两个中心城镇之间的距离严格大于 kkk。 最大化中心城镇的总人口。 n,k≤106,wi≤109n,k\le 10^6,w_i\le 10^9n,…

开源Dapper的Lambda扩展-Sikiro.Dapper.Extension V2.0

去年我在业余时间&#xff0c;自己整了一套dapper的lambda表达式的封装&#xff0c;原本是作为了一个个人的娱乐项目&#xff0c;当时也只支持了Sql Server数据库。随之开源后&#xff0c;有不少朋友也对此做了试用&#xff0c;也对我这个项目提出了不少的建议。因此我在最近公…

Acwing 277. 饼干

Acwing 277. 饼干 题意&#xff1a; 圣诞老人共有 M 个饼干&#xff0c;准备全部分给 N 个孩子。 每个孩子有一个贪婪度&#xff0c;第 i 个孩子的贪婪度为 g[i]。 如果有 a[i] 个孩子拿到的饼干数比第 i 个孩子多&#xff0c;那么第 i 个孩子会产生 g[i]a[i] 的怨气。 给…

[CQOI2015]选数(数论分块+杜教筛)

problem 洛谷链接 solution 将 L,HL,HL,H 的范围放缩 1K\frac 1 KK1​&#xff0c;都除掉 KKK&#xff0c;特殊的 LLL 边界注意一下。 H←H/K,L←(L−1)/K1H\leftarrow H/K,L\leftarrow (L-1)/K1H←H/K,L←(L−1)/K1。 问题转化为 [L,H][L,H][L,H] 中任选 NNN 个数 gcd1\te…

Docker最全教程之使用 Visual Studio Code玩转Docker(二十一)

VS Code是一个年轻的编辑器&#xff0c;但是确实是非常犀利。通过本篇&#xff0c;老司机带你使用VS Code玩转Docker——相信阅读本篇之后&#xff0c;无论是初学者还是老手&#xff0c;都可以非常方便的玩转Docker了&#xff01;所谓是“工欲善其事必先利其器”&#xff0c;VS…

《算法竞赛进阶指南》 0x50 动态规划

题目后面加 ∗*∗ 表示题目过于简单或不具备特征性&#xff0c;不做题解 线性DP AcWing 271. 杨老师的照相排列 811人打卡 AcWing 272. 最长公共上升子序列 778人打卡(∗*∗) AcWing 273. 分级 536人打卡 AcWing 274. 移动服务 513人打卡 AcWing 275. 传纸条 568人打卡&#xf…

【送书活动】10分钟了解Docker,运维和开发视角有什么不同?

Docker 是 Golang 编写的&#xff0c; 自 2013 年推出以来&#xff0c;受到越来越多的开发者的关注。如今Docker无处不在&#xff0c;这是不争的事实。开发人员都很喜欢它&#xff0c;运维工程师也需要它。他们都需要深入了解如何在关键业务环境中构建和维护符合生产级别要求的…

luogu P4240 毒瘤之神的考验(莫比乌斯反演+递推前缀和+数论分块)

problem 洛谷链接 solution ∑i1n∑j1mφ(ij)∑i1n∑j1mφ(i)φ(j)gcd⁡(i,j)φ(gcd⁡(i,j))\sum_{i1}^n\sum_{j1}^m\varphi(ij)\sum_{i1}^n\sum_{j1}^m\frac{\varphi(i)\varphi(j)\gcd(i,j)}{\varphi{(\gcd(i,j))}}i1∑n​j1∑m​φ(ij)i1∑n​j1∑m​φ(gcd(i,j))φ(i)φ(j…

可持久化(二)

文章目录【可持久化值域线段树/主席树】主席树代码【二维数点】例题【可持久化值域线段树/主席树】 P3834 【模板】可持久化线段树 1&#xff08;主席树&#xff09; 查询序列区间第k小&#xff0c;静态在线。给定 n 个整数构成的序列&#xff0c;将对于指定的闭区间查询其区间…

.NET Core / C# 开发 IOT 嵌入式设备的个人见解

( .NET Core 七龙珠 )一、IOT 平台的支持先看国内优秀的云计算IOT平台(不含QQ互联、小米IOT等针对特定产品的开发者平台&#xff0c;仅列出部分云计算厂商的IOT平台)阿里云 IOThttps://iot.aliyun.com/华为物联网https://developer.huawei.com/ict/cn/site-iot-next腾讯云 物联…

合成小丹(dp+二进制按位或+结论)

problem 给定 nnn 个在 [0,2ω−1][0,2^\omega-1][0,2ω−1] 内的整数。执行下面操作两种操作共 n−1n-1n−1 次&#xff1a; 选择两个整数 x,yx,yx,y 从数列中删去&#xff0c;并加入 ⌊x∣y2⌋\lfloor\frac{x|y}{2}\rfloor⌊2x∣y​⌋&#xff0c;这里的 | 表示按位或。选择…

P2633 Count on a tree

P2633 Count on a tree 题意&#xff1a; 给定一棵 n 个节点的树&#xff0c;每个点有一个权值。有 m 个询问&#xff0c;每次给你 u,v,k&#xff0c;你需要回答 u xor last 和 v 这两个节点间第 k 小的点权。 其中last 是上一个询问的答案&#xff0c;定义其初始为 0&#…