atcoder#AGC062E. [AGC062E] Overlap Binary Tree

[AGC062E] Overlap Binary Tree

配点 : 13001300

問題文

奇数 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)11 から 2N2N までの整数の順列
  • L1L2LNL_1 \leq L_2 \leq \dots \leq L_N
  • LiRi (1iN)L_i \leq R_i \ (1 \leq i \leq N)
  • Li+1=RiL_i+1=R_i が成り立つような i (1iN)i\ (1\leq i \leq N) はちょうど KK 個存在する
  • 11 から NN までの番号が付いた NN 頂点の根付き二分木 TT であって、以下が成り立つものが存在する- TT において頂点 i,ji,j には祖先・子孫の関係がある     \iff 区間 [Li,Ri],[Lj,Rj][L_i,R_i],[L_j,R_j] が共通部分を持つ
  • TT において頂点 i,ji,j には祖先・子孫の関係がある     \iff 区間 [Li,Ri],[Lj,Rj][L_i,R_i],[L_j,R_j] が共通部分を持つ

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

制約

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

入力

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

NN KK

出力

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

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

1 0
0
521 400
0
199999 2023
283903125