活动15IceRoads——Steiner树课件.ppt

7.参考文献 [1] F.K. Hwang, D.S. Richards, P. Winter, The Steiner Tree Problem. Elsevier, North-Holland, 1992 [2] /wiki/Steiner_tree [3] 1991_B_O_Finding_Optimal_Steiner_Trees.pdf [4] 1991_B_J_最小Steiner生成树.pdf [5] 通讯网络的最佳Steiner树.pdf HPMS HPMS HPMS HPMS HPMS HPMS 活动15 Ice Roads  ——Steiner树 西安交通大学 高效能建模与仿真研究小组 2011年10 本PPT的材料改编自项目 Really Hard Problems-Intractability 1.问题描述：冰冻之路 * 1.问题描述：冰冻之路 问题描述 在冰封的湖面上指定区域存在多个住所，需要用雪犁在住所之间开辟新的道路，使得任两个住所之间可以相互到达。 目标 寻找耗费最低的修路方法，使得新开辟道路的总路程最短。 ① ② ③ 2.问题提出 (1)对于给定的n个结点,存在最小Steiner树吗? (2)最小Steiner树上有多少个Steiner点?这些点的几何位置具有什么特点? (3)怎样确定最小Steiner树? 存在有效算法吗? (4)在有效算法不存在的情况下,能否用一种近似解法来代替? 下一页 名词解释：什么是Steiner树? 定义：Steiner树是总代价最小的分布树，它使连接特定图（graph）中的特定组成员所需的链路数最少。 Steiner树只是一种理论模型，而非实用工具。目前，出现了许多基于Steiner树的次优启发式生成算法。 典型应用：组播树 单播模型中，数据包通过网络沿着单一路径从源主机向目标主机传递； 组播模型中，组播源向某一组地址传递数据包，而这一地址却代表一个主机组。为了向所有接收者传递数据，一般采用组播分布树描述IP组播在网络里经过的路径。 返回 3.活动简介 所需材料 钉子、线（橡皮绳）、直尺（卷尺）、笔和纸 活动内容 在地上模拟绘制并计算出所给包含n个结点的图形的最小Steiner树（n≧3） 计算Steiner点的个数 计算构造Steiner树的最小费用 4.活动分析 (1) 三角形 (2) 正方形 (3) 矩形 (4) 阶梯网络 (5) 更多变换与拓展 (1) 正三角形 在冰路中连接三个结点 （b）是可以的——2 （c）最优——√3≈1.732 问题：任意三角形呢？ (2) 正方形 边长为1的正方形 （b）=3 （c）=2√2≈2.83 （d）=1+√3≈2.73 (3) 矩形（2×1） 边长为1和2的矩形： （b）=4 （c）=2√5 ≈ 4.47 （d）=2+√3≈3.73 关键点：确定Steiner点！！！ (4) 阶梯网络 二阶梯形等同于一个正方形 四阶梯形恰似两个二阶梯形连接在一起 五阶梯形更像是对三阶梯形的扩展 结论：阶梯网络的最小Steiner树的形状取决于它含有的环是偶数还是奇数。如果是偶数，它就像几个二阶梯子叠加起来的；否则，它就是重复着三阶梯子的解答。 (5) 更多变换与拓展 同一图形，可能存在两种及两种以上Steiner树分布。 5. Steiner树的研究历史及现状 一个经典问题 从几何上看,他的数学模型是:在Euclid平面上给定三个点A,B,C,在平面上求一点U,使得U到A,B,C三点的总距离最小。 这一问题最先由法国数学家Fermat考虑,因此点U通常称为Fermat点。 与Fermat同一时代的意大利数学家Torricelli和Cavalieri也有相似的结论。 ？ 任意三角形 当U与A,B,C三点的连线所成的角都大于或等于 时，U即为Fermat点。 求Fermat点U的几何作图法: 作△ABC,设∠B是△ABC中的最大内角。 如果∠B≥ ，则点U是Fermat点； 如果∠B ，则AC是大边。以AC为一边，在△ABC的另一侧做等边三角形△ACD，连接BD，交△ACD的外接圆于U，则∠AUB=∠BUC=∠AUC= ,因此U是Fermat点，而AU,BU,CU为最小总距离上三条线段。 返回 (1) Steiner点的由来 19世纪中期，瑞士数学家J.Steiner将三点Fermat问题推广到n个顶点,即Euclid平面上给定n给点v1,v2,…vn,在平面上求一 ,使得 到v1,v2,…,vn的总距离 最短。 1941年，Courant和Robbins将其收录到《什么是数学》一书，才使得Steiner问题广为人知。 至今，