论文部分内容阅读
运用计算机算法设计和分析中的分支限界策略，设计了编织图的超边幻和标号的箅法，将图标号的数学证明与计算机搜索构造性证明两者相结合．全面探索和研究了编织图的超边幻和标号问题．解决和证明了编织图是超边幻和图等结论．
编织图B（n）的超边幻和标号及其计算机算法
【摘 要】
：
运用计算机算法设计和分析中的分支限界策略，设计了编织图的超边幻和标号的箅法，将图标号的数学证明与计算机搜索构造性证明两者相结合．全面探索和研究了编织图的超边幻和标号问
【机 构】
：
安徽新华学院公共课程部,安徽新华学院计算机科学与技术系
【出 处】
：
汕头大学学报：自然科学版
【发表日期】
：
2011年4期
【基金项目】
：
安徽省高等学校省级自然科学基金项目（No：KJ20108076）
其他文献
以马来酸酐作为反应单体,在隔氧的条件下,用溶液接枝的方法在聚丙烯上接枝马来酸酐,进而以接枝产物为原料接枝PEG合成PP-g-PEG接枝共聚物,采用核磁共振谱、红外光谱对所得的
本研究旨在构建SIRT6基因的RNA干扰慢病毒载体,并在水牛成纤维细胞中验证载体的有效性。设计合成2条特异性水牛SIRT6基因的shRNA序列,分别将其克隆至Psi-LVRU6GP慢病毒干扰载
吴念真作为台湾乡土派的一员,将自身的底层经验通过文学叙事的方式把台湾一代人的故事推进大众视野,凸显了底层人物生活环境的艰难以及社会的残酷。在这些苦难的背后,吴念真
目前随着房地产价格的不断上涨,以及人们产权意识的发展成熟,消费者对于房屋方面的使用面积、位置等有着比较高的关注度,因此对房产测绘技术方面提出了更高的要求。信息化技