姜蕴晖
- 作品数：5 被引量：3H指数：1
- 供职机构：东北师范大学计算机科学与信息技术学院更多>>
- 发文基金：中央高校基本科研业务费专项资金国家自然科学基金国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 最坏情况下Min-2SAT问题的上界被引量：1
- 2012年
- 最坏情况下MaxSAT问题上界的研究已成为一个热门的研究领域.与MaxSAT问题相对的是MinSAT问题,在求解某些组合优化问题时,将其转化为MinSAT问题比转化为MaxSAT问题有着更快的速度,因此对MinSAT问题进行研究.针对Min-2SAT问题提出算法MinSATAlg,该算法首先利用化简算法Simplify对公式进行化简,然后通过分支树的方法对不同情况的子句进行分支.从子句数目的角度分析算法的时间复杂度并证明Min-2SAT问题可在O(1.134 3m)时间内求解,对于每个变量至多出现在3个2-子句中的情况,得到最坏情况下的上界为O(1.122 5n),其中n为变量的数目.
- 谷文祥姜蕴晖周俊萍殷明浩
- 基于分支回溯的NAE-3SAT问题求解算法
- 2012年
- NAESAT问题是可满足性问题的一个重要扩展,在集合分裂、最大割集等NP完全问题中有着重要的应用.针对NAESAT问题的泛化NAE-3SAT问题,提出了一个基于分支回溯的精确算法NAE.算法给出了多种化简规则,这些化简规则很好地提高了算法的时间效率.最后证明了算法在最坏情况下的时间复杂度上界为O(1.618n),其中n为公式中的变量数目.
- 谷文祥傅琳璐周俊萍姜蕴晖
- X2SAT问题算法的设计与分析
- 在众多的NP完全问题中，可满足性问题(Satisfiability Problem，简称SAT问题)被称作其他问题的“种子”，它在数学、人工智能、机器视觉等众多领域中都有着广泛的应用。由于所有的NP完全问题都可以在多项式...
- 姜蕴晖
- 关键词：上界
- 文献传递
- X<sub>2</sub>SAT问题算法的设计与分析
- 在众多的NP完全问题中，可满足性问题（Satisfiability Problem，简称SAT问题）被称作其他问题的“种子”，它在数学、人工智能、机器视觉等众多领域中都有着广泛的应用。由于所有的NP完全问题都可以在多项式...
- 姜蕴晖
- 关键词：上界
- 最坏情况下X_2SAT问题的上界被引量：2
- 2014年
- 最坏情况下XSAT问题上界的研究已成为一个热门的研究领域.针对XSAT的泛化问题X2SAT提出了算法X2SAT-N,该算法首先利用简化算法Simplify对公式进行化简,然后通过分支树的方法对不同情况的子句进行分支.证明了该算法可以将X2SAT问题的时间复杂度由目前最好的O(1.451 1n)提高到O(1.420 3n),其中n为X2SAT公式中变量的数目.X2SAT问题实例的大小不仅依赖于变量的数目还依赖于公式的长度,时间复杂性是根据问题实例的大小所组成的函数计算所得.因此又提出了算法X2SAT-L,并从公式长度的角度证明了X2SAT问题在O(1.364 3l)时间上界内可解.
- 周俊萍姜蕴晖殷明浩
- 关键词：上界
