摘要：提出了在二元的满足问题中以搜索结点个数为衡量标准的求解开销模型，该模型被应用于随机二元约束满足问题的求解开销相变分析中，并且比较了模型所导出的理论开销和实际中的搜索结点个数，约束检查次数，求解时间３种衡量标准的开销之间的相似性。在模型的基础上，探讨了求解启发式减少求解开销的作用，给出了一个新的变量选择启发式。

原文链接:http://www.cqvip.com//QK/96857X/199812/3312327.html

送人玫瑰，手留余香~如您已下载到该资源，可在回帖当中上传与大家共享，欢迎来CDA社区交流学习。（仅供学术交流用。）