图论
内容摘要:随着生物技术的飞速发展,产生了海量的生物信息数据,并正在和继续成爆炸式增长。如何从这些海量的生物数据中获取与物种进化相关的各类信息是当今生物医学领域面临的巨大的挑战。另一方面,计算机技术的飞速发展为大数据科学研究提供了强大的计算能力和计算资源,使得用计算的手段研究生命科学成为现实
报告人简介:许宝刚,南京师范大学教授、博士生导师。长期从事图的染色与划分问题的研究,解决了由国际著名图论学家提出的一系列猜想与问题。主持完成国家自然科学基金6项,作为主要成员参与完成国家自然科学基金重点项目2项
本书全面而系统地介绍了离散数学的经典理论和方法。内容共分为集合论、代数系统、图论、数理逻辑四篇。第一篇包括集合、关系、函数与无限集合;第二篇包括代数系统、几类典型的代数系统、格与布尔代数;第三篇包括图论基础、树;第四篇包括命题逻辑、谓词逻辑
《图论及其应用》系统介绍了图论的基本知识,如树、连通性、遍历问题、匹配、顶点着色、边着色、平面图和网络等。作为正文的补充,书中收集了大量经典的习题,并在书后附有提示及解答,以便自学。与一般图论书不同的是,《图论及其应用》指明了许多应用中常见的图论问题是NP-困难问题,便于读者在科研工作中及时注意这种问题
Coin Change 是一道动态规划问题中一道非常经典的题目,这是因为只要对原有的 Coin Change 问题稍加修改,就可以得到更复杂的动态规划问题,甚至是回溯问题。 在数据的并发读写过程中,由于写入并不是原子性的,因此当一个线程正在写时,如果另一个线程进行读操作的话就很有可能产生数据不一致的问题。 比如数据的前半部分写入了,但是后半部分尚未写入,那么在读取时就会取到中间值,也就是脏数据,典型案例就是 64 位整型的写入将会分为两次写入
渡河问题(英语:river crossing problem)是著名的益智游戏,是在一些限制下的组合问题求最短路径的解。网络上有许多以动态游戏的方式呈现这些渡河问题,常使用图论(graph theory)来表示与解决渡河问题。以图(graph)表式解决渡河问题的过程,以节点(node)表示状态,以边(edge)表示流程
南开大学数学交叉科学中心举办“2022年研究生论坛” 为营造良好的学术氛围,促进研究生之间的交流,2022年10月29日至31日南开大学组合数学中心举办了“研究生论坛”。 本次论坛共有12位研究生作报告分别介绍了各自研究领域的研究背景、前沿问题和最新进展,内容涉及代数组合,组合计数,代数图论,q级数,拟阵等方向。除此之外,论坛还邀请了老师们结合科研成果和科研经历,与同学们分享学术心得,并鼓励同学们善于思考,勇于创新,做出更多优秀的科研成果
瑞士莱昂哈德·欧拉(Leonhard Euler)圆满地解决了柯尼斯堡七桥问题,并以此发表了图论史上第一篇重要文献。 牛顿在伦敦出版《流数术和无穷级数》。 1月26号,波兰立陶宛联邦波兰国王、立陶宛大公斯坦尼斯瓦夫一世让位给奥古斯特三世
Coin Change 是一道动态规划问题中一道非常经典的题目,这是因为只要对原有的 Coin Change 问题稍加修改,就可以得到更复杂的动态规划问题,甚至是回溯问题。 在数据的并发读写过程中,由于写入并不是原子性的,因此当一个线程正在写时,如果另一个线程进行读操作的话就很有可能产生数据不一致的问题。 比如数据的前半部分写入了,但是后半部分尚未写入,那么在读取时就会取到中间值,也就是脏数据,典型案例就是 64 位整型的写入将会分为两次写入
离散数学是计算机科学的基础理论,离散结构的基础知识和逻辑思维的形式化是信息技术类学生的基本功,离散数学的基本概念是理科专业学生进行信息类课程学习的重要基础。 本课程介绍计算机科学和信息技术理论基础的概念和思想方法,介绍数理逻辑、集合论、图论、抽象代数和形式语言与自动机等各部分的基本概念,介绍离散数学基本概念和空间信息技术之间的联系与结合,培养学生理解和掌握离散数学基本概念,采用形式化方法分析问题,并能自觉运用逻辑分析、结构层次分析和同构类比等思想方法解决问题的能力。老师的讲解通俗易懂,言辞幽默,受益匪浅