vfleaking的博客

My name is VFlea King

日志

关于我

vfleaking

My name is VFlea King.

文章分类

LOFTER精选

八招诀窍，教你实力撩妹 >

网易考拉推荐

3065: 带插入区间K小值系列题解之二——Treap套函数式线段树

2013-02-24 22:11:22| 分类：衡阳八中 | 标签： |举报 |字号大中小订阅

下载LOFTER 我的照片书 |

本篇日志介绍第二种解法：（如果不喜欢这种解法，没关系！可以看后面的日志！）

Treap套函数式线段树

这是hzhwcmhf知道了解法一后提出的。

Treap的插入众所周知是期望O(logn)的，可是一个惊人的事实是，插入后旋转的期望次数是2次。旋转次数竟然是期望O(1)的！

假设s是以这个结点为根的子树的大小，如果你旋转一次耗费时间是O(s)的，那么插入后旋转的耗时竟然是期望O(logn)的！

非常惊人的结论！

详细证明好像没有中文资料，可以参考：http://faculty.washington.edu/aragon/pubs/rst96.pdf

所以Treap套函数式线段树就可捉了。

用Treap维护原序列，每个结点上带一个线段树维护以它为根的子树中出现的权值。

旋转的时候：

y x

/ \ / \

x c --------> a y

/ \ / \

a b b c

注意到子树a、b、c的线段树标记是不会变的，而x的线段树可以直接用原先y的线段树，y的线段树就暴力合并b、c的。

~~如果写的是函数式线段树，那么在旋转上的耗时就是O(logn)的。沿途插入是需要O(log^2n)的。~~

当然也可以直接不写函数式就写线段树，这样旋转上的耗时就是O(log^2n)的。

这样就解决了插入。

至于修改和查询，可以参考前一篇题解的修改和查询的做法，是一样的。

update：有人求代码，我发一下好了。http://fayaa.com/code/view/27499/

这份代码是hzhwcmhf根据我之前的替罪羊树那个代码改的。

评论这张

转发至微博

阅读(3096)| 评论(5)

推荐转载

历史上的今天

this.p={  m:2,
              b:2,
              loftPermalink:'',
              id:'fks_087065080080089074084083084070072087086071092086081069087082',
              blogTitle:'3065: 带插入区间K小值 系列题解之二——Treap套函数式线段树',
              blogAbstract:'<div\>本篇日志介绍第二种解法：（如果不喜欢这种解法，没关系！可以看后面的日志！）</div\><div\><b\>Treap套函数式线段树</b\></div\><div\><br\></div\><div\>这是hzhwcmhf知道了解法一后提出的。</div\><div\>Treap的插入众所周知是期望O(logn)的，可是一个惊人的事实是，插入后旋转的期望次数是2次。旋转次数竟然是期望O(1)的！</div\><div\><span style=\"line-height: 22px;\"   \>假设s是以这个结点为根的子树的大小，</span\>如果你旋转一次耗费时间是O(s)的，那么插入后旋转的耗时竟然是期望O(logn)的！</div\><div\>非常惊人的结论！</div\><div\>详细证明好像没有中文资料，可以参考：</div\>',
              blogTag:'',
              blogUrl:'blog/static/174807634201312495820267',
              isPublished:1,
              istop:false,
              type:2,
              modifyTime:1409481034619,
              publishTime:1361715082912,
              permalink:'blog/static/174807634201312495820267',
              commentCount:5,
              mainCommentCount:2,
              recommendCount:0,
              bsrk:-100,
              publisherId:0,
              recomBlogHome:false,
              currentRecomBlog:false,
              attachmentsFileIds:[],
              vote:{},
              groupInfo:{},
              friendstatus:'none',
              followstatus:'unFollow',
              pubSucc:'',
              visitorProvince:'',
              visitorCity:'',
              visitorNewUser:false,
              postAddInfo:{},
              mset:'000',
              mcon:'',
              srk:-100,
              remindgoodnightblog:false,
              isBlackVisitor:false,
              isShowYodaoAd:false,
              hostIntro:'My name is VFlea King.',
              hmcon:'0',
              selfRecomBlogCount:'0',
              lofter_single:'<iframe width="140" height="560" style="overflow:hidden;" src="http://www.lofter.com/mailEntry.do?blogad=1&blog" frameBorder="0"></iframe>'
            }

{list a as x}
    {if !!x}
    <div class="iblock nbw-fce nbw-f40">
      <a class="fc03 noul" target="_blank" hidefocus="true" href="http://blog.163.com/${x.visitorName}/">
      {if x.visitorName==visitor.userName}
      <img alt="${x.visitorNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.visitorName)}&r=${visitor.imageUpdateTime}"/>
      {else}
      <img alt="${x.visitorNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.visitorName)}"/>
      {/if}
      </a>
      <div class="cwd vname thide">
        {if x.moveFrom=='wap'}
          <a class="noul pnt" target="_blank" href="http://blog.163.com/services/wapblog.html?frompersonalbloghome"><span title="来自网易手机博客" class="iblock wapIcon"> </span></a>
        {elseif x.moveFrom=='iphone'}
          <a class="noul pnt" target="_blank"><span title="来自iPhone客户端" class="iblock iphoneIcon"> </span></a>
        {elseif x.moveFrom=='android'}
          <a class="noul pnt" target="_blank"><span title="来自Android客户端" class="iblock androidIcon"> </span></a>
        {elseif x.moveFrom=='mobile'}
          <a class="noul pnt" target="_blank" href="http://blog.163.com/services/emsblog.html?frompersonalbloghome"><span title="来自网易短信写博" class="iblock wapIcon"> </span></a>
        {/if}
        <a class="fc03 m2a"  target="_blank" hidefocus="true" href="http://blog.163.com/${x.visitorName}/">
          ${fn(x.visitorNickname,8)|escape}
        </a>
      </div>
    </div>
    {/if}
    {/list}

<#--最新日志，群博日志--> <#--推荐日志-->

<p class="fc06">推荐过这篇日志的人：</p>
    <div>
      {list a as x}
      {if !!x}
      <div class="iblock nbw-fce nbw-f40">
        <a class="fc03 noul" target="_blank" hidefocus="true" href="http://blog.163.com/${x.recommenderName}/">
        <img alt="${x.recommenderNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.recommenderName)}"/>
        </a>
        <div class="cwd thide">
          <a class="fc03 m2a" target="_blank" hidefocus="true" href="http://blog.163.com/${x.recommenderName}/">
            ${fn(x.recommenderNickname,6)|escape}
          </a>
        </div>
      </div>
      {/if}
      {/list}
    </div>
    {if !!b&&b.length>0}
    <p  class="fc06">他们还推荐了：</p>
    <ul>
    {list b as y}
      {if !!y}
        <li class="rrb"><span class="iblock">·</span><a class="fc03 m2a" target="_blank" href="http://blog.163.com/${y.recommendBlogPermalink}/?from=blog/static/174807634201312495820267">${y.recommendBlogTitle|escape}</a></li>
      {/if}
    {/list}
    </ul>
    {/if}

<#--引用记录--> <#--博主推荐--> <#--随机阅读--> <#--首页推荐--> <#--历史上的今天--> <#--被推荐日志--> <#--上一篇，下一篇--> <#-- 热度 -->

{list a as x}
    {if !!x}
    <div class="hotItem iblock nbw-fce nbw-f40">
      <a class="fc03 noul" target="_blank" hidefocus="true" href="http://blog.163.com/${x.publisherUsername}/">
      {if x.publisherUsername==visitor.userName}
      <img alt="${x.publisherNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.publisherUsername)}&r=${visitor.imageUpdateTime}"/>
      {else}
      <img alt="${x.publisherNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.publisherUsername)}"/>
      {/if}
      </a>
      <div class="cwd vname thide">
        <a class="fc03 m2a"  target="_blank" hidefocus="true" href="http://blog.163.com/${x.publisherUsername}/">
          ${fn(x.publisherNickname,8)|escape}
        </a>
      </div>
      <a class="f-myLikeIcons hottype {if x.type==1} js-liketype{elseif x.type==2} js-reblogtype{elseif x.type==3} js-sharetype{else}{/if}" target="_blank" hidefocus="true" href="http://blog.163.com/${x.publisherUsername}/"> </a>
    </div>
    {/if}
    {/list}

<#-- 网易新闻广告 --> <#--右边模块结构--> <#--评论模块结构--> <#--引用模块结构--> <#--博主发起的投票-->

页脚

我的照片书 - 博客风格 - 手机博客 - 下载LOFTER APP - 订阅此博客

vfleaking的博客

导航

日志

3065: 带插入区间K小值系列题解之二——Treap套函数式线段树

历史上的今天

最近读者

热度

评论

页脚

vfleaking的博客

导航

日志

3065: 带插入区间K小值 系列题解之二——Treap套函数式线段树

历史上的今天

最近读者

热度

评论

页脚

3065: 带插入区间K小值系列题解之二——Treap套函数式线段树