论文部分内容阅读
对“简单多边形三角形化图S是可以3-色”的定理证明中用到的关键定理:“简单多边形三角形化图S的对偶图T是一棵树”作了十分简化的证明,从而简化了3-色问题及Art Gallery问题Watchman定理的证明.
多边形三角化图三色问题证明的一个注记
【摘 要】
：
对“简单多边形三角形化图S是可以3-色”的定理证明中用到的关键定理:“简单多边形三角形化图S的对偶图T是一棵树”作了十分简化的证明,从而简化了3-色问题及Art Gallery问题Watchman定理的证明.
【机 构】
：
山东大学计算机科学与技术学院
【出 处】
：
山东大学学报(工学版)
【发表日期】
：
2007年01期
其他文献
把滚动规划和径向基函数神经网络（RBFNN）预测相结合，提出一种动态不确定环境下移动机器人局部路径规划过程中，针对动态障碍物的新的混合避障算法．利用摄像镜头采集动态障碍物的移
讨论了循环加载下材料的塑性应变能、储能和热能耗散,发现当量应变能密度（equivalent strain energy density,ESED）准则相比Neuber准则多考虑了塑性应变能密度,因此当量应变能
超声-电火花复合加工控制系统是1个典型的高度非线性、强耦合的时变复杂系统，控制系统的性能是决定复合加工性能好坏的关键．针对超声-电火花复合加工系统的这一特点，设计了新型
选用聚乙二醇2000、六偏磷酸钠和BK Giulini公司提供的粉体分散剂Lopon 885对化学沉淀法制备的HA进行水中分散性试验研究。用粒度分布仪、X射线衍射仪（XRD）和透射电子显微镜（TEM
采用共沉淀法合成了一系列掺杂Eu^3＋，Dy^3＋的Zb（BO3）2纳米发光材料，X射线衍射测定其物相为单斜晶系的Zn3（BO3）2，平均粒径为15～25nm左右，同时研究了Eu^3＋，Dy^3＋掺杂样品的发光特性，在Eu^3＋和Dy
首先形成了弹性力学控制方程的等效积分弱形式.针对域内高斯积分的缺陷以及直接节点积分的不稳定性,采用了基于应变光滑理论的稳定相容节点积分方案,从而改进了二维问题的无
利用误差逆向传播人工神经网络（BPANN）模型对文献已发表的24种固体在超临界流体（SCF）中的溶解度数据分别进行了模拟及预测，结果表明该模型具有较好的模拟及内推功能，可作为模拟和内