组合数学题锦

001 杨辉三角

做题地址：牛客小白月赛36的C 杨辉三角

题目：

解决：
题解

002 D. AquaMoon and Chess

做题地址： Codeforces Round #732 (Div. 2)的D. AquaMoon and Chess

题意：
有T组测试数据，T的大小为10000
每组测试数据有一个长度为n的0/1的字符串，n的大小为1e5，T组数据n的总长度为1e5.
可以执行多次操作1（可以0次），问最多可以得到多少组不同的0/1串
操作1：
如果位置i是1，位置i+1也是1，位置i+2是0，那么，位置i的1，可以与i+2位置的0交换位置。
如果位置i是1，位置i-1也是1，位置i-2也是0，那么，位置i的1，可以与i-2位置的0交换位置。

解决：
先说结论，计算0的个数n，按照规则1计算1的个数m，公式为C(n, n + m)或者C(m, n + m)
规则1，连续的1的个数为k，那么m+=k/2（k是要下取整的）
我看了好多篇题解，都是通过观察出特征，找到规律写的，没怎么有证明正确性的，我尝试证明一下正确性，当然，不一定准确严谨。

证明：
由操作1我们知道，0和1是怎么交换的，那我们可以将此题等价变形，变为0可以填充到1的个数。
根据操作1可知，如果当前位置为0，下一个位置为1，同方向再下一个位置也为1，那么，0就可以走到第二个1的位置，经过迭代，我们可以得出，对于一个0来说，0可达的位置，需要每次跳过两个连续的1才行。那么，对于每个1来说，都满足此规律。不管0是往左走还是往右走，他所能插入的1的，一定是两个1进行打包后的位置。那么，对于不管是奇数个还是偶数个，都是除以2下取整个对数。【加强论证，如果计入后效性，也就是0位置走动后，会对连续的1的长度产生影响。那么，产生的影响，一定是分隔为一个奇长度，和一个偶长度，或者两个偶长度，不可能出现两个奇长度。这也就保证了，我们的连续两个1的对数，在静态的初始状态就是确定好了的，不会随着0的走动而发生更改，那么我们的0的位置的安放，对我们来说就是一个组合问题了】
这是一个组合问题，对于m个0来说，先放到n+m个位置，然后将1填进去就行了，和顺序无关，公式为C (m, n + m).

#include <bits/stdc++.h>
using namespace std;
const int N = 100005;
int n;
int a[N], cnt[N][2];
void work()
{
  memset(cnt, 0, sizeof cnt);
  scanf("%d", &n);
  for (int i = 1; i <= n; i ++ )
    scanf("%d", &a[i]), ++ cnt[a[i]][i % 2];
  sort(a + 1, a + 1 + n);
  for (int i = 1; i <= n; i ++ )
    -- cnt[a[i]][i % 2];
  for (int i = 1; i <= n; i ++ )
    if (cnt[a[i]][0] != 0 && cnt[a[i]][1] != 0)
    {
      puts("NO");
      return;
    }
  puts("YES");
}
int main()
{
  int T; cin >> T;
  while (T -- ) work();
  return 0;
}