算法合集之《对阵的初步研究》.docVIP

对拟阵的初步研究 浙江省杭州第二中学 刘雨辰 摘要 拟阵中文又称矩阵胚，英文名matroid。1935年美国数学家Whitney首先提出了拟阵的概念。拟阵是组合优化与图论的重要内容，在近几十年得到了空前的发展，成为了一门博大精深的学科。 本文对拟阵进行了初步探讨，第一部分引入了拟阵的概念，第二部分提出了拟阵的最优化问题，并论证了其贪心算法的正确性，这两部分都将同步讲解2个实例，力求做到严谨而生动。第三部分讨论了一个拟阵最优化问题的实例。这三部分是本文的重点所在。第四部分给出一些拟阵的实例，重点是线性拟阵。拓展部分对一个有趣问题进行了简单讨论，有相当难度。附录I介绍了罗素悖论，附录II主要讨论第三部分中的问题如何用并查集实现。 拟阵理论非常难，需要有良好的数学功底才能深入研究。希望本文对拟阵的初步探讨能够使读者对拟阵理论有所认识。 关键字 拟阵 贪心算法 Shannon开关游戏 序言 拟阵中文又称矩阵胚，英文名matroid。1935年美国数学家Whitney首先提出了拟阵的概念。拟阵是他在研究线性无关时发现的。拟阵是组合优化与图论的重要内容，在近几十年得到了空前的发展，成为了一门博大精深的学科。 本文第一部分讨论了拟阵的的基本概念，第二部分提出了拟阵的最优化问题，并论证了其贪心算法的正确性，这两部分都将同步讲解2个实例，分别是众所周知的部分背包问题（即物品是不用