论文部分内容阅读
如果一个无环平面图G至多有一个非三角形的面，则称G为准极大平面图(near-triangulation).本文给出了极大平面图和准极大平面图4-着色的一类布尔方程表示式，该布尔方程所含变元较少，结构简单，具有良好的递归性质，为利用计算机寻找给定平面图的4-着色提供了很好的算法.
平面图的4—着色的简单布尔方程表示
【摘 要】
：
如果一个无环平面图G至多有一个非三角形的面，则称G为准极大平面图(near-triangulation).本文给出了极大平面图和准极大平面图4-着色的一类布尔方程表示式，该布尔方程所含变元
【机 构】
：
内蒙古大学数学系
【出 处】
：
内蒙古大学学报：自然科学版
【发表日期】
：
2001年1期
【基金项目】
：
内蒙古自然科学基金
其他文献
各省、自治区、直辖市人民政府,国务院各部委、各直属机构:畜牧业是关系国计民生的重要产业,肉蛋奶是百姓“菜篮子”的重要品种。近年来,我国畜牧业综合生产能力不断增强,在
开展农民工技能及创业意识培训、提高农民工素质是党中央、国务院为建设社会主义新农村，加快我国农业现代化步伐，促进农民增收，实现农村富余劳动力稳妥转移，统筹城乡经济和社会协
目的根据IEC60601—1第3版的要求讨论医用电气设备的漏电流危害及漏电流风险管理，为应用医用电气设备的漏电流风险管理提供参考。方法首先阐述了医用电气设备的漏电流通用要求
为提高梳夹式采收装置的作业质量,利用实验室研制的梳夹式采收装置试验台,以新疆裕民无刺红花为试验对象,以顶部位置差、顶部高度差、中间位置差和中间高度差为影响因素,以整
在外语翻译课程的教学过程中，授课老师一般是先讲理论，后让学生练习。但实践证明，其效果不如先让学生实践，再由学生总结、教师概括，上升到理论这种“逆向”方法更佳。该模式重视以
传统的业绩观忽略了评价和认识物质资源，只是考核员工的业绩和管理的效果。业绩评价不能仅仅关注员工的业绩和管理的效果．也应当把物质资源的成就纳入其评价的范畴之内。用与员
研制了一种基于B／S模式的生理多参数远程监护系统。该系统由监护中心服务器、Internet网和客户端基于PC机的生理多参数监护仪构成。采用B／S工作模式，客户端通过PC机中的浏览器上
网络文化是现代文化中最活跃的部分。近几年“囧”字在网络上盛行，随之而来，“囧文化”也日益流行并且生活化。这一语言现象已引起汉语言学者的注意，他们从汉语言文学的角度讨论
给出C-局部序列空间拓扑结构特征,证明了C-局部序列空间是强于包囿空间,同时又是严格弱于局部凸线性度量空间的概念.此外还论证了C-局部序列空间的乘积空间、商空间和归纳极
交互插值三次Ｂ样条曲线曲面在辅助几何设计中使用很多，但控制点和特值点之间的变化关系一直是讨论的关键，本文就一般三次Ｂ样条曲线交互性插值中控制点和插值点之间的关系进行了讨