题意:

给定一个n,询问有多少种1~n的排列,使得对于任意的一个位置上的数i,相邻位置上的数都比它大,或者都比它小。(两边位置只有一个相邻的位置)

 

题解:

这个题目实际上是POJ1037 的简单版。lyd书上有,还看过,做过,但是就tmd忘了(或者根本没有理解)

(看到的第一反应就是这个题目,但是立刻否决了。因为题目也记不清了。而且就算想下去估计也想不起来)

 

DP无疑。

先想到:f[i][j]表示,前i个数,最后一个数是j的方案数。但是,第i+1个数也可以放在前i个位置。

这就考虑不到了。

于是开始打表,推规律,无果。

于是根据表开始DP,理性分析:设f[i]表示,i个排列的合法解。

推1.5h,发现和i-1非法解有关,而i-1的非法解中的转移还不一样。还得往后推。。。。。

感叹了一句:“子子孙孙无穷匮也~~~”

然后看题解。找了找lyd的书。。。

 

正解:

定义:一个数比相邻的数都大,叫高位。反之叫低位。

设f[i][j][0/1]表示,用i个大小不同的数,填前i个位置,最后一个数,从小到大排在第j位,并且处于(0低位)(1高位)的方案数。

然后转移:

f[i][j][0]=f[i-1][p][1] (j<=p<=i-1)

f[i][j][1]=f[i-1][p][0] (1<=p<=j-1)

如果在i中排在第j位,一定比i-1中排在第j位的数小。(反证一下)

反之,i中j位数,一定比i-1中j-1位数大。

为什么转移是对的???

注意,i表示i个大小不同的数,j是相对的第j位,并不是绝对的。

这样设状态是因为,i个大小不同的数,无论是什么数,对于最后一位是j名,处于0/1位的情况,方案数都是一定的。(类似离散化思想。1,2,3,4 和100,200,300,400方案一样)

我们在第i位枚举的j,其实就是相当于枚举1~i中的j。

具体的变化是这样的:

假如到了i=5,j=3,0,其实就是把3放在最左边。对于从f[4][3][1]转移,后者有一种情况是:3,1,4,2, 那么,其实进行后序列是:3,4,1,5,2

所以,对于i位取了3,把之前的3换出来,剩下1,2,4,5,和1,2,3,4放置的方法种类数相同。所以可以直接转移。

就相当于进行了一次具体数值意义下的转移。

 

所以转移就是对的。

 

代码就不写了。没有难度了。

 

总结:

漂亮的思维题。

主要是在设置状态的时候,用离散化的思想,抓住了i个数排列的方式都是一样的。

就是说,是几不是几,题目无所谓,我们也不关心。我们需要的时候,相当于让它是几就是几。

这种“相对”设法,还要多思考,多总结。


 

upda:2019.3.5:

更确切地讲,其实我们做的,是往一个球的编号为1~i-1序列里(其中i-1号球放在从下到上的第j个位置),插入编号为i的球。

这样最后形成的n个球的序列,从下往上从1~n确定数字,根据球的编号还原原来的序列,和最终的1~n的合法排列是一一对应的~!

 

类似的还有:

CZA、排座位、放书等等问题,这些问题是直接考虑一段一段形成然后拼接。本质是相对位置(即我知道编号但是不关心实际位置)

本题看似是从左往右DP,但是本质还是相对顺序的记录和把球插入。

我们途中不知道也不关心到底这个球最终是哪个数字,只关心相对大小,最后填完了自然会确立。(即我知道相对位置但是不关心实际大小)

换句话说,排列有两种表示:给定n个数字、给定n-1个小于号

保留实际位置还是保留实际大小,看哪个更不容易处理就保留哪一个了。