Cf 1513B AND Seguences(严格证明)

题目链接：https://codeforces.com/problemset/problem/1513/B
题意：略
证明:
因为要求$i$从$1$到$n$都要满足左边按位与等于右边按位与，所以就想到两边的极限情况.

当 (式1)$i=1$的时候要求，$a[1]与a[2]...a[n]$按位与和结果 相等。当(式2)$i=n$时，要求$a[1]\dots a[n-1]按位与和a[n]$相等。

有位运算知识可得：分界线右边的按位与结果的值一定小于等于右边所有元素中的最小值。

如果$a[1]$等于最小值的话，$a[1]和a[2]..a[n]$中的最小值相等。

假设$a[1]$小于最小值的话，那么可以得出$a[1]比a[2]..a[n]$中的所有数都要小，那么式2的左边的值永远小于右边的值，不和题意，所以假设不成立。

同理可得。

$a[n]$一定等于左边的最小值。

得出
$$\begin{gathered} a[1]=min(a[2],a[3],\dots ,a[n]) \\ a[n]=min(a[1],a[2],\dots ,a[n-1]) \\ 假设a[1]不等于a[n],a[1]<a[n] \\ 则存在a[2]\dots ..a[3]=a[1]<a[n] \\ 和a[n]=min(a[1],a[2],\dots ,a[n-1])矛盾 \end{gathered}$$

得出结论$a[1]=a[n]=整个序列的最小元素$

注意判断$a[1]<a[2]..a[n]按位与$,这种不存在的情况，如果$a[1]=a[2]..a[n]$按位与,则$a[1]=a[1]a[2]...a[n]按位与$。也就是整个序列按位与后的结果应该和最小值相等，否则种数为0

将结论和判断结合一下，可以变成，先对序列中的数进行按位与操作得出该小数，然后看序列中该数的个数，如果==0的话其实就是被特判的情况。

从上面得出结论可以知道$a[1]=a[n]=整个序列的最小元素$,所以两头固定之后，中间的数无论怎么排列都不会改变两边按位与的结果。那么现在就是简单的排列组合问题，先定两头， 首位：序列中小数的个数，尾位：序列中小数的个数 -1，中间位: 1 * 2 * …* n-2

#include <stdio.h>
#include <algorithm>
#include <cstring>
using namespace std;
const int N = 2e5 + 5, mod = 1e9 + 7;
int a[N];
int main()
{
    int _;
    scanf("%d", &_);
    while (_--)
    {
        int n;
        scanf("%d", &n);
        int now;
        for (int i = 1; i <= n; i++)
        {
            scanf("%d", &a[i]);
            if (i == 1)
                now = a[i];
            else
                now &= a[i];
        }
        long long cnt = 0;
        for (int i = 1; i <= n; i++)
            if (a[i] == now)
                cnt++;

        long long res = (cnt * (cnt - 1)) % mod;
        for (int i = n - 2; i >= 1; i--)
            res = (res * i) % mod;
        printf("%lld\n", res);
    }
    return 0;
}