图论-数学研究所.ppt

整数流的一个例子 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. Tutte定理(1954年): 平面图可 k 着色当且仅当该图存在 k-流。 ◆ 四色问题等价于平面图的 4-流存在性。 整数流理论 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 整数流与数学其他领域的一些著名问题有关联: ?组合学: Lonely Runner 数论: Diophantine Approximation 几何学: View Obstruction 有限域线性空间: Additive Basis 整数流理论 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 孤独的跑步者 n 个人绕跑道以各自固有的速度跑步。他们在同一时间、同一起点起跑。是否存在某一时刻，某个跑步者 “远离” 其余跑步者？ Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 数学定量描述 设跑道一圈的长度为 1 个单位。是否存在某个时刻、某跑步者与所有其余跑步者的距离至少是 1/n 单位。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. n-1 个人绕单位长度跑道以各自固有的速度从同一起点起跑。是否存在某个时刻，所有跑步者与起点的距离至少是 1 / n ？ 数学定量描述 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. k 个跑步者的速度分别为q1, q2, …, qk。 1 圈跑道相当于数轴上的一个单位， 2 圈2 个单位， … , k 圈k 个单位… 。这样，每个正整数均相当于跑道起点。是否存在时间t , 对每个 i, tqi 与最近整数的距离至少是1/ k ? 数学定量描述 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 数论难题（丢番图逼近） 若取速度为正整数q, 与tq最近的整数记为p,则tq与p的距离是|tq-p|=q|t-p/q|。对 |t-p/q| 的估计是数论中经典的对实数的有理逼近。 t: 实数；p/q: 有理数 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 观察者问题 (View Obstruction) Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 5-流猜想: 每个2-边连通图有 5-流。 4-流猜想: 每个不含Petersen广义子图的 2-边连通图有 4-流。 3-流猜想: 每个4-边连通图有 3-流。 Tutte整数流三大猜想 Eval