Survey Propagation:一种求解SAT的高效算法
| Data(s) |
2005
|
|---|---|
| Resumo |
Survey propagation是一种新生的SAT(CSP)算法.它基于统计物理的spin glass模型,针对具体问题进行纵览(survey),从而极大地降低求解的复杂度.但sp算法在某些时候不收敛,或引导向错误的解.对此,G.Parisi提出一种复杂回溯(backtrack)算法,而作者在sp中加入简单回溯,也使一部分此类问题得到解决. |
| Identificador | |
| Idioma(s) |
中文 |
| Fonte |
李韶华; 张健.Survey Propagation:一种求解SAT的高效算法,计算机科学,2005,32(1):132-137 |
| Palavras-Chave | #不完备搜索方法 #可满足性问题 #求解算法 |
| Tipo |
期刊论文 |
