混乱的奶牛

Description

混乱的奶牛 [Don Piele, 2007] Farmer John的N(4 <= N <= 16)头奶牛中的每一头都有一个唯一的编号S_i (1 <= S_i <= 25,000). 奶牛为她们的编号感到骄傲, 所以每一头奶牛都把她的编号刻在一个金牌上, 并且把金牌挂在她们宽大的脖子上. 奶牛们对在挤奶的时候被排成一支"混乱"的队伍非常反感. 如果一个队伍里任意两头相邻的奶牛的编号相差超过K (1 <= K <= 3400), 它就被称为是混乱的. 比如说,当N = 6, K = 1时, 1, 3, 5, 2, 6, 4 就是一支"混乱"的队伍, 但是 1, 3, 6, 5, 2, 4 不是(因为5和6只相差1). 那么, 有多少种能够使奶牛排成"混乱"的队伍的方案呢?

Input

* 第 1 行: 用空格隔开的两个整数N和K

* 第 2..N+1 行: 第i+1行包含了一个用来表示第i头奶牛的编号的整数: S_i

Output

第 1 行: 只有一个整数, 表示有多少种能够使奶牛排成"混乱"的队伍的方案. 答案保证是 一个在64位范围内的整数.

题解

这个N奇小无比,所以我们理所当然的会想到状态压缩

这里用的状态压缩是指用一个二进制数来表示一个序列,0表示没有1表示有

我们观察题目会发现一头奶牛是否能加入队伍只跟她是否在队伍中和队尾的值有关

所以我们用dp[i][j]表示队尾为i的入队情况为j的(就是前面说的状态压缩)队伍的方案数

dp[k][i|(1<<k)]+=dp[j][i] (j属于i,k不属于i)

枚举j,k即可

05-11 18:38