atcoder#AGC062E. [AGC062E] Overlap Binary Tree

[AGC062E] Overlap Binary Tree

题目描述

奇数 N N 、および非負整数 K K が与えられます。

以下の条件をすべて満たす整数の組の列 ((L1,R1),(L2,R2),,(LN,RN)) ((L_1,R_1),(L_2,R_2),\dots,(L_N,R_N)) の数を 998244353 998244353 で割った余りを求めてください。

  • (L1,R1,L2,R2,,LN,RN) (L_1,R_1,L_2,R_2,\dots,L_N,R_N) 1 1 から 2N 2N までの整数の順列
  • L1  L2    LN L_1\ \leq\ L_2\ \leq\ \dots\ \leq\ L_N
  • Li  Ri (1  i  N) L_i\ \leq\ R_i\ (1\ \leq\ i\ \leq\ N)
  • Li+1=Ri L_i+1=R_i が成り立つような i (1 i  N) i\ (1\leq\ i\ \leq\ N) はちょうど K K 個存在する
  • 1 1 から N N までの番号が付いた N N 頂点の根付き二分木 T T であって、以下が成り立つものが存在する
    • T T において頂点 i,j i,j には祖先・子孫の関係がある      \iff 区間 [Li,Ri],[Lj,Rj] [L_i,R_i],[L_j,R_j] が共通部分を持つ

ただし、根付き二分木とは、全ての頂点の子の個数が 0 0 個か 2 2 個であるような根付き木のことを指します。また、木 T T において頂点 j j が根と頂点 i i を結ぶ単純パス上に存在する、または頂点 i i が根と頂点 j j を結ぶ単純パス上に存在するとき、T T において頂点 i,j i,j には祖先・子孫の関係があるといいます。

输入格式

入力は以下の形式で標準入力から与えられます。

N N K K

输出格式

答えを出力してください。

题目大意

定义一个长度为 nn 的二元组序列 [(l1,r1),(l2,r2),,(ln,rn)][(l_1,r_1),(l_2,r_2),\cdots,(l_n,r_n)] 是好的,当且仅当:

  • (l1,r1,l2,r2,,ln,rn)(l_1,r_1,l_2,r_2,\cdots,l_n,r_n) 构成一个 12n1\sim 2n 的排列。
  • l1<l2<l3<<lnl_1<l_2<l_3<\cdots<l_n
  • 1in,li<ri\forall 1\le i\le n,l_i<r_i
  • 恰好存在 kkii 满足 li+1=ril_i+1=r_i
  • 存在一个有 nn 个节点的有根树满足对于任意 i,ji,ji,ji,j 在树上有祖先-后代关系当且仅当区间 [li,ri],[lj,rj][l_i,r_i],[l_j,r_j] 有交(可以是包含关系),并且该树满足每个节点有零个或两个儿子。

给定 n,kn,k,数有多少个好的二元组序列,对 998244353998244353 取模。

3 1
2
1 0
0
521 400
0
199999 2023
283903125

提示

制約

  • 1  N < 2 × 105 1\ \leq\ N\ <\ 2\ \times\ 10^5
  • 0  K  N 0\ \leq\ K\ \leq\ N
  • N N は奇数
  • 入力される値はすべて整数

Sample Explanation 1

例えば (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) の場合、Li+1=Ri L_i+1=R_i が成り立つのは i=2 i=2 1 1 個のみです。また、5 5 番目の条件で述べられている木については、頂点 1 1 が根であり、その子が頂点 2,3 2,3 であるような根付き木が該当します。