论文部分内容阅读
1994年，ThomassenC证明了每一个平面图是5-可选色的，于1995年，ThomassenC又证明了每一围长至少为5的平面图是3-可选色的．现用递推归纳法证明每一围长为4的平面图是个可选色的．甚至当确定图中任一个4圈的着色时，该结论也是成立的．
围长为4的平面图是4-可选色的
【摘 要】
：
1994年，ThomassenC证明了每一个平面图是5-可选色的，于1995年，ThomassenC又证明了每一围长至少为5的平面图是3-可选色的．现用递推归纳法证明每一围长为4的平面图是个可选色的．甚至
【机 构】
：
上海师范大学数学系!上海
【出 处】
：
上海师范大学学报：自然科学版
【发表日期】
：
1997年3期
其他文献
通过硬件认证技术、公开密钥和对称密钥加密技术设计了一个实现网上银行业务加密及不可否认性需求的模型．该模型解决了现有网上银行采用的文件认证技术在用户信息保密，用户身份
利用LCAO法计算并列出了绝缘体金刚石和半导体锗的哈密尔顿行列式,然后利用Fortran程序作了进一步计算,画出了它们的能带结构.
文章阐述了新型单片机89C2051构成的多功能测控系统及其框图,描述了由89C2051单片机构成的键盘扫描、显示、小信号测量、模数转换、输出控制电路、报警电路及软硬件结构,并简要介绍了主要元器件性能。
本文描述视觉传感器的三维图像处理方法及结果,简述了其应用前景.
本文介绍了TTS基本概念,并用微软SAPI5.1开发包实现了一个实用语音朗读程序,可以实现任意软件中文本的选择朗读和实现中英文文本的混合朗读功能。
介绍了太湖流域水环境与社会经济发展的概况，探讨了社会经济发展对水环境所造成的影响，以及水环境恶化对区域经济发展造成的潜在影响，通过两者的相关分析，认为区域一体化是太湖流
本文介绍磁悬浮主轴系统的组成及工作原理,提出了一种在常规PID基础上的智能PID控制器的新型数字控制器设计.其核心部件是TI公司的TMS320LF2407A,设计了五自由度磁悬浮主轴系
教育应体现对学生生命活动的关怀,师生共同学习、互动的实践过程要关注社会价值和个人价值的统一。而评语对于学生而言,一方面起到了对学生的“鉴定”作用,另一方面,也会对学
目的分析总结苏州市第五人民医院应对新型冠状病毒肺炎疫情的应急管理策略,为各地定点医疗机构开展类似工作提供参考。方法通过回顾医院在制度建设、组织领导、流程管理、救
把带权的排序问题1 ∑wjCj表示成一个二次规划,证明这个二次规划最优解的充分必要条件是成立WSPT规则,从而也证明WSPT规则是带权排序问题的充分必要条件.同时还证明了1 ∑wjC