Kanade's convolution 题解 我们要求的式子是。 长得极其丑陋。。。 于是我们考虑将其变形一下，令，于是条件。因为y有的1的位置x肯定都有，所以。由于可以构成这样的数对的数对总共有个，我们需要在加时乘上一个。并且加上满足条件。 于是原式就成了 。看起来好像FWT呀，可是这个条件该怎么做呢？ 我们发现由于x，y它们之间的关系并且，故。而与又可以代表它里面1的个数，我们