数位DP lucas定理