向量放到计算几何里面了。
矩阵
矩阵 的主对角线指 的元素。
特殊的矩阵(方阵):
- 对称矩阵:对于任意 ,有 。
- 单位矩阵 指主对角线全为 ,其余都是 的矩阵。任何矩阵乘上单位矩阵都保持不变。
- 对角矩阵:除对角线外其余元素皆为 ,可以记作 。
- 三角矩阵:主对角线左下方元素皆为 称为上三角矩阵。反之也有下三角矩阵。若主对角线上的元素均非 ,则上(下)三角矩阵存在逆,逆仍是上(下)三角矩阵。两个上(下)三角矩阵的乘积仍然是上(下)三角矩阵。
- 单位三角矩阵:主对角线上元素均为 的三角矩阵。单位上(下)三角矩阵的逆仍是单位上(下)三角矩阵。两个单位上(下)三角矩阵的乘积仍然是单位上(下)三角矩阵。
- 倍乘矩阵 :特殊的对角矩阵,表示一个对角矩阵,主对角线上第 个元素为 ,其余元素均为 。
- 对换矩阵 :特殊的对称矩阵,所有元素均为 或 ,其中主对角线上仅第 和第 个元素为 ,其余均为 ,除主对角线外仅 两个元素为 ,其余均为 。要求 。
- 倍加矩阵 :特殊的三角矩阵。在单位矩阵 的基础上令 为 。
- 倍乘矩阵,对换矩阵,倍加矩阵被统称为 初等矩阵。
方阵 的逆 指 的矩阵,可能不存在。
矩阵乘法:
当且仅当对于一个 的矩阵 和 的矩阵 ,。
此时 为一个 的矩阵且 。
比如说对于矩阵 和 :
和 ,它们的积是 。即 。
感性理解一下就是 把 矩阵每一列跟 矩阵每一行乘起来组成矩阵 。
对于一个 矩阵 ,它乘以一个 的正方形矩阵 ,得到的结果大小仍然是 。易得。
对于一个 的矩阵 ,我们可以靠补 的方式补成 的矩阵。如上面的例子,矩阵 就是 。
那么求得的矩阵 变为 。
注意矩阵乘法没有交换律,有结合律。
矩阵转置:
对于矩阵 ,所有 和 交换位置。矩阵的行列式不变。
矩阵的初等变换:
不仅限于方阵,对于一般矩阵也能进行初等变换。
- 倍乘:左乘 达到第 行乘非 数 的效果。
- 互换:左乘 达到第 行和第 行互换的效果。
- 倍加:左乘 达到第 行乘 加到第 行的效果。
将左乘改成右乘即为对列进行变换。
高斯消元
对于一个线性方程组 求解。复杂度 。
考虑正常人类做法是一个一个消元。所以我们就模拟人类做法。每次找一个元消掉。
假设我们现在要消去 的元。找到一个 最大的 (选择最大的可以最大程度减少精度爆炸的可能),然后以这个为主元将其他的方程中 这一项通过乘系数的方式转化成 ,然后模拟方程相减。我们就可以得到 个 元一次线性方程组。所以这么做下去就好。
有个代码的优化是把找到的 和现在正在消的元 这两行交换,于是我们最后得到的线性方程组系数就会变成一个 这样的一个倒三角。于是我们就能从最后一行开始慢慢往回倒求解。
然后对于无解和无穷解的判断:我们在某一行发现主元是 时代表这一整行都是 ,所以我们跳过这一行。因为这个相当于减少了一个变量,我们最后得到的仍然是一个倒三角,只是最后有几行的所有系数为 ,于是我们根据这个判断有没有解就好了。注意无解的优先级大于无数解。
如果要求取模的话可以用辗转相处消元,复杂度整体没变还是 ,具体可以去看行列式板子。
行列式
对于一个 阶方阵 ,其行列式 或 定义为 ,其中 定义为 到 的全排列, 定义为排列 的逆序对数。 代表排列 的逆序对数。
行列式的一些特性:
- 交换一行与一列,或者进行一次矩阵转置,行列式不变。
- 交换两行或者两列,行列式取相反数。
- 设方阵 :,则 ,其中 和 除第 行外与 相同,第 行分别为 和 。
- 对一行或一列等比例变化(乘上 ?)则行列式同样等比例变化。
- 如果有两行或者两列相等或等比例,则行列式为 。
- 将一行(列)乘上一个常数(当然可以为 )后加到另一行(列)上,行列式不变。
- ?存疑。
板子的行列式求值是 的。可以利用性质,使用高斯消元的方法得到一个三角矩阵,此时的行列式就是对角线所有元素的积。然后记录现在的行列式是原来的多少倍就好。
LGV 引理
解决 DAG 上不相交路径计数等问题。
定义 表示路径 上的边的边权积。在做统计方案数问题时可以把边权设为 。 表示从 到 的每一条路径 的 和,即 。起点集合 ,终点集合 ,大小均为 。
记一组不相交路径集 ,满足 表示从 到 的一条路径且对于任意 , 和 无公共交点。 表示 对应的一个 到 的排列。 表示排列 的逆序对数。
记一组相交路径记为 ,一组不相交路径记为 。不作说明时 为任意一组路径,带下标时 表示 这条路径。定义 。
LGV 引理的内容是:令有一个矩阵 。则有 。其中 指 的不相交路径集。人话就是 的值就是 的所有不相交路径集的带符号和,其中符号指对于当前 , 的奇偶性,也即 。
证明:
- 根据行列式定义有 。
- 求积那一坨实际上就是求所有 排列为 的路径集 的 。
- 即 。
若引理成立则须有 ,证明:
- 若存在一个相交路径组 ,则必然存在一个相交路径组 满足 含有 , 含有 ,然后其他路径都相等。那么有 , 即 。至此就得证了。
一般来说构造行列式求值即可。
矩阵树定理(Matrix-Tree 定理)
图(可有向可无向)的生成树计数等问题。
定义无向图 的度数矩阵:。有向图 的入度矩阵:,出度矩阵 。图 的邻接矩阵 连接 到 的边数。无向图 的 kirchhoff 矩阵 。有向图分为 和 ,就是把入度出度矩阵替换无向图的度数矩阵。
定义无向图生成树数量为 ,有向图根为 的根向树(子节点指向父节点)生成树数为 ,叶向图(父节点指向子节点)生成树数为 。
定义图 的关联矩阵 为大小 的矩阵。 是点数, 是边数。其中(无向图方向任意):。 分别指边 的起点终点。图 的减关联矩阵 为 去掉最后一行形成的 的矩阵。图 的子减关联矩阵 为选出 中的列构成子集 ,并满足 。暂时不知道有什么用?
无向图矩阵树定理:对于任意 ,都有 。其中行列式里面那个东西表示矩阵 除了第 行的所有行和除了第 列的所有列构成的子矩阵。
有向图矩阵树根向生成树定理:对于任意 都有 。
有向图矩阵树叶向生成树定理:对于任意 都有 。
以上三个的定理证明,有时间看看能不能补。
Best 定理:设 是有向欧拉图,则 的不同欧拉回路总数 。
证明:
- 有一个前提定理,一个欧拉图中选一棵根向生成树,除根外每个点以生成树上的边作为最后一条出边,其他的边无论怎么走都能构成一个欧拉回路。证明参考,不会证。
- 现在我们限定 为欧拉回路的起点。那么除了 其他节点贡献的方案数为 。答案是 。其中 取任意一个点都可以,可以通过欧拉回路性质证明欧拉图中任何一个点得到的根向生成树个数相同。
- 然后把限定起点删掉,一条欧拉回路会以每个出现的 分为 段,在没有限定起点里面这 段的循环组合是一样的。所以答案需要除以 。上面那个式子除以一个 就是定理式子。
线性基
OI-Wiki 上说有高消的线性基,不过太菜了不会,这里只会贪心构建。
不考虑线性代数的描述的话,个人来讲,一个序列 ,若有集 满足在 中选择一些元素异或出 中的任意元素,此时最小的 就是 的线性基。一个序列仍有多个线性基,但它们的长度相等。显然此时 中任意一个元素只有一种表示方法。令 的线性基大小为 。
可以支持 插入, 判断 中选取一些元素能否异或出一个数, 合并两个线性基(显然合并会变为两个序列合并后的线性基), 查询在 中选取一些元素得到的最大或最小异或和, 查询在 中选取一些元素得到的第 小。线性基无法表示出 ,数据含有 且 会造成影响时记得特判。
先考虑插入,意味着我们需要让这个线性基能表示出来 。我们从高到低枚举二进制位,如果现在的 第 位是 我们不做考虑,否则如果线性基这一位是空的,就把这意味变成现在的 ,否则让 异或上线性基这一位继续往后走。考虑正确性。首先我们如果把当前 放到某一位是一定能表示出来原来的 的,怎么异或过来的异或回去就行。不然的话 的第 位一定会被消掉,因为在这位有贡献的前提是 位为 。那么可知在 结束后 一定为 ,也就是已经可以被表示出来了,不需要再插。同理这个也可以判断一个数能不能被异或出来。在这里我们也可以得到一个性质:线性基上第 位的数最高位就是 ,且任意 都会有线性基第 位的数第 位为空。
考虑合并两个线性基。因为一个线性基能够异或出待合并序列的所有项,所以事实上我们只要把线性基内的所有数插进去就等于把原序列合并了。
考虑查询最小值。考虑从小往大枚举位数,第 位的数如果异或上前面的数根据性质一定会变大,所以不异或就可以得到最小值,也就是线性基里面的最小数。然后查询最大值。从大往小枚举位数能够选择第 位能是 就选,所以贪心求最大值就好。
最后考虑第 小。我们可以用 的复杂度强制性将线性基所有元素转变为 ,然后就很好做了。
拉格朗日插值
对于给定的 个平面直角坐标系的点 ,在 互不相同的情况下,我们可以确定唯一的 次函数(多项式?)。拉格朗日插值解决给定 ,求 的问题,使用前提是已经证明需要求的东西是一个 次多项式。
如果我们能用一个函数表示出来这 个点,因为此时函数唯一确定,这个函数就是我们的 。设拉格朗日基本多项式为 。注意到对于 ,,并且有 。所以这个多项式就可以表示为 。然后我们把 代进去就行了。复杂度 。
对于 连续的情况,比如 ,我们可以在 的复杂度内解决。具体地,将 代入上面的基本多项式可以得到 。考虑根据 这个东西把这些点分为两份,分母显然就是阶乘乘阶乘,注意一下后面那个阶乘可能带符号就好。然后维护关于 的前后缀积 ,那么分子就可以表示为 。所以这个复杂度就是 的。
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 阿里最新开源QwQ-32B,效果媲美deepseek-r1满血版,部署成本又又又降低了!
· Manus重磅发布:全球首款通用AI代理技术深度解析与实战指南
· 开源Multi-agent AI智能体框架aevatar.ai,欢迎大家贡献代码
· 被坑几百块钱后,我竟然真的恢复了删除的微信聊天记录!
· AI技术革命,工作效率10个最佳AI工具