#P15030. [2026省选联测]初涉龙门

    ID: 14246 传统题 1000ms 256MiB 尝试: 1 已通过: 1 难度: 9 上传者: 标签>CF2600树形DP组合数学动态规划计数DP状压DP

[2026省选联测]初涉龙门

题目描述

龙门有 nn 个景点和 n1n-1 条双向道路,每条道路连接两个景点,且任意景点都能通过若干条道路相互到达。景点编号从 11nn 的。显然景点和道路形成了一棵树。

U酱被委托规划一份为期 nn 天的旅游计划 p1,p2,,pnp_1, p_2, \dots, p_n,第 ii 天游玩景点 pip_inn 天恰好各游玩一次所有景点。委托要求,对于任意连续的 kk 天,游玩的景点集合 $S_i=\{p_i, p_{i+1}, \dots, p_{i+k-1}\} \quad (1 \leqslant i \leqslant n-k+1)$ 组成的诱导子图是一个连通图(边 (u,v)(u,v) 在诱导子图中,当且仅当点 u,vu, v 都在 SiS_i 中且边 (u,v)(u,v) 在原图中)。

U酱想知道有多少种不同旅行计划满足委托要求,答案对 109+910^9+9 取模。

输入格式

第一行两个正整数 n,kn,k

接下来 n1n-1 行,每行两个正整数 u,vu, v,表示景点 uu 和景点 vv 之间有一条道路。

输出格式

输出一个整数表示答案。

4 3
1 2
2 3
3 4
4
4 1
1 2
2 3
3 4
24

样例解释

样例一的合法旅行计划有 1,2,3,41, 2, 3, 41,3,2,41,3,2,44,3,2,14,3,2,14,2,3,14,2,3,1

数据范围

Subtask 111111 pts):保证 n10n \leqslant 10

Subtask 222323 pts):保证 n20n \leqslant 20

Subtask 331616 pts):保证 2kn402k \leqslant n \leqslant 40

Subtask 443131 pts):保证 n40n \leqslant 402k>n2k > n

Subtask 551919 pts):无特殊限制。

对于 100%100\% 的数据,保证 1kn401 \leqslant k \leqslant n \leqslant 40