×

通过随机搜索求解网格中SAT的策略。 (英语) Zbl 1166.68355号

Autexier,Serge(编辑)等人,《智能计算机数学》。2008年7月28日至8月1日,在英国伯明翰举行的2008年AISC第九届国际会议、2008年Calculemus第十五届研讨会、2008年MKM第七届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85109-7/pbk)。计算机科学讲义5144。人工智能课堂讲稿,125-140(2008)。
摘要:网格计算为解决由大量易于访问的资源组成的环境中具有挑战性的计算问题提供了一种很有前途的方法。在本文中,我们开发了在网格中运行随机SAT求解器来求解命题可满足性问题(SAT)硬实例集合的策略。我们通过使用一个仿真框架来研究替代策略,该仿真框架由(i)捕获通信和管理延迟的网格模型,以及(ii)随机解算器的运行时分布,通过在一组硬实例上运行最先进的SAT解算器获得。结果在生产级网格中进行了实验验证。当求解单个硬SAT实例时,结果表明,在实际中,只有相对少量的并行可以有效地使用;此后通过增加并行度获得的加速可以忽略不计。这个观察结果导致了一种使用网格解决硬实例集合的新策略。该策略不是逐个解决实例,而是通过应用交替的分发时间表来减少整体解决时间。
关于整个系列,请参见[Zbl 1154.68002号].

MSC公司:

68T20型 人工智能背景下的问题解决(启发式、搜索策略等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部