刘雨辰《对拟阵的初步研究》.pdfVIP

对拟阵的初步研究 浙江省杭州第二中学 刘雨辰 摘要 拟阵中文又称矩阵胚 ，英文名matroid。1935 年美国数学家 Whitney 首先提出了拟 阵的概念。拟阵是组合优化与图论的重要内容，在近几十年得到了空前的发展，成为了一门 博大精深的学科。 本文对拟阵进行了初步探讨，第一部分引入了拟阵的概念，第二部分提出了拟阵的最优 化问题，并论证了其贪心算法的正确性，这两部分都将同步讲解 2 个实例，力求做到严谨 而生动。第三部分讨论了一个拟阵最优化问题的实例。这三部分是本文的重点所在。第四部 分给出一些拟阵的实例，重点是线性拟阵。拓展部分对一个有趣问题进行了简单讨论，有相 当难度。附录 I 介绍了罗素悖论，附录 II 主要讨论第三部分中的问题如何用并查集实现。 拟阵理论非常难，需要有良好的数学功底才能深入研究。希望本文对拟阵的初步探讨能 够使读者对拟阵理论有所认识。 关键字 拟阵 贪心算法 Shannon 开关游戏 序言 拟阵中文又称矩阵胚，英文名 matroid 。1935 年美国数学家 Whitney 首先提出了拟阵的 概念。拟阵是他在研究线性无关时发现的。拟阵是组合优化与图论的重要内容，在近几十年 得到了空前的发展，成为了一门博大精深的学科。 本文第一部分讨论了拟阵的的基本概念，第二部分提出了拟阵的最优化问题，并论证了 1 其贪心算法的正确性，这两部分都将同步讲解 2 个实例，分别是众所周知的部分背包问题（即 物品是不用整个拿，可以分割）与最小生成树问题，希望理论结合实例能够帮助读者更好地 理解。第三部分讨论了一个拟阵最优化问题的实例。前三部分是本文的重点所在，难度适中， 只要读者能够仔细读，慢慢读，反复体会，必能发现其奥妙所在。本文的第四部分和拓展部 分比较难，其中有一些结论与证明，我自己也尚未搞明白，但因为这些结论都很有趣，我还 是把它们写入了本文，这两部分主要为了拓宽读者视野，对拟阵论的博大精深有个更全面的 认识。 理论和实践是不分家的，但历史上却有很多理论与应用不协调的例子：有的是为了实际 用途，而发现了一些新方法，但理论根据却不很清楚，过了很久才被完善，并在完善后得到 了空前的发展，比如著名的微积分；有的是先有了理论研究，但一直只作为一种智力游戏， 并无实际用途，但却在某样事物发明以后，大显神威，于是成为了应用的理论根据，并得到 空前的发展，比如著名的数论、组合数学。我们发现这些例子仅仅是时间上的一种暂时分离， 而并不是说理论是没有用的，或实践不需要理论，只是两者被发现的早晚而已，而当两者都 被发现以后，相辅相成，却能走得更快更好更远。如果我们认为拟阵没什么实际用途，应该 不是因为应用还没被发现，只是没被我们发现，因为我们的知识还不够，我们不知道，仅此 而已。拟阵是好的、美的，所以我要把它介绍给大家。 拟阵论很难，需要非常良好的数学基础才能学好，所以一般作为研究生的课程。我在研 究过程中深感自己水平有限，诸如线性代数，拓扑学等数学基础知识都不懂，无奈只得边研 究边学习。当然这样临时性的学习必然只能获得皮毛，但我还是在这种研究性学习中获得了 无限乐趣。“吾生也有涯，其知也无涯”。知识是无穷尽的，我们要做的就是永远保持对知识 的渴望，对真理的追求。这样也就称的上一个爱智慧的人了。 正文 第一部分：子集系统与拟阵的概念 定义： 子集系统是一个二元组M = (S ,L) ，它须满足以下条件： ．．．． 1、S 是一个有限集。 ．． 2 、L 是由 S 的一些子集组成的有限非空集 3、遗传性：对任意 B ∈ L ，任意 ,有 A ∈ L （可知 必须是 L 的元素）。 A ⊆ B φ ．．． 拟阵是一个子集系统，它须满足： ．． 4 、交换