BriefGPT.xyz
大模型
Ask
alpha
关键词
heuristic
搜索结果 - 23
Survey propagation: 一种可满足性问题的算法
本研究介绍了一种新的消息传递算法,可有效找到困难区域内变量的满足性分配,并应用于随机生成的具有一定数量的变量、布尔运算和公式的问题中,问题的困难程度与解决思路中 “聚类” 现象相关
PDF
22 years ago
跳跃链接
介绍了用于加速一类组合拼图问题的深度优先搜索算法的两个技巧,一是在双向链表上实现可逆局部操作,二是添加一个代表多米诺骨牌标识的幽灵正方形,因此算法的性能得到优化。
PDF
24 years ago
扩展和实现稳定模型语义
提出了一种用于计算逻辑程序稳定模型语义的算法,强调使用有效的实现技术,特别地,提出了一种展望的实现和一种通过最小化搜索空间来产生良好的启发式方法。结果表明,稳定模型语义的逻辑程序具有更紧凑的逻辑程序表示,因此在某些问题上比命题逻辑优越。
PDF
24 years ago
Prev
Next