黄平
- 作品数:3 被引量:4H指数:1
- 供职机构:东北师范大学更多>>
- 发文基金:国家自然科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 可满足问题中的模型计数被引量:3
- 2012年
- 模型计数问题是指计算给定问题的解的个数,这是一类比决策更困难的问题,也是人工智能领域研究的一个热点问题.对模型计数问题的研究不仅可以提高算法的求解效率,更能促进对问题困难本质的了解.以可满足问题(命题可满足(SAT)和约束可满足问题(CSP))为例,从精确算法和近似求解两方面综述了模型计数问题的研究现状,重点介绍了相关概念以及各个算法之间的优缺点,并提出了有待解决的开放性问题,对模型计数问题的研究予以了总结和展望.
- 谷文祥朱磊黄平殷明浩
- 关键词:人工智能
- #CSP的相变及近似算法研究
- 近年来,相变现象已成为人工智能领域的一个研究热点。对NP完全问题相变的研究可以帮助我们理解问题困难的本质,从而提出更有效的求解算法。相变现象指的是随着某个参数的变化,问题的属性出现突变的情况。比如,对于SAT问题,随着r...
- 黄平
- 关键词:相变CSPSAT
- 文献传递
- 人工智能问题中的相变现象研究
- 2011年
- 在人工智能研究领域的很多问题中存在着相变现象(phase transition)。问题中的某个参数发生较小的变化便会引起问题的某个属性发生突变。相变现象与问题求解结构有很大关系,将从相变现象的发展、相关概念以及相变现象与问题求解的关系等方面对相变现象做全面的论述,提出了有待解决的开放性问题,并对相变现象的研究给以总结和展望。
- 谷文祥黄平朱磊殷明浩
- 关键词:相变SAT问题