SPOJ Con-Junctions(树形dp，方案计数)

题目链接：
SPOJ Con-Junctions
题意：
给一个$n$个节点和$n-1$条边的树，要用灯点亮所有的边，每条边至少要有一个端点放盏灯就点亮了这条边，求最少的放灯数量和最少放灯数量时的方案数。方案数结果模$10007$输出。
数据范围：$n\leq 100010$
分析：
最少放灯数量很好求。
用$dp[u][0]$表示点亮$u$子树的所有边时且$u$节点不放灯的最少数量，用$dp[u][1]$表示点亮$u$子树的所有边时且$u$节点放灯时的最少数量。
状态转移方程：