首页 > 其他分享 >[周报]线性代数和SAM 2024年3月第3周

[周报]线性代数和SAM 2024年3月第3周

时间:2024-03-22 19:55:24浏览次数:38  
标签:偶数 SAM 矩阵 2024 异或 线性代数 向量 线性 高斯消

算法笔记

线性代数

线代题不多,但是都很有些难度.当然OI中的线性代数存在很大程度上的"只取所需"的情况.高斯消元,线性(异或)基加上矩阵优化DP,基本上就是最多的一个运用了.

高斯消元

道理就是初中数学,解多元一次方程组.其实这种用方程组来理解线代是个挺直观的方法.比如向量张成,线形独立.为甚消元后无解/无数解的矩阵列空间不满秩呢?其实就是把每个向量所带的倍数视作未知数,然后解方程组.如果发现解不了或者无数解,就说明这组向量不能唯一确定表示所在空间的所有向量,就不满秩.

例题:矩阵求逆

高斯消元经典应用.就简单直白地用初中思维想.$ A \times A^{-1} =I$ ,相当于 \(A^{-1}\) 是 \(A\) 代表的方程组在常数项为 \(I\) 的每一列时,每一组解作为一列的一个复合.

这样来看,直接用高斯消元求一组解就天经地义了.

用一点"代数"想象力

高斯消元实现细节比较多

  • 回代或消成对角

  • 判断无解/无数解

  • 精度问题,尽量用精度高的double和long double.如果是取模要算逆元.
    不保证模数为质数也可做,因为只涉及到一个行之间互相消用到除法运算,采用辗转相除即可.

线形基

就是能够表示空间内所有向量的基底,和二维三维一个道理.

用一个已知向量集建立线性基,这个线性基可以表示所有由已知向量复合而成的向量.

求法就是贪心法,从最高位开始找,如果有带高位的基底就把影响消掉,贪心地放到第一个没有影响的地方.这样的目的是为了避免出现对任意向量高斯消元求解时出现无解/无数解的情况.

异或当然也是线形运算.于是就出现了异或意义的线性基.因为异或的系数只有01,所以可以用来求最大/第k大之类的有用问题.

最大异或路径

考虑一个边权为非负整数的无向连通图,节点编号为 \(1\) 到 \(N\),试求出一条从 \(1\) 号节点到 \(N\) 号节点的路径,使得路径上经过的边的权值的 XOR 和最大。
路径可以重复经过某些点或边,当一条边在路径中出现了多次时,其权值在计算 XOR 和时也要被计算相应多的次数.

异或线性基的经典应用.考虑两次异或相当于没有操作,每次用一个点出发再回来相当于异或路径上所有环的异或和.因此可以以一条任意路径为基础,考虑所有的环,对环求线性基即可.

优化DP

优化一切递推且满足线性的DP .

与异或的联系

线形代数的常见形式是 加/乘 ,但是也有 加/max 和 异或/异或 等形式也满足线性. 加/max 一般用于优化DP中.而异或一般出现于与异或有关的题.比如经典线性基(其实完全可以当成一种维护元素异或和值的数据结构用).

除此之外,异或有时候可以用在一些逻辑的问题上,用意想不到的方法解决一些问题.

CF1070L Odd Federalization

给一个 \(n\) 个点 \(m\) 条边的无向图,你需要将这 \(n\) 个点划分为 \(r\) 个集合,满足条件:
每个点集的导出子图中所有点度数均为偶数。
求出最小的 \(r\) 并输出任意一种划分方案

这道题捋捋思路是有意义的,思维很巧妙.

首先得出需要奇偶性讨论.

如果度数全为偶数,全都归到一个集合就可以了.

如果度数存在奇数,发现没有什么想法了,就从简单情况考虑.假设只有两个集合,设为0,1.

因为每一个点,要保证有偶数个点与自己在同一集合,0/1状态,奇偶性,就联系到了异或问题.

考虑可行性,偶数点需要保证联通的点有偶数个0,偶数个1,显然有充要条件异或和为0.奇数点要保证联通的点有偶数个与自己相同,两种集合的数量一奇一偶不太好研究,转化一下,带上自己并不影响状态本身,但是要做的就是把带自己的集合划分成奇数+奇数,也就是异或和为1.

到这里发现,要求的问题变成了一个 &/xor 的多元一次方程组问题,系数矩阵就是邻接矩阵.就可以愉快地魔改高斯消元解决了:

二进制运算的系数只有 0/1 ,所以消元操作只用到整行"减",也就是一行异或另一行.于是可以用bitset优化,每次直接把一个长度为 \(N\) 的bitset相互异或,降低了瓶颈上的复杂度,可以通过.

行列式

最经典的结论就是LGV和矩阵树,背下来就行了.

求行列式的基本方法是高斯消元成三角矩阵,然后对角线相乘.

