论文部分内容阅读
给出了利用命题逻辑公式的析取范式和主析取范式求图的全部极小覆盖和最小覆盖以及全部极小边覆盖和最小边覆盖的一般算法．
图的最小覆盖的逻辑算法
【摘 要】
：
给出了利用命题逻辑公式的析取范式和主析取范式求图的全部极小覆盖和最小覆盖以及全部极小边覆盖和最小边覆盖的一般算法．
【机 构】
：
台州学院数学系,台州学院计算机系
【出 处】
：
广西师范学院学报：自然科学版
【发表日期】
：
2004年1期
其他文献
刑事诉讼审前程序广义上包括立案、侦查、起诉阶段,相较而言,我国此程序存在缺陷,主要包括审前程序的立法缺失,我国审前司法审查制度的缺失,控辩双方位于严重不平等地位,律师
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
1965年以来,英国等国的地质学家先后在秘鲁安第斯山脉和东南亚锡矿带对大量花岗岩体进行了区域性研究,打破了长期以来人们对花岗岩只注意岩性描述和物质成分鉴别的传统,着手
电子科技给人们带来极大便利,活跃了电子商务并推动其发展,纵观国内外的一些大型企业,不乏企业商务网站的建立。近年来,网站建设的安全性问题频频出现,引起社会各界的关注,为
红旗渠空心坝坝身可调节河道内过水,坝腹涵洞可运输渠水,该结构有效解决了当地水道立交的问题.由于空心坝结构特殊,对空心坝工作性态的研究分析非常少.本文对浆砌石等效体积
由于传统建筑行业工作为自然环境带来了较大的负面影响，因此，绿色建筑设计显得尤为重要。本文对在公共建设中融入环保绿色的设计理念问题展开了深入地解析，以求能令自然环境与人
本文根据抽样调查的结果,分析公立学校教师接纳流动人口子女入学的意愿及其影响因素。研究发现,明确表示愿意接纳流动人口子女入学的教师只是少数。回归分析结果表明,对学校
2011年5月16日,美国政府正式发布由奥巴马总统签署的《网络空间国际战略——繁荣、安全和开放的网络世界》文件(以下简称"报告")。该报告分三个部分阐述了美国对国际网络空间的"七项政策",勾划出了一幅带有美国价值理念的全球互联网未来发展与安全的"理想蓝图"。从奥巴马总统撰写的序言、国务卿希拉里等高官的言论以及美欧媒体的评论来看,该报告释放出三个重要信息:
期刊