問題一覧 > 通常問題

No.2504 NOT Path Painting

レベル : / 実行時間制限 : 1ケース 2.000秒 / メモリ制限 : 512 MB / 標準ジャッジ問題
タグ : / 解いたユーザー数 25
作問者 : suisen / テスター : emthrm torisasami4 rniya
2 ProblemId : 9243 / 出題時の順位表 / 自分の提出
問題文最終更新日: 2023-08-22 00:13:06

問題文

頂点に 1,2,…,n1,2,\ldots,n の番号が付いた、n (n≥2)n\ (n\geq 2) 頂点の木が与えられます。i (1≤i≤n−1)i\ (1\leq i\leq n - 1) 番目の辺は頂点 uiu _ i と頂点 viv _ i を結んでいます。

はじめ、nn 個の頂点は全て白く塗られています。以下の操作を頂点が全て黒く塗られるまで行います。

  • 1≤x≤y≤n1\leq x \leq y\leq n を満たす頂点対 (x,y)(x, y) を一様ランダムに 11 つ選択する。つまり、各頂点対はそれぞれ確率 1n(n+1)/2\dfrac{1}{n(n+1)/2} で選択される。選択した (x,y)(x, y) に対して、xyxy 単純パス (端点 x,yx, y を含む) に 含まれない 頂点を全て黒く塗る。頂点対 (x,y)(x, y) に対して xyxy 単純パスは一意に定まることに注意してください。

頂点対の選択は操作毎に独立であると仮定した場合の操作回数の期待値を mod 998244353\mathrm{mod}\ 998244353 で求めてください。

TT 個のテストケースが与えられるので、その全てに対して上記の問題を解いてください。

期待値 mod 998244353\mathrm{mod}\ 998244353 の定義 (クリックで展開)

本問題の制約下において、求める期待値は必ず有理数になること、およびその値を既約分数 PQ\dfrac{P}{Q} で表したときに Q≢0(mod998244353)Q\not\equiv 0 \pmod{998244353} となることを証明できます。よって、R×Q=P(mod998244353),0≤R<998244353R\times Q=P\pmod{998244353},0\leq R\lt 998244353 を満たす整数 RR が一意に定まります。この RR を答えてください。

入力

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

TT
testcase1\text{testcase}_1
testcase2\text{testcase}_2
⋮\vdots
testcaseT\text{testcase}_T

ここで、testcasei\text{testcase}_i は ii 番目のテストケースを表します。ii 番目のテストケースは、以下の形式で与えられます。

nn
u1 v1u _ 1\ v _ 1
u2 v2u _ 2\ v _ 2
⋮\vdots
un−1 vn−1u _ {n - 1}\ v _ {n - 1}
  • 入力は全て整数で与えられる
  • 1≤T≤1051\leq T\leq 10 ^ 5
  • 2≤n≤4×1042\leq n\leq 4\times 10 ^ 4
  • 1≤ui,vi≤n1\leq u _ i, v _ i \leq n
  • 与えられるグラフは木である
  • 全てのテストケースにわたる nn の総和は 2×1052\times 10 ^ 5 以下である

出力

TT 行出力してください。

i (1≤i≤T)i\ (1\leq i\leq T) 行目には、ii 個目のテストケースに対する答えを出力してください。

TT 行目の出力の後も改行してください。

サンプル

サンプル1
入力
2
3
1 2
2 3
7
1 2
1 3
2 4
2 5
3 6
3 7
出力
4
559621838

  • 1 つ目のテストケースについて:

    入力は次の木を表しています。

    操作の一例としては、例えば次のようなものが考えられます。

    • 11 回目: (x,y)=(1,3)(x,y)=(1,3) を選択する。xyxy 単純パス上の頂点は {1,2,3}\lbrace 1, 2, 3 \rbrace であるから、新たに黒く塗られる頂点は存在しない。
    • 22 回目: (x,y)=(1,2)(x,y)=(1,2) を選択する。xyxy 単純パス上の頂点は {1,2}\lbrace 1, 2 \rbrace であるから、新たに頂点 33 が黒く塗られる。
    • 33 回目: (x,y)=(1,2)(x,y)=(1,2) を選択する。xyxy 単純パス上の頂点は {1,2}\lbrace 1, 2 \rbrace であるから、新たに黒く塗られる頂点は存在しない (パスに含まれない頂点 33 は既に黒く塗られている)。
    • 44 回目: (x,y)=(2,3)(x,y)=(2,3) を選択する。xyxy 単純パス上の頂点は {2,3}\lbrace 2, 3 \rbrace であるから、新たに頂点 11 が黒く塗られる。
    • 55 回目: (x,y)=(1,1)(x,y)=(1,1) を選択する。xyxy 単純パス上の頂点は {1}\lbrace 1 \rbrace であるから、新たに頂点 22 が黒く塗られる。全ての頂点が黒く塗られたので、ここで操作を終了する。終了するまでの操作回数は 55 である。

    操作の例として、次のようなものも考えられます。

    • 11 回目: (x,y)=(1,1)(x,y)=(1,1) を選択する。xyxy 単純パス上の頂点は {1}\lbrace 1\rbrace であるから、新たに頂点 2,32, 3 が黒く塗られる。
    • 22 回目: (x,y)=(2,3)(x,y)=(2,3) を選択する。xyxy 単純パス上の頂点は {2,3}\lbrace 2, 3 \rbrace であるから、新たに頂点 11 が黒く塗られる。全ての頂点が黒く塗られたので、ここで操作を終了する。終了するまでの操作回数は 22 である。

    この入力に対して、終了するまでの操作回数の期待値は 44 であることを証明できます。

  • 2 つ目のテストケースについて:

    期待値は 24766\dfrac{247}{66} です。従って、66×R≡247(mod998244353)66 \times R\equiv 247 \pmod{998244353} かつ 0≤R<9982443530\leq R\lt 998244353 を満たす唯一の整数 559621838559621838 を出力してください。

提出するには、Twitter 、GitHub、 Googleもしくは右上の雲マークをクリックしてアカウントを作成してください。