这个做法是基于行列式的基本意义的,所以可以拿着行列式性质魔改.

来自某场逆天省选膜你赛:
image

训练记录

标签:偶数,SAM,矩阵,2024,异或,线性代数,向量,线性,高斯消
From: https://www.cnblogs.com/youlv/p/18090337/daily_2024_3_3

相关文章

  • 2024中考记录
    写篇博客记录下中考倒计时一百天发生的事,有空就更新。开始时间:\(2024.3.22\),距离中考一百天。\(Day\)-100从昨天开始月考,校内一模,和综合排名有关。第一天,英语难!!!,平时写的作业太水了,智商直接退化。化学考前听说很难,实际体验还好,时间分配垃圾,差点没写完。本来是二十分结束,记错......
  • 从ICAC 2024聊聊CIM trend
    从ICAC2024聊聊CIMtrend刚参加完今年在上海举办的ICAC2024,体验很好,从各位老师同学处学到很多。我是做CIM的,所以两个CIMSession一个不落,另外因为对Processor感兴趣,EffientDigitalCircuitSession和LowPowerSoCSession也去学习了一下。因为大部分工作在ISSCC上已经了解过......
  • 20240322打卡
    第四周第一天第二天第三天第四天第五天第六天第七天所花时间1h5h3h1.5h0h代码量(行)2123592745470博客量(篇)11111知识点了解Kotlin编写用户注册与登录功能jetpack的深入使用hilt依赖注入与kotlin协程等知识了解蓝桥杯题目练习osu......
  • 2024 年广西职业院校技能大赛高职组《云计算应用》赛项赛题第 1 套
    #需要资源或有问题的,可私博主!!!#需要资源或有问题的,可私博主!!!#需要资源或有问题的,可私博主!!!某企业根据自身业务需求,实施数字化转型,规划和建设数字化平台,平台聚焦“DevOps开发运维一体化”和“数据驱动产品开发”,拟采用开源OpenStack搭建企业内部私有云平台,开源Kubernetes......
  • MindSponge分子动力学模拟——自建力场(2024.03)
    技术背景在MindSponge教程合集中我们已经介绍了很多使用MindSponge进行分子动力学模拟的方法,这里主要介绍在MindSponge中自定义一个力场。在传统的MD软件中,如果你希望去开发一个自己的力场,或者是添加一些分子动力学模拟方法如增强采样等,会面临不少编程上的困难。而这些困难对于使......
  • JetBrains全家桶激活,分享 WebStorm 2024 激活的方案
    大家好,欢迎来到金榜探云手!WebStorm公司简介JetBrains是一家专注于开发工具的软件公司,总部位于捷克。他们以提供强大的集成开发环境(IDE)而闻名,如IntelliJIDEA、PyCharm、和WebStorm等。这些工具被广泛用于Java、Python、JavaScript等编程语言的开发,因其智能化和高效性......
  • JetBrains全家桶激活,分享 CLion 2024 激活的方案
    大家好,欢迎来到金榜探云手!CLion公司简介JetBrains是一家专注于开发工具的软件公司,总部位于捷克。他们以提供强大的集成开发环境(IDE)而闻名,如IntelliJIDEA、PyCharm、和WebStorm等。这些工具被广泛用于Java、Python、JavaScript等编程语言的开发,因其智能化和高效性而......
  • 20240322每日一题题解
    20240322每日一题题解Problem输入\(n\)个不大于\(10^5\)的正整数。要求全部储存在数组中,去除掉不是质数的数字,依次输出剩余的质数。第一行输入一个正整数\(n\),表示整数个数。第二行输入\(n\)个正整数\(a_i\),以空格隔开。输出一行,依次输出\(a_i\)中剩余的质数,以空格......
  • 知网收录,谷歌学术检索,提交CPCI/CNKI!最新社科会议推荐|创新与技与技术管理国际研讨会(IS
    创新与技术管理国际研讨会(ISITM 2024)将于2024年6月21日至23日在中国长沙举行,会议将重点关注创新与技术管理等最新主流研究领域。旨在为经济发展、管理、科技创新领域的专家、学者、企业管理者提供一个分享研究成果、探讨存在问题和挑战、探索前沿技术的国际合作与交流平台。......
  • 知网收录,谷歌学术检索,提交CPCI/CNKI!最新社科会议推荐|2024年教育创新国际论坛(IFEI 202
    2024年教育创新国际论坛(IFEI 2024)2024年6月7日至9日在中国长沙举行!教育创新国际论坛(IFEI)以教育创新为主题,聚焦教育创新、多媒体技术等前沿研究领域。本次会议旨在汇聚专家学者、教育机构和企业,以全球视野,聚焦教育创新、未来、现代化、国际化,进行知识共享和思想交流。被录用的......