论文部分内容阅读
对“简单多边形三角形化图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个典型的高度非线性、强耦合的时变复杂系统，控制系统的性能是决定复合加工性能好坏的关键．针对超声-电火花复合加工系统的这一特点，设计了新型
提出了一种基于QR Code的多种类物体识别和操作方法.家庭环境下物体种类繁多,形状各种各样,颜色也不尽相同,使用传统的图像处理的方法很难将目标物从背景图像中准确地分割出来.针对不同物体设计相应的QR Code标签,将对物体的识别转化为对QR Code标签的识别,可以大大减小计算量,提高识别精度和速度;同时还能够将足够多的操作信息(如抓取力、抓取位置等)记录在QR Code中,方便机器人实现对物品
选用聚乙二醇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
为了保证零件加工精度和提高生产率，在数控加工中心中采用触发式零件检测测头对被加工件的圆柱面进行在机检测，并利用数据读取程序从数控系统内部提取被检测点坐标信息，在计算机
分别从提高输电能力和电压稳定性两个方面研究SVC的影响.通过基于时域仿真的输电能力和基于功率传输路径的电压稳定性分析,确定SVC的作用和初步装设地点.对山东电网各SVC装设
首先形成了弹性力学控制方程的等效积分弱形式.针对域内高斯积分的缺陷以及直接节点积分的不稳定性,采用了基于应变光滑理论的稳定相容节点积分方案,从而改进了二维问题的无
利用误差逆向传播人工神经网络（BPANN）模型对文献已发表的24种固体在超临界流体（SCF）中的溶解度数据分别进行了模拟及预测，结果表明该模型具有较好的模拟及内推功能，可作为模拟和内