当前位置: 首页 > news >正文

J. Counting Trees (树,卡特兰数)

题目

https://codeforces.com/gym/102501/problem/J

大意就是,规定一棵二叉树,每个节点的值都大于等于其父节点的值。给出一个中序遍历值序列,问有多少棵这样的树满足其中序遍历是这个。
节点数范围 1e6,节点值范围 1e6。

思路

  • 中序遍历,满足一棵子树映射到序列中一段区间。

  • 对于一个区间,若它代表一个子树,那么该子树的根就是区间内最小的值。

  • 若区间内有多个最小的值,那这些位置应该组成一个包含子树根的连通块,这些点分割出来的区间,分别代表下面的一棵子树。连通块有多种可能,不过一旦确定出这个连通块形态(即这几个点组成的树的形态),那么分割出的几棵子树位置就确定了。

  • 也就是说,变成了一个递归问题。对于子树 [L, R],取出其中最小的值,假设是 x[1], x[2], ..., x[k] ,那么答案就是递归求出分出来的 k+1 个区间的答案之积,再乘上满足中序遍历是 1, 2, …, k 的二叉树个数。

  • 乘上的这个数,其实就是卡特兰数 Cat[k]。考虑一棵二叉树的中序遍历其实对应出一种出入栈序列。

  • 卡特兰数可以看这个博客 https://blog.csdn.net/chenlong_cxy/article/details/113613203

代码

#include <bits/stdc++.h>
using namespace std;

#define Ha 1000000007
#define MAXN 1000005
long long Cat[MAXN];
int n;
int a[MAXN];
int ST[MAXN][25];
vector<int> pos[MAXN];

long long ksm(long long x, int k)
{
    long long ret=1;
    for (; k; k>>=1, x=x*x%Ha)
        if (k&1) ret = ret*x%Ha;
    return ret;
}


int getMin(int L, int R)
{
    int k = R-L+1;
    int ret=a[L];
    int cur = L;
    for (int i=0; i<=20; i++) {
        if (k&(1<<i)) {
            ret = min(ret, ST[cur][i]);
            cur+=(1<<i);
        }
    }
    return ret;
}


long long dfs(int L, int R)
{
    if (L>=R) return 1;

    int mn = getMin(L, R);
    long long ret=1, cnt=0;
    int lst=L, cur;
    auto pl = lower_bound(pos[mn].begin(), pos[mn].end(), L);
    while (pl!=pos[mn].end() && *pl<=R) {
        cnt++;
        cur = *pl;
        ret = ret * dfs(lst, cur-1) %Ha;
        lst = cur+1;
        pl++;
    }
    ret = ret * dfs(lst, R) %Ha;
    ret = ret * Cat[cnt] %Ha;
    return ret;
}


void solve()
{
    scanf("%d", &n);
    Cat[0] = 1;
    for (int i=0; i<n; i++) Cat[i+1] = Cat[i]*(i*4+2)%Ha *ksm(i+2, Ha-2) %Ha;


    for (int i=1; i<=n; i++) {
        scanf("%d", &a[i]);
        ST[i][0] = a[i];
        pos[a[i]].push_back(i);
    }

    for (int j=1,jj=1; j<=20; j++,jj<<=1)
        for (int i=1; i+jj<=n; i++)
            ST[i][j] = min(ST[i][j-1], ST[i+jj][j-1]);

    long long ans = dfs(1, n);
    ans = (ans+Ha)%Ha;

    printf("%lld\n", ans);
}


int main()
{
    solve();
    return 0;
}

相关文章:

  • 77-Java的Set系列集合、Collection体系的总结
  • this指哪去了
  • 算法----二维区域和检索 - 矩阵不可变(Kotlin)
  • 向Visual Studio Code导入ST项目
  • ES6转为ES5 AST
  • 二分法查找方法
  • UE5物体旋转(蓝图版)
  • 【网络安全】SQL注入专题讲解
  • unordered_set、unordered_map的介绍+使用+比较
  • Leetcode139. 单词拆分
  • DRM系列(9)之drm_atomic_helper_commit
  • Unity入门03——Unity脚本
  • finally执行语句的注意和小陷阱
  • 【推荐系统->论文阅读】WideDeep模型
  • 【Node】cookie、sessionStorage、localStorage 与 身份认证
  • JS 中的深拷贝与浅拷贝
  • [nginx文档翻译系列] 控制nginx
  • 《深入 React 技术栈》
  • echarts的各种常用效果展示
  • magento2项目上线注意事项
  • Markdown 语法简单说明
  • Nacos系列:Nacos的Java SDK使用
  • Unix命令
  • 不发不行!Netty集成文字图片聊天室外加TCP/IP软硬件通信
  • 从tcpdump抓包看TCP/IP协议
  • 大型网站性能监测、分析与优化常见问题QA
  • 构造函数(constructor)与原型链(prototype)关系
  • 技术胖1-4季视频复习— (看视频笔记)
  • 开年巨制!千人千面回放技术让你“看到”Flutter用户侧问题
  • 如何利用MongoDB打造TOP榜小程序
  • 三栏布局总结
  • 无服务器化是企业 IT 架构的未来吗?
  • 小程序上传图片到七牛云(支持多张上传,预览,删除)
  • Semaphore
  • ​软考-高级-信息系统项目管理师教程 第四版【第23章-组织通用管理-思维导图】​
  • #常见电池型号介绍 常见电池尺寸是多少【详解】
  • (14)Hive调优——合并小文件
  • (C++20) consteval立即函数
  • (八)c52学习之旅-中断实验
  • (保姆级教程)Mysql中索引、触发器、存储过程、存储函数的概念、作用,以及如何使用索引、存储过程,代码操作演示
  • (分享)自己整理的一些简单awk实用语句
  • (机器学习-深度学习快速入门)第一章第一节:Python环境和数据分析
  • (十) 初识 Docker file
  • (十)c52学习之旅-定时器实验
  • (算法二)滑动窗口
  • (转)VC++中ondraw在什么时候调用的
  • **PyTorch月学习计划 - 第一周;第6-7天: 自动梯度(Autograd)**
  • .net 4.0发布后不能正常显示图片问题
  • .NET/C# 利用 Walterlv.WeakEvents 高性能地中转一个自定义的弱事件(可让任意 CLR 事件成为弱事件)
  • .NET6使用MiniExcel根据数据源横向导出头部标题及数据
  • .NetCore 如何动态路由
  • .net对接阿里云CSB服务
  • .net反编译工具
  • /deep/和 >>>以及 ::v-deep 三者的区别
  • /usr/lib/mysql/plugin权限_给数据库增加密码策略遇到的权限问题