#agc062e. [agc062_e]Overlap Binary Tree

[agc062_e]Overlap Binary Tree

题目描述

给定一个奇数 NN 和一个非负整数 KK

找到满足以下条件的整数对序列 ((L1,R1),(L2,R2),,(LN,RN))((L_1,R_1),(L_2,R_2),\dots,(L_N,R_N)) 的数量,对 998244353998244353 取模。

  • (L1,R1,L2,R2,,LN,RN)(L_1,R_1,L_2,R_2,\dots,L_N,R_N) 是从 112N2N 的整数的排列。
  • L1L2LNL_1 \leq L_2 \leq \dots \leq L_N
  • LiRi (1iN)L_i \leq R_i \ (1 \leq i \leq N)
  • 恰好有 KK 个下标 i (1iN)i\ (1\leq i \leq N) 满足 Li+1=RiL_i+1=R_i
  • 存在一棵有 NN 个编号从 11NN 的顶点的根二叉树 TT,满足以下条件:
    • 若顶点 iijj 在树 TT 中具有祖先-后代关系,则区间 \[L_i,R_i\]\[L_j,R_j\] 相交。

这里,根二叉树是一棵每个顶点都有 00 或者 22 个子节点的树。在树 TT 中,如果顶点 jj 存在于连接根到顶点 ii 的简单路径上,则称顶点 iijj 在树 TT 中具有祖先-后代关系;反之亦然。

约束条件

  • 1N<2×1051 \leq N < 2 \times 10^5
  • 0KN0 \leq K \leq N
  • NN 是奇数。
  • 输入中的所有数字都是整数。

输入

从标准输入按照以下格式给出:

NN KK

输出

输出答案。

示例输入 1

3 1

示例输出 1

2

例如,如果 (L1,R1)=(1,5),(L2,R2)=(2,3),(L3,R3)=(4,6)(L_1,R_1)=(1,5),(L_2,R_2)=(2,3),(L_3,R_3)=(4,6),则 i=2i=2 是唯一的满足 Li+1=RiL_i+1=R_i 的整数对。此外,满足第五个条件的树可以以顶点 11 为根,其子节点为顶点 2233

示例输入 2

1 0

示例输出 2

0

示例输入 3

521 400

示例输出 3

0

示例输入 4

199999 2023

示例输出 4

283903125