徒步旅行 swMATH ID: 4328 软件作者: 巴特·塞尔曼(Bart Selman)、亨利·考茨(Henry Kautz) 描述: GSAT和WalkSat是求解布尔可满足性问题的局部搜索算法。这两种算法都适用于合取范式中的或已转换为合取范式的公式。它们首先为每个变量分配一个随机值。如果赋值满足所有子句,则算法终止,返回赋值。否则,将翻转变量,然后重复上述操作,直到满足所有子句。WalkSAT和GSAT用于选择要翻转的变量的方法不同。GSAT所做的更改将新赋值中未满足子句的数量减至最少,或以某种概率随机选取一个变量。WalkSAT首先选择当前赋值不满足的子句,然后翻转该子句中的变量。该条款通常是在未满足的条款中随机挑选的。通常会选择一个变量,这将导致之前满足的子句中最少的子句变得不满足,并且可能会随机选择其中一个变量。当随机选取时,WalkSAT保证在修复当前错误赋值的子句中至少有一个变量的机会。当选择一个被猜测为最优变量时,WalkSAT必须比GSAT做更少的计算,因为它考虑的可能性更少。 主页: http://www.cs.rochester.edu/u/kautz/walksat/ 相关软件: 图规划;糠;DIMACS公司;超小卫星;SATO公司;STAN公司;CP计划;PDDL公司;伯克明州;SATLIB公司;MiniMaxSat卫星;Velev SAT基准;UBCSAT公司;CCLS公司;周六4j;围攻;SAPA公司;玲玲;液化石油气;UnitWalk公司 引用于: 212文件 全部的 前5名392位作者引用 15 巴特·塞尔曼 7 霍尔格·H·胡斯。 7 亨利·考茨。 6 丹尼尔·贝伦德 6 赫克托·杰夫纳 6 Yochai Twitto 5 埃里克·格雷戈里 5 霍夫曼,约格 5 贾海霞 5 Niemelä,Ilkka N.F。 5 Wah,Benjamin W.S.本杰明·华。 4 陈一新 4 戈兰,沙哈尔 4 卡拉·戈麦斯。 4 克里斯托弗·摩尔 4 阿什什·萨巴沃尔 三 布莱·博内 三 塔索斯·迪米特里奥。 三 哈比巴·德里亚斯 三 阿方索·埃米利奥 三 顾军 三 爱德华·赫施。 三 Adele E.豪。 三 阿琳·佩斯 三 尤西·林塔南 三 拉赫达尔·塞伊斯 三 伊凡·塞琳娜 三 托马斯·G·Stützle。 三 格尔森·扎维鲁查 三 里卡多·西葫芦 三 张伟雄 2 阿奇利奥普塔斯,迪米特里斯 2 穆苏诺里·班巴拉 2 罗伯托·巴蒂蒂 2 阿尔弗雷多·布劳恩斯坦 2 维托尔·桑托斯·科斯塔 2 伊恩·菲利普·根特 2 凯乔·赫尔扬科 2 弗兰克·哈特 2 茨城,东芝 2 川崎岩马 2 马蒂·Järvisalo 2 卢卡斯·克罗克 2 李,吉米·霍曼 2 凯文·莱顿·布朗 2 李楚敏 2 马吕斯·林道尔 2 林奇,因斯 2 沙拉德·马利克 2 马可·马拉提亚 2 贝特朗·马祖尔 2 希拉·麦克拉伊思。 2 伊恩·米格尔 2 大卫·G·M·米切尔(David G.M.Mitchell)。 2 亚历山大·纳雷耶克 2 Peter W.南丁格尔。 2 佩卡·奥波宁 2 安德鲁·帕克斯。 2 瓦伦蒂娜·波吉奥尼 2 马尔科·普罗塔西 2 萨卡里·塞茨 2 彼得·詹姆斯·斯塔基 2 帕维尔·苏瑞克 2 铃木田村 2 塔里木,S.Armagan 2 马库斯·特里斯卡 2 范盖尔德,艾伦 2 文森特·维达尔 2 王金燕 2 吴京丽 2 邢,赵 2 Mutsunori Yagiura 2 尹明浩 1 斯利扬卡阿查里亚 1 艾琳娜·S·阿克利。 1 雷娜塔·艾克斯(Renata M.Aiex)。 1 米科·阿拉瓦。 1 迈克尔·阿列克诺维奇 1 里卡多·阿勒 1 安东·安德烈库克 1 克劳迪奥·安吉奥内 1 法布里西奥·安吉乌利 1 戴维·安萨特 1 玛尔塔·阿里亚斯 1 多尔·阿兹蒙 1 奥利维尔·贝利 1 马可·巴奥莱蒂 1 阿德里安·巴林特 1 奇塔·R·巴拉尔。 1 本杰明·巴兰 1 萨姆·贝利斯 1 肖姆·本·达维德 1 雷切尔·本·埃利亚胡·佐哈里 1 伊莱·本·萨森 1 蒂埃里·贝诺伊斯特 1 萨拉·贝尔纳迪尼 1 碧姬·贝桑特 1 卞正兵 1 梅亨·宾文努 1 阿明·比尔 …还有292名作者 全部的 前5名40篇连载文章被引用 35 人工智能 13 人工智能研究杂志 10 数学与人工智能年鉴 6 离散应用数学 6 自动推理杂志 5 启发式杂志 5 约束条件 4 SIAM计算机杂志 4 人工智能通信 4 计算机科学课堂讲稿 三 理论计算机科学 三 ACM实验算法杂志 三 离散优化 三 可满足性、布尔建模与计算杂志 2 运筹学年鉴 2 机器学习 2 全球优化杂志 2 欧洲运筹学杂志 2 组合优化期刊 2 优化信函 1 国际通用系统杂志 1 计算 1 信息科学 1 编程与计算机软件 1 符号计算杂志 1 算法 1 信息与计算 1 计算机与运筹学 1 SIAM离散数学杂志 1 复杂系统 1 随机结构与算法 1 逻辑与计算杂志 1 应用智能 1 逻辑、语言与信息杂志 1 SIAM科学计算杂志 1 国际运筹学汇刊 1 机器学习研究杂志(JMLR) 1 4OR(或) 1 应用逻辑杂志 1 计算机科学中的逻辑方法 全部的 前5名在14个字段中引用 192 计算机科学(68至XX) 49 运筹学、数学规划(90-XX) 15 数理逻辑与基础(03-XX) 6 组合数学(05-XX) 6 信息与通信理论、电路(94-XX) 5 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 三 阶、格、有序代数结构(06-XX) 三 概率论与随机过程(60-XX) 三 数值分析(65-XX) 1 总体主题;集合(00-XX) 1 统计学(62-XX) 1 量子理论(81-XX) 1 统计力学,物质结构(82-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文