传送门


看到最长上升子序列肯定是DP

设\(f_i\)表示计算到当前,长度为\(i\)的最长上升子序列的最后一项的最小值,显然\(f_i\)是一个单调递增的序列。

转移:对于当前计算的元素\(x\),它的取值范围为\([l,r]\),设当前可以转移的区间为\([j,k]\)(即对于\(\forall p \in [j,k] , f_p \in [l,r)\)且\(f_{j-1} < l , f_{k + 1} \geq r\)),则对于\(\forall p \in [j,k]\)都有\(f_{p + 1} = f_{p} + 1\)(因为序列\(f_i\)是单调递增的,所以转移一定更优)且\(f_j = l\)。

考虑这个转移方程,它的实质就是:删去第\(k+1\)个元素,第\(j\)到\(k\)个元素统一\(+1\),在第\(j\)个元素的左边插入一个值为\(l\)的元素。其实就是平衡树的基本操作,使用平衡树维护即可。

还有我也不知道我的Splay为什么每一次要随机一个点Splay到根才能过……

#include<bits/stdc++.h>
#define MAXN 300010
#define inf 0x7fffffff
using namespace std;

struct node{
    int ch[2] , fa , num , add;
}Tree[MAXN];
int cntNode = 2 , N , root = 1;

inline bool son(int dir){
    return Tree[Tree[dir].fa].ch[1] == dir;
}

inline void ZigZag(int dir){
    bool f = son(dir);
    if(Tree[dir].fa == root)
        root = dir;
    Tree[Tree[dir].fa].ch[f] = Tree[dir].ch[f ^ 1];
    Tree[Tree[dir].ch[f ^ 1]].fa = Tree[dir].fa;
    int x = Tree[Tree[dir].fa].fa;
    Tree[x].ch[son(Tree[dir].fa)] = dir;
    Tree[Tree[dir].fa].fa = dir;
    Tree[dir].ch[f ^ 1] = Tree[dir].fa;
    Tree[dir].fa = x;
}

inline void pushdown(int dir){
    if(Tree[dir].add){
        Tree[Tree[dir].ch[0]].add += Tree[dir].add;
        Tree[Tree[dir].ch[1]].add += Tree[dir].add;
        Tree[Tree[dir].ch[0]].num += Tree[dir].add;
        Tree[Tree[dir].ch[1]].num += Tree[dir].add;
        Tree[dir].add = 0;
    }
}

inline void Splay(int dir , int fa){
    pushdown(dir);
    while(Tree[dir].fa != fa)
        if(Tree[Tree[dir].fa].fa == fa)
            ZigZag(dir);
        else{
            if(son(Tree[dir].fa) == son(dir))
                ZigZag(Tree[dir].fa);
            else
                ZigZag(dir);
            ZigZag(dir);
        }
}

void insert(int &now , int num , int fa){
    if(now == 0){
        now = ++cntNode;
        Tree[now].num = num;
        Tree[now].fa = fa;
        Splay(now , 0);
        return;
    }
    pushdown(now);
    insert(Tree[now].ch[Tree[now].num < num] , num , now);
}

void getPre(int now , int num , int minN){
    if(now == 0){
        Splay(minN , 0);
        return;
    }
    pushdown(now);
    if(Tree[now].num == num){
        int t = Tree[now].ch[0];
        while(t){
            pushdown(t);
            if(Tree[t].num != num)
                minN = t;
            t = Tree[t].ch[1];
        }
        Splay(minN , 0);
        return;
    }
    if(Tree[now].num < num)
        getPre(Tree[now].ch[1] , num , Tree[now].num > Tree[minN].num ? now : minN);
    else
        getPre(Tree[now].ch[0] , num , minN);
}

void getNXT(int now , int num , int maxN){
    if(now == 0){
        Splay(maxN , root);
        return;
    }
    pushdown(now);
    if(Tree[now].num == num){
        int t = Tree[now].ch[1];
        while(t){
            pushdown(t);
            maxN = t;
            t = Tree[t].ch[0];
        }
        Splay(maxN , root);
        return;
    }
    if(Tree[now].num < num)
        getNXT(Tree[now].ch[1] , num , maxN);
    else
        getNXT(Tree[now].ch[0] , num , Tree[now].num < Tree[maxN].num ? now : maxN);
}

inline void find(int dir){
    if(Tree[dir].fa)
        find(Tree[dir].fa);
    pushdown(dir);
}

int main(){
    srand((unsigned)time(0));
    int ans = 0;
    scanf("%d" , &N);
    Tree[1].ch[1] = 2;
    Tree[2].num = inf;
    Tree[2].fa = 1;
    for(int i = 1 ; i <= N ; i++){
        int a , b;
        scanf("%d%d" , &a , &b);
        getPre(root , a , 1);
        getNXT(root , b - 1 , 2);
        Tree[Tree[Tree[root].ch[1]].ch[0]].add++;
        Tree[Tree[Tree[root].ch[1]].ch[0]].num++;
        if(Tree[Tree[root].ch[1]].ch[1]){
            ZigZag(Tree[root].ch[1]);
            getNXT(Tree[root].ch[1] , Tree[root].num , 2);
            Tree[Tree[root].ch[1]].ch[0] = Tree[root].ch[0];
            root = Tree[root].ch[1];
            Tree[Tree[root].ch[0]].fa = root;
            Tree[root].fa = 0;
        }
        else
            ans++;
        insert(Tree[root].ch[Tree[root].num < a] , a , root);
        int t = rand() % (i + 2) + 1;
        find(t);
        Splay(t , 0);
    }
    cout << ans;
    return 0;
}

CF809D Hitchhiking in the Baltic States LIS、平衡树的更多相关文章

  1. CF809D Hitchhiking in the Baltic States

    CF809D Hitchhiking in the Baltic States CF809D 长度为n的序列{xi},n<=3e5,范围在(li,ri)之间,求LIS最长是多长g(i,l)表示前 ...

  2. 【CF809D】Hitchhiking in the Baltic States Splay

    [CF809D]Hitchhiking in the Baltic States 题意:给你n个区间[li,ri],让你选出从中一个子序列,然后在子序列的每个区间里都选择一个tj,满足$t_1< ...

  3. 【CF809D】Hitchhiking in the Baltic States(Splay,动态规划)

    [CF809D]Hitchhiking in the Baltic States(Splay,动态规划) 题面 CF 洛谷 题解 朴素\(dp\):设\(f[i][j]\)表示当前考虑到第\(i\)个 ...

  4. 【CF809D】Hitchhiking in the Baltic States

    题意: 给你n个区间[li,ri],让你选出从中一个子序列,然后在子序列的每个区间里都选择一个tj,满足t1<t2<...<tlent1<t2<...<tlen.最 ...

  5. CF 809 D Hitchhiking in the Baltic States —— 思路+DP(LIS)+splay优化

    题目:http://codeforces.com/contest/809/problem/D 看题解,抄标程...发现自己连 splay 都快不会写了... 首先,题目就是要得到一个 LIS: 但与一 ...

  6. Codeforces 809D. Hitchhiking in the Baltic States

    Description 给出 \(n\) 个数 \(a_i\),每一个数有一个取值 \([l_i,r_i]\) ,你来确定每一个数,使得 \(LIS\) 最大 题面 Solution 按照平时做法,设 ...

  7. CodeForces 809D Hitchhiking in the Baltic States(FHQ-Treap)

    题意 给你长度为$n$的序列,序列中的每个元素$i$有一个区间限制$[l_i,r_i]$,你从中选出一个子序列,并给它们标号$x_i$,要求满足 $,∀i<j,x_i<x_j$,且$, ∀ ...

  8. CF 809D Hitchhiking in the Baltic States——splay+dp

    题目:http://codeforces.com/contest/809/problem/D 如果值是固定的,新加入一个值,可以让第一个值大于它的那个长度的值等于它. 如今值是一段区间,就对区间内的d ...

  9. Noip前的大抱佛脚----赛前任务

    赛前任务 tags:任务清单 前言 现在xzy太弱了,而且他最近越来越弱了,天天被爆踩,天天被爆踩 题单不会在作业部落发布,所以可(yi)能(ding)会不及时更新 省选前的练习莫名其妙地成为了Noi ...

随机推荐

  1. 【读书笔记】iOS-MVC

    用户的每一个动作都是以一个View的Action方式传递给Controller,然后,Controller再发送消息通知Model做出响应的逻辑处理,当Model层面上的业务逻辑处理有了结果之后,Mo ...

  2. springboot 配置文件说明

    你可以在自己创建的组件上使用@ConfigurationProperties注解,而Spring Boot自动配置的很多组件也添加了@ConfigurationProperties注解,可以通过Spr ...

  3. Django基础篇--Models

    在Django中创建与数据库的链接并调用数据库的数据是很关键的步骤,那么怎么实现这个过程呢? 下面这篇文章简单梳理了一下创建Model层的过程和应用 模型-Models 首先需要理解什么是模型? 模型 ...

  4. angular升级指南

    废话少说 上链接 angular 升级指南

  5. maven五:查找jar包坐标,选择jar包版本

    查找jar包坐标 以spring core的jar包为例,访问http://www.mvnrepository.com/    在最上方中间,输入spring core,点击Search. 搜索结果第 ...

  6. UEditor单个图片上传遇到的问题记录

    查看了ueditor.all.js得源代码发现单图片上传是在选择文件输入框change事件执行表单Submit,但是出现一个问题请求头没有加入Cookie,导致后端身份认证失败,上传最终失败. ued ...

  7. Postgresql - jsonb_pretty & dateStyle

    1. SHOW datestyle; DateStyle ----------- ISO, MDY(1 row) INSERT INTO container VALUES ('13/01/2010') ...

  8. 美人鱼 hdu 5784

    Peter has a sequence a1,a2,...,ana1,a2,...,an and he define a function on the sequence -- F(a1,a2,.. ...

  9. (9)Python循环结构

  10. 布隆过滤BitMap原理

    一.问题引入 BitMap从字面的意思,很多人认为是位图,其实准确的来说,翻译成基于位的映射,怎么理解呢?举一个例子,有一个无序有界int数组{1,2,5,7},初步估计占用内存44=16字节,这倒是 ...