【摘 要】
:
最坏情况下MaxSAT问题上界的研究已成为一个热门的研究领域.与MaxSAT问题相对的是MinSAT问题,在求解某些组合优化问题时,将其转化为MinSAT问题比转化为MaxSAT问题有着更快的
【机 构】
:
东北师范大学计算机科学与信息技术学院,长春建筑学院基础教学部
论文部分内容阅读
最坏情况下MaxSAT问题上界的研究已成为一个热门的研究领域.与MaxSAT问题相对的是MinSAT问题,在求解某些组合优化问题时,将其转化为MinSAT问题比转化为MaxSAT问题有着更快的速度,因此对MinSAT问题进行研究.针对Min-2SAT问题提出算法MinSATAlg,该算法首先利用化简算法Simplify对公式进行化简,然后通过分支树的方法对不同情况的子句进行分支.从子句数目的角度分析算法的时间复杂度并证明Min-2SAT问题可在O(1.134 3m)时间内求解,对于每个变量至多出现在3个2
其他文献
颈椎是脊柱椎骨中体积最小.但活动性最大、活动频率最高、负重较大的节段。颈椎骨折是一种严重而复杂的创伤性损伤,临床上常见合并高位脊髓损伤伴截瘫,往往给患者造成致命的身心
众所周知.脑转移瘤是颅内肿瘤最常见的一种类型,肿瘤患者约10%-33%发生脑转移,尸捡转移率高达55%。随着原发肿瘤病灶控制率的提高,生存期延长,脑转移瘤发生率亦有所增加。单纯放射治
不同致癌因素的作用引起同一患者并发2种或2种以上恶性肿瘤时有发生旧。2010年5月10日,本科治疗1例肺癌与结肠癌同时并存患者,现报告如下。
目的 护理安全管理对老年住院患者不良事件发生率及护理满意度的影响.方法 选择我院收治的老年住院患者94例为观察对象,根据随机数字表法分为对照组和观察组,对照组实施常规
截至10月15日,两市已有1654家公司预告三季度业绩,其中预喜公司840家,占比为50.79%。对照之前业绩预告多为六四开甚至七三开,市场已有预感:情况不妙!按照沪深交易所的披露规
针对多变量、非线性、强耦合性的倒立摆系统,运用牛顿-欧拉方法建立了倒立摆的数学模型,然后对该模型分别进行LQR控制。在LQR控制中,权矩阵 Q和R的选取直接影响着结构的动力反应
民族习惯争议案件发生地裁判地遍及全国,呈逐年上升态势。司法案件中争议的民族习惯绝大多数是少数民族的,极少数是汉族的。有的案件将民族习惯作为适用法律规定的事实依据或
本文以英语教材一个单元的整体教学设计为例,从选择单元教学主线、整体确定单元教学目标、设计单元重点学习活动以及开展单元学习效果评价四个方面,介绍了中小学英语单元整体教
目的探讨高龄晚期喉癌的治疗方法。方法对13 例喉癌患者应用S e ld in g e r 技术,股动脉穿刺插管,用SF 多功能导管,超选择性插入甲状腺上动脉及甲状颈干动脉,颈部血管造影证实灌
在临床工作中,T波改变对诊断缺血性心脏病有一定的价值,但并非特异性。笔者常见到一些临床医生把T波的某些改变片面地误诊为心肌缺血、心肌炎等,导致误诊误治,给患者造成不必