曾经有一个叫做塔子哥的数学家,他对数学有着极大的热情和天赋。有一天,他提出了一个非常有趣的问题,他想要计算一个长度为 n 的数组的所有排列中,相邻两数乘积为奇数的对数之和。他将这个值定义为这个数组的权值,用符号 w(a1,a2,⋯,an) 表示。比如说,对于数组 [4,3,1,5,2] 来说,它的权值就是 w(4,3,1,5,2)=2,因为有两对相邻的元素乘积为奇数:3∗1=3,1∗5=5。
其实直觉想想就能做了。但是我这里提供一个稍微严格一点的推导,供大家学习,对之后分析更复杂的情况,学习莫比乌斯反演,Min_25筛等恶心的推式子的东西或许有些用。过程并不简洁,只是力求每一步都清晰,都能满足《Concrete Mathematics: A Foundation for Computer Science》 第二章给出的原则。大佬轻喷
按题目的定义,可以发现是求解
$$\Large \sum_{p \in P_n} \sum_{i=1}^{n-1}\ [p_i是奇数且p_{i+1}是奇数] $$