HDU4015 Raney引理

对于一个总和为 1 的整数序列，它的循环同构序列中有且仅有一个满足前缀和数组均大于 0。

https://blog.csdn.net/Lu_Anlai/article/details/117332536

对于原文中的证明的理解：
以序列1，3，-4，1为例，先做出前缀和Sn的图像，这个Sn的图像是将1，3，-4，1呈圆形排列，从1开始加的，自然每四个点构成的图像每次往后上移1，就像图中所示做斜率为1/4的直线，则它在每四个点内必然经过唯一的一个点这个点就是标志着这个序列的结尾。所以若有点在这条线的直线下，因为Sn都是整数，所以值肯定是小于1的。也就是0或者是负数。只有当下移到和最低的相切，如图所示，只有这样的时候，所有的点都在直线上，这个相切的点就表示前一个序列的结尾那个数。自然若以相切的点的后面的一个点作为下一个序列的开头，例如如图的4,5,6,7对应1，1，3，-4（序号可视作1，3，-4，1绕着顺时针标号），在一个序列的所有的同构序列中只有这一种是符合的。下移到与某个点相交的动作实际上是表示以这点作为序列结尾的意思。自然，若这个相切的点不是最低点，肯定有点在这条直线下。例如当直线经过点B，则在序列2，3，4，5中3，4都是直线下的不满足。这个平移直线的动作也取遍了该序列的所有循环同构序列。
循环同构序列，按照个人理解，就是在循环的意义下，和某一序列同构的序列，只要照着圆将序列循环即可容易的得到。若将循环同构序列分组，则每组有N个循环同构序列，一共有p=(1+km+k)!/((k!)(1+mk)!)(不全相异元素的全排列公式n!/(n1!n2!n3!……nk!)) 则圆排列个数（即循环同构序列的组数）有p/m+km+1
由Raney引理每组有一个符合条件的序列，则符合条件的序列有q=p/m+km+1个
q/p=1/m+mk+1即为概率