【每日一题】1969.数组元素的最小非零乘积--Python

给你一个正整数 p 。你有一个下标从 1 开始的数组 nums ，这个数组包含范围 [1, 2p - 1] 内所有整数的二进制形式（两端都 包含）。你可以进行以下操作 任意 次：

从 nums 中选择两个元素 x 和 y 。
选择 x 中的一位与 y 对应位置的位交换。对应位置指的是两个整数 相同位置 的二进制位。
比方说，如果 x = 1101 且 y = 0011 ，交换右边数起第 2 位后，我们得到 x = 1111 和 y = 0001 。

请你算出进行以上操作 任意次 以后，nums 能得到的 最小非零 乘积。将乘积对 109 + 7 取余 后返回。

注意：答案应为取余 之前 的最小值。

示例 1：
输入：p = 1
输出：1
解释：nums = [1] 。
只有一个元素，所以乘积为该元素。

示例 2：
输入：p = 2
输出：6
解释：nums = [01, 10, 11] 。
所有交换要么使乘积变为 0 ，要么乘积与初始乘积相同。
所以，数组乘积 1 * 2 * 3 = 6 已经是最小值。

示例 3：
输入：p = 3
输出：1512
解释：nums = [001, 010, 011, 100, 101, 110, 111]

• 第一次操作中，我们交换第二个和第五个元素最左边的数位。
  • 结果数组为 [001, 110, 011, 100, 001, 110, 111] 。
• 第二次操作中，我们交换第三个和第四个元素中间的数位。
  • 结果数组为 [001, 110, 001, 110, 001, 110, 111] 。
    数组乘积 1 * 6 * 1 * 6 * 1 * 6 * 7 = 1512 是最小乘积。

提示：
1 <= p <= 60

思路：
（1）首先，如果给定数组只有一个元素，返回的值一定是1
（2）当p不为1时，数组包含的元素是1->2^p-1。我们直到，给定一串数字，要求其中一个数加1，一个数减1使得最终这些数的乘积最小，那么令最小的数减1，最大的数加1即可。
（3）两个二进制数在进行相同的位交换时，本质是将一个元素缩小 2^k,另外一个元素增加 2^k。所以优先缩小数组中最小的元素，再增加数组中最大的元素即可。
（4）首先考虑 第一个元素1，将1减去1变为0，此时从右向左依次考虑最大的元素，由于 最右边的2^p-1每一位均为 1无法再增加；接着考虑 2^p-2，最终数组左边全部变成0，右边全部为2^p-1。
（5）因为乘积不可以为0，则把0全变成1，同时把相同数量的2^p−1变成 2^p−2。最后结果为(2^p-1)x（2^p-2)**(2^p-1-1)

python代码：

class Solution(object):
    def minNonZeroProduct(self, p):
        """
        :type p: int
        :rtype: int
        """
        if p == 1:    #若数组内只有一个元素，返回1
            return 1
        mod = 10**9+7
        s = pow(2**p-2,2**(p-1)-1,mod)*(2**p-1)  #若数组中有2**p-1个元素，最小乘积为s
        return s % mod   #返回取余之后的值

-------参考LeetCode，有大佬知道为什么要取模吗？？这点没有看懂