【摘 要】
：
布尔可满足问题是最早被证明的NP完全问题之一,1-in-3-SAT问题是一个NP完全的布尔可满足子类问题。1-in-3-SAT的计算复杂度取决于对应公式的变量以及子句的个数。将1-in-3公
【机 构】
：
中国科学院重庆绿色智能技术研究院高性能计算应用研究中心,中国科学院大学
【基金项目】
：
国家自然科学基金(61672488)
论文部分内容阅读
布尔可满足问题是最早被证明的NP完全问题之一,1-in-3-SAT问题是一个NP完全的布尔可满足子类问题。1-in-3-SAT的计算复杂度取决于对应公式的变量以及子句的个数。将1-in-3公式归约为一个变量数或者子句数更少的1-in-3公式,是提高1-in-3-SAT问题求解效率的一个关键。基于一个新的范式形式——XCNF,针对1-in-3-SAT问题提出一种新的代数逻辑约化方法,用于在多项式时间内约减一个1-in-3公式的变量数和子句数。所提算法的主要思想为:首先将1-in-3公式转化为XCNF公式,然
其他文献
脑卒中，即人们常说的“中风”，包括出血性和缺血性中风两大类，通俗地说，就是包括脑出血和脑梗塞（脑梗死）。卒中是危害人们健康的重要疾病，具有发病率高、致残率高、死亡率高及复发率
北电OM3500与OM4150设备组成的环网和OME6500设备组成的链路均能对其承载的电路实现通道保护切换功能，但这2种设备对接后，穿过环网和链路的电路却无法实现通道保护切换。通过对
本案位于日本名古屋的一个住宅密集的居住区之中,离名古屋车站不远。业主是一位父亲及其女儿,父亲喜欢现代日式风格,而女儿则偏爱色彩鲜明的艺术风格。设计团队综合了二位的
随着电力系统变电站自动化水平的提高,变电站的无人值守方式对安全监控和防盗提出了新的要求。文章分析了淄博变电站的新需求,针对需求提出了解决方案,分别从视频监控系统主
莒县是农业大县,耕地面积6.8万hm^2,现有农村集体产权制度改革认定集体经济组织成员103.4万人,这样的基本县情就是人多地少、土地细碎化严重,因此推广构建农民合作社的联合发
换季时节最重要的，是老人家要保持良好的生活习惯，一定要注意预防上呼吸道感染，对感冒等看似小的问题不可轻易忽视。要做到“起居有常，饮食有节，不妄作劳（指劳逸有度），情绪平和”，保持
在植物学的教学中,繁殖是一个非常重要的问题。它不仅揭示了植物界种族的延续和个体的发育,而且也说明了植物界各大类群生殖方式的演化过程。对于这个贯穿植物学整个过程的重
一个图G=(V,E)的树分解是将结点集V的子集作为树T的节点,使得在T上任意一条路径上的两个端节点的交集包含于该路径上的任意一个节点中。将T上最小(节点)对应子集的元素个数减
传统的本体算法采用启发式的方法来计算语义相似度,而随着本体处理数据量的日益增大,越来越多的机器学习方法被用于本体函数的获取。稳定性是本体学习算法的必要条件,它要求
日前，河北大学附属医院泌尿外科通过腹腔镜为一位身患膀胱癌的老人切除了病变的膀胱，并在镜下再造了新膀胱，从而填补了河北省泌尿外科腹腔镜领域的一项空白。目前，老人术后情况良