论文部分内容阅读
可满足性问题（SAT）,最大可满足性问题（MAX-SAT）与最大团问题（MC）都是典型的基本的NP-难解问题。该报告概述了这些难解问题的实验算法方面的国际研究现状和国内研究进展,并对国内外研究进展进行了比较,最后讨论和展望了难解问题求解的发展趋势。
信息服务的构造与验证研究报告
【摘 要】
：
可满足性问题（SAT）,最大可满足性问题（MAX-SAT）与最大团问题（MC）都是典型的基本的NP-难解问题。该报告概述了这些难解问题的实验算法方面的国际研究现状和国内研究进展,并对国内外
【机 构】
：
北京大学
【出 处】
：
科技创新导报
【发表日期】
：
2016年1期
其他文献
文章介绍了甘肃省地勘局属地化管理时的现状,分析了甘肃省地勘局体制改革的条件和采取的主要措施,总结了体制改革所取得的初步成效,并穿插了作者对地勘体制改革的认识.
网络语言在当前的社会生活中十分常见,甚至在一些重要会议的讲话中也开始出现网络用语,这代表着一个新时代的来临。但同时我们也应清醒的认识到网路语言对汉语言文学发展既带
人口老龄化背景下,失能群体的长期护理服务问题已经成为人们关注的焦点。当前我国已经有多个市区开始长期护理保险试点,但并不包括福建省。通过分析福建省失能群体数量及家庭
目的:探讨中药灌肠治疗晚期癌症患者肠梗阻临床疗效以及对患者近期生活质量的影响。方法:将68例晚期癌症合并肠梗阻患者分为两组,对照组34例采用常规治疗,治疗组34例在对照组
人民政协作为地方治理重要组成部分,在凝心聚力、缓解地方矛盾、最大范围的动员和组织广大民众依法有序参与地方事务治理等方面具有得天独厚的功能和优势。在中国特色社会主
目的:探究苦参碱对肺癌A549细胞的增殖抑制作用及其对自噬的影响。方法:体外培养肺癌A549细胞,分别用不同浓度的苦参碱处理后,采用四甲基偶氮唑蓝(MTT)法检测细胞增殖抑制率;
<正>苏州丝绸博物馆位于苏州市人民路2001号,占地9500平方米,展陈面积4000平方米,毗邻北寺塔风景区,环境优美、展陈丰富,是我国第一座丝绸专业性博物馆。应时而生苏州是丝绸
摄影是艺术的一种表现形式,体育摄影是体育与摄影结合而成的新的艺术形式。近年来随着镜头技术的发展以及数码相机的普及,体育摄影已经成为一种大众艺术形式了。但是也正是这
经济名词解释（十七）１．帐户。指对经济业务、经营资金及其来源进行分类、记录、核算和监督的一种方式。设置帐户是会计核算的一种专门方法。每一个帐户都反映一定的经济内容，各个帐
脚内侧踢球是利用脚内侧部位进行踢球的一种方法,是比赛中使用频率最高的击球技术,因此,在教学中也大多以脚内侧教学开始。但其动作掌握要领存在一定难度,在动作进行中需要大