12.1_数论总结

最新推荐文章于 2021-09-12 12:31:23 发布

Bfk_

最新推荐文章于 2021-09-12 12:31:23 发布

阅读量326

点赞数

分类专栏： ---------------数论总结线性基文章标签：总结数论

本文链接：https://blog.csdn.net/Bfk_zr/article/details/78691699

版权

---------------数论同时被 3 个专栏收录

36 篇文章 0 订阅

订阅专栏

总结

26 篇文章 0 订阅

订阅专栏

线性基

3 篇文章 0 订阅

订阅专栏

（这周的题解周末补）
规划上所有的知识点都浅浅地过了一遍。

挑几点重要的写吧，知识点的笔记和重要的东西都记在自己的小本本上了，这里就给自己提一些容易混淆的问题。

线性基：定义与其性质息息相关。
消成上三角（方便，简单）vs 消成对角线（逐位、互不影响）
贪心的原理：拟阵的证明。

集合S,若某个S的子集r不存在任何一个非空子集异或和0，则r∈I.下面我们证明二元组M=(S,I)是一个拟阵。
遗传性：设A∈I,则A是S的线性无关组，则A的任意非空子集均线性无关，即对A的任意子集B,B均线性无关，因此B∈I,证毕。
交换性：设A,B∈I,且|A|<|B|,我们要证明存在x∈B,使得A∪{x}∈I.利用反证法，假设对于任意x∈B-A,均有A∪{x}不属于I,则B-A中的元素均在A的异或空间中，可由A的子集异或和表示。
因此B中的元素都在A的异或空间中。那么必然有B的异或空间包含于A的异或空间。由|A|<|B|且A,B线性无关，显然矛盾。因此交换性存在，证毕。
从而我们可以使用贪心算法确定最优解。
——wyfcyx大佬博客

发现好像没有理解的太清楚，UPD一发：
以下是自己的证明，可能不是很严谨。
首先引用线性基的一些性质：

线性基能相互异或得到原集合的所有相互异或得到的值。
线性基是满足性质1的最小的集合
线性基没有异或和为0的子集。

证明是显然的：
1.相互异或不改变其异或出的值域。
2.考虑构造线性基的过程，当一个数不能被已有的基底异或出时，才把它加入线性基，这样就保证了第三点。
3.当且仅当一个数不能被表示时，才会被加入，这样能够保证是最小的集合。

首先，明确原来的S，是原来的数的集合，而r不存在任何一个非空子集异或和0，才有r∈I。
这样，对于上述假设，对于任意x∈B-A,均有A∪{x}不属于I，那么B-A中的元素均在A的异或空间中，可由A的子集异或和表示。
由于B与A的交集本身就可以由A表示，于是，B的异或空间被A的异或空间包含。
因为A，B本身就是不存在任何一个非空子集异或和0，可以由上述证明得知他们是最小的，
又因为B的异或空间被A的异或空间包含，且A，B线性无关，推出|A|>|B|，与|A|<|B|矛盾，于是原命题得证。

应用待补。

各种基础知识的扩展（exlucas，excrt…）:
思考问题的转化，利用消去律等一些基础操作来把它变成熟悉的模型。
（必须要把这些东西的运用变得像呼吸一样自然啊…）

FFT：
感谢从多项式乘法到快速傅里叶变换
（顺便复习了矩阵乘法，矩阵乘法是个好东西）
式子要会手推。
注意精度，四省五入+0.5。

void FFT(Virt *f,int opt)
{
    Virt* w; if(opt==1) w=omg; else w=_omg;
    for(int i=0;i<len;i++) if(i<R[i]) swap(f[i],f[R[i]]);
    for(int i=2;i<=len;i<<=1)
    {
        int l=i>>1;
        for(int j=0;j<len;j+=i)
        {
            for(int k=0;k<l;k++)
            {
                Virt z=f[j+k+l]*w[len/i*k];
                f[j+k+l]=f[j+k]-z;
                f[j+k]=f[j+k]+z;
            }
        }
    }
    if(opt==-1) for(int i=0;i<len;i++) f[i].r=f[i].r/(double)len;
}