浅谈随机化思想在几何问题中的应用.pptVIP

ExpensiveDrink想法：枚举两个平面，得到一条直线。枚举其余约束，切割该直线。结论1：如果存在解，必然存在于三个平面的交点上。第30页，共47页，星期日，2025年，2月5日结论1：如果存在解，必然存在于三个平面的交点上。ExpensiveDrink想法：枚举两个平面，得到一条直线。枚举其余约束，切割该直线。直到最后剩下一条线段。第31页，共47页，星期日，2025年，2月5日引理1只有线段的两个端点可能是的目标函数的最大值。ExpensiveDrink引理2不会有某三个平面的交点被遗漏。结论2：只有线段的两个端点可能成为解。第32页，共47页，星期日，2025年，2月5日ExpensiveDrink引理1只有线段的两个端点可能是的目标函数的最大值。第33页，共47页，星期日，2025年，2月5日第1页，共47页，星期日，2025年，2月5日引入随着信息学的发展，近几年，各种各样灵活的几何题目层出不穷。因此随机算法和随机化思想便有了表演的舞台。随机算法的特点是：简单、快速、灵活和易于并行化，这些特点都会在论文中得到体现。第2页，共47页，星期日，2025年，2月5日概览数值概率算法拉斯维加斯算法蒙特卡罗算法舍伍德算法第一部分随机算法简介第二部分随机增量算法第三部分模拟退火算法第3页，共47页，星期日，2025年，2月5日随机增量算法的一个例子ExpensiveDrink(BeijingSite,2007)（经过抽象）maximize s.t. ……单纯形法、内点法？(n≤100)第4页，共47页，星期日，2025年，2月5日ExpensiveDrink第5页，共47页，星期日，2025年，2月5日随机增量算法的一般步骤发现问题的本质提出算法改造成增量算法加入随机第6页，共47页，星期日，2025年，2月5日ExpensiveDrink解解解结论1：如果存在解，必然存在于三个平面的交点上。第7页，共47页，星期日，2025年，2月5日ExpensiveDrink想法：枚举两个平面，得到一条直线。枚举其余约束，切割该直线。结论1：如果存在解，必然存在于三个平面的交点上。第8页，共47页，星期日，2025年，2月5日ExpensiveDrink想法：枚举两个平面，得到一条直线。枚举其余约束，切割该直线。直到最后剩下一条线段。结论1：如果存在解，必然存在于三个平面的交点上。第9页，共47页，星期日，2025年，2月5日ExpensiveDrink直线数量O(n2)切割复杂度O(n)总复杂度O(n3)仍需要提高结论2：只有线段的两个端点可能成为解。结论1：如果存在解，必然存在于三个平面的交点上。第10页，共47页，星期日，2025年，2月5日ExpensiveDrink症结：没有利用到之前已经计算的结果对症：引入增量算法。依次加入半空间的时候，若原先的最优解为v，且满足当前的约束，就没有必要枚举平面上的直线了。第11页，共47页，星期日，2025年，2月5日ExpensiveDrink复杂度仍旧为O(n3)对策：随机插入半空间的顺序第12页，共47页，星期日，2025年，2月5日ExpensiveDrink复杂度仍旧为O(n3)对策：随机插入半空间的顺序第13页，共47页，星期日，2025年，2月5日复杂度分析取随机变量Xi，若满足前i-1条约束的最优解满足第i条约束，则Xi=0，否则Xi=1。时间复杂度为根据期望的线性率有是多少呢？最优解由3个约束构成，恰好包括第i条约束的概率就是。第14页，共47页，星期日，2025年，2月5日在本题中，增量算法架筑起了线性规划问题与经典几何知识的桥梁，随机化思想则消除了输入数据的顺序对于复杂度的影响。本题也体现出随机算法简单、快速（相对于单纯形法）的特点。ExpensiveDrink下面将介绍论文中的第二个算法：模拟退火算法。第15页，共47页，星期日，2025年，2月5日模拟退火算法简介模拟退火（SimulatedAnnealing）算法是模仿自然界中固体退火的原理的一种元启发式（Meta-Heuristics）算法。①初始化：初始充分大的温度T，初始解状态S，迭代数L②fork=