学习笔记——左偏树

左偏树是一个堆，为了实现快速合并的操作，我们可以构造一颗二叉树，并且使右子树尽量简短

什么是左偏呢？

定义：一个左偏树的外节点是一个左子树为空或者右子树为空的节点，对于每一个点定义一个距离dist它为到它子树内外节点的最短距离。

一个合法的左偏树节点需要满足堆性以及它的右子树的dist比左子树的dist小。

为什么要这样呢？

这样右子树的dist是严格控制在logn以内的。

于是我们合并的时候，将另一个左偏树与当前左偏树的右子树合并，这样递归下去，则时间复杂度是O(logn)的。

这就是一颗左偏树啦

左偏树的合并（merge）是logn的，merge用图解比较好说

P.S.：图解是小根堆，模板代码是大根堆

代码操作：insert(int x,int y) 在编号为x的左偏树里插入权值为y的新节点

　　　　　top(int x) 返回编号为x的左偏树的堆顶的权值

　　　　   pop(int x) 删除编号为x的左偏树的堆顶,返回新的堆顶编号

　　　　　mergg(int x,int y)合并编号为x,y的两颗左偏树

#include<iostream>
#include<cstdlib>
#include<cstdio>
#include<algorithm>
#define N 3010
using namespace std;
int tot;
struct big_heap{
    int l,r,d,w;
}h[N];
inline int init(int x){
    tot++;
    h[tot].w=x;
    h[tot].l=h[tot].r=h[tot].d=0;
    return tot;
}
inline insert(int x,int y){
    return merge(x,init(y));
}
inline int pop(int x){
    int l=h[x].l,r=h[x].r;
    h[x].l=h[x].r=h[x].w=0;
    return merge(l,r);
}
inline int top(int x){
    return h[x].w;
}
inline int merge(int x,int y){
    if(!x) return y;
    if(!y) return x;
    if(h[x].w<h[y].w)    swap(x,y);        //保证大根堆性质 
    h[x].r=merge(h[x].r,y);        //合并
    if(h[h[x].l].d<h[h[x].r].d)        swap(h[x].l,h[x].r);    //保证左偏性质 
    h[x].d=h[h[x].r].d+1;        //更新深度 
    return x; 
}
inline void Jimmy(){
}
int main(){
    Jimmy();
    return 0;
}

本篇有关博客链接：

http://www.cnblogs.com/crazyac/articles/1970176.html

http://www.cnblogs.com/yc_sunniwell/archive/2010/06/28/1766756.html

http://aireenye.leanote.com/post/Left-Tree

// orz Aireen