真是道好题啊,当时怎么想都没想出来。。。

传送门

简述题意:

有n个点,每个点有一个权值Ai,连接i,j两个点的代价是 |ijD+Ai+A

其中D是给定的常数,问把n个点联通的最小代价

  • 1≤N≤2×$10^{5}$
  • 1≤D≤$10^{9}$
  • 1≤Ai≤$10^{9}$

上来就有个简单粗暴的生成树做法,不过边的数量太多了,肯定做不了。。。

我们需要减少待选边的数量,这里题解给了两种做法,分别体会下吧?

分治

通过分治,将问题变小,如果每个点都向分界线另一边连有边的话,分治下来总边数是nlogn的

再进一步考虑分治的特性,在分治过程中总能抵消掉元素的大小关系,在这里自然选择点的标号

这样左边的点对一条边的贡献设为$f(i)=A_{i}-i*D$

对应的右边是$g(j)=A_{j}+j*D$

这样一条边$(i,j)$就是$f(i)+g(j)$,我们找到左边最小的$f(i_{0})$,右边最小$g(j_{0})$,这样一个左边的点一定连向$j_{0}$,右边的连向$i_{0}$

如何证明这样一定可以连通呢?

按照上面的算法,一条$i!=i_{0}$且$j!=j_{0}$的边不被选,而这时候,有三条边会代替这条边被选$(i,j_{0}),(i_{0},j),(i_{0},j_{0})$(他们都比原边小)

你会发现这三条边会优先于$(i,j)$考虑的话,在生成树算法中就可以保证i,j两点联通

进而对于每个跨过中线的点对都联通了,完成了分治的目的

跑完生成树就是一个$O(Nlog^{2}N)$

关于$A_{i}$

将A数组按顺序放好了之后我们假设A两两不同,这里的左右指标号大小

对于x,我们默认考虑A比他小的边,我们可以证明以下两个结论:

  • 在x左侧所有A比他小的点中,我们只需考虑边权最小的那个
  • 在x右侧所有A比他小的点中,我们只需考虑边权最小的那个

我们先来证第一条。若左侧A比他小的点中最小的边是$(x,y)$,

那么对于每个满足$z<x$且$A_{z}<A_{x}$的z来说,

当$z<y$时,因为$A_{x}+xD>A_{y}+yD$,所以$(x,z)>(y,z)$

当$y<z$时,由$(x,y)<(x,z)$可知有$A_{y}-yD<A_{z}-zD\rightarrow A_{y}-A_{z}-yD+zD<0\rightarrow A_{y}+A_{z}+zD-yD<2A_{z}<A_{z}+A_{x}+xD-zD$

所以$(x,z)>(y,z)$

因此得出对于$(x,z)$有都比他小的两条边$(x,y)$和$(y,z)$代替

所以$(x,z)$并不会作为候选边,第二条的证明是类似的

若有A相等,其实并不会影响太多,比他小的条件改成小于等于也可,

实际上的做法要对A排序,再配合树状数组就可以处理了

这样的话,总边数是的$O(N)$,总复杂度是$O(NlogN)$

atcoder.keyence2019.contest E-Connecting Cities的更多相关文章

  1. AtCoder Regular Contest 061

    AtCoder Regular Contest 061 C.Many Formulas 题意 给长度不超过\(10\)且由\(0\)到\(9\)数字组成的串S. 可以在两数字间放\(+\)号. 求所有 ...

  2. AtCoder Grand Contest 012

    AtCoder Grand Contest 012 A - AtCoder Group Contest 翻译 有\(3n\)个人,每一个人有一个强大值(看我的假翻译),每三个人可以分成一组,一组的强大 ...

  3. AtCoder Regular Contest 094 (ARC094) CDE题解

    原文链接http://www.cnblogs.com/zhouzhendong/p/8735114.html $AtCoder\ Regular\ Contest\ 094(ARC094)\ CDE$ ...

  4. AtCoder Grand Contest 011

    AtCoder Grand Contest 011 upd:这篇咕了好久,前面几题是三周以前写的... AtCoder Grand Contest 011 A - Airport Bus 翻译 有\( ...

  5. AtCoder Grand Contest 031 简要题解

    AtCoder Grand Contest 031 Atcoder A - Colorful Subsequence description 求\(s\)中本质不同子序列的个数模\(10^9+7\). ...

  6. AtCoder Grand Contest 010

    AtCoder Grand Contest 010 A - Addition 翻译 黑板上写了\(n\)个正整数,每次会擦去两个奇偶性相同的数,然后把他们的和写会到黑板上,问最终能否只剩下一个数. 题 ...

  7. AtCoder Grand Contest 009

    AtCoder Grand Contest 009 A - Multiple Array 翻译 见洛谷 题解 从后往前考虑. #include<iostream> #include< ...

  8. AtCoder Grand Contest 008

    AtCoder Grand Contest 008 A - Simple Calculator 翻译 有一个计算器,上面有一个显示按钮和两个其他的按钮.初始时,计算器上显示的数字是\(x\),现在想把 ...

  9. AtCoder Grand Contest 007

    AtCoder Grand Contest 007 A - Shik and Stone 翻译 见洛谷 题解 傻逼玩意 #include<cstdio> int n,m,tot;char ...

随机推荐

  1. F - True Liars 带权并查集

    After having drifted about in a small boat for a couple of days, Akira Crusoe Maeda was finally cast ...

  2. ZooKeeper配置文件常用配置项一览表(转)

     配置参数详解(主要是$ZOOKEEPER_HOME/conf/zoo.cfg文件) 参数名 说明 clientPort 客户端连接server的端口,即对外服务端口,一般设置为2181吧. data ...

  3. [Windows]_[0基础]_[Release程序的崩溃报告minidump解决方式]

    场景: 1. Release的程序崩溃时,崩溃报告能够让开发者查明代码哪里出了问题,用处大大的. 2. 仅仅实用VS的编译器才支持,所以MinGW就无缘了. 3. 使用了未处理异常过滤处理函数. 4. ...

  4. bzoj1087【SCOI2005】互不侵犯King

    1087: [SCOI2005]互不侵犯King Time Limit: 10 Sec  Memory Limit: 162 MB Submit: 2405  Solved: 1413 [Submit ...

  5. iOS开发使用Unwind Segue进行返回

    我们在之前的一篇博客中谈到怎样使用dismissViewControllerAnimation()的方法在iOS中返回,如今我们有一个更为方便的方法来实现界面跳转之后的返回操作.使用的是Unwind ...

  6. QPS计算

    案例:公司xiaoyb性能测试评估 我们预估支持500家学校,每所学校300人,每天有10%的活跃率,每天有500*300*10%=15000人,每人每天平均请求20次,每天大概请求时间共8小时,80 ...

  7. bootstrap简单form表单样式-form-horizontal

    jsp代码: <div id="content" style="background-color: white;"> <form class= ...

  8. Framebuffer子系统【转】

    本文转载自:http://blog.csdn.net/av_geek/article/details/40897115 本文将介绍Framebuffer子系统 目标平台:TQ2440 CPU:s3c2 ...

  9. 【撸码caffe四】 solver.cpp&&sgd_solver.cpp

    caffe中solver的作用就是交替低啊用前向(forward)算法和后向(backward)算法来更新参数,从而最小化loss,实际上就是一种迭代的优化算法. solver.cpp中的Solver ...

  10. .sh文件 编写格式

    http://blog.sina.com.cn/s/blog_54f82cc201010hfz.html 介绍: 1 开头 程序必须以下面的行开始(必须方在文件的第一行): #!/bin/sh 符号# ...