第２ ｌ卷 第 ６期
２１ ０ １年 ６月
计 算 机 技 术 与 发 展
ＣＯＭＰ ＵＴＥＲ ＴＥＣ ＨＮＯＬ ＯＧＹ ＡＮＤ ＤＥＶＥＬ ＭＥＮＴ ＯＰ
Ｖｏ ． Ｎｏ ６ １２１ ．
Ｊ ｎ ２ １ ｕｅ ０ １
基 于 Ａ Ｃ算 法 的逻 辑 推 理题 快 速 求解 方 法 Ｂ
Ｋｅ ｒ ｓ ａ ｔ ｃ ａ ｅ ｃ ｌ ｎ ｇ ｒ ｍ ；ｍｕ ｔ ｈ ｅ ｄ ｃ ｎ ｕ ｒ ｎ ｙ；ｃ ｍｂ ｎ ｔ ｒａ ｐ ｍ ｚ ｔ ｎ ｙ ｗｏ ｄ ： ｒｉ ｉ ｂ ｏ ｏ ｙ ａ ｏ ｉ ｉ ｆ ｌ ｅ ｌ ｈ ｔ ｌ ｔ ｒ ａ ｏ ｃ ｒｅ ｃ ｉ ｏ ｉ ａｏ ｉ ｏ ｔ ｌ ｉ ｉ ａ ｏ ｉ
Ｍ ｅ ｈｏ ｏ ｇ ｃ Ｒｅ ｓ ｎｉ ｇ ｔ ｄ ｆ ｒ Ｌｏ ｉ ａ ｏ ｎ
ＬＩ Ｌｉ ｆ ｉ Ｍ Ａ ｉｏ ｎ－ ｅ ， Ｍ ａ
（ ｃ ｏｌ ｆＣ ｍｐｔ ｃｅｃ ，Ｓ ａｎｉ ｏｍａ Ｕ ｉ ｒｉ ，Ｘ ’ｎ７ ０６ ， ｈｎ ） Ｓｈ ｏ ｏ ｏ ｕｅ Ｓ ｉ ｅ ｈａｘ ｒ ｌ ｎｖ ｓ ｙ ｉａ １０ ２ Ｃ ｉａ ｒ ｎ Ｎ ｅ ｔ
程算 法 。
关键 词 ： 工蜂群 算 法 ； 线程并 发 ； 人 多 组合优 化
中 图分类 号 ： Ｐ ９ ． １ Ｔ ３ １４ 文献标 识码 ： Ａ 文章编 号 ：６ ３ ６ ９ ２ １ ） ６ ０ ２ — ３ １ ７ — ２ Ｘ（０ １ ０ — １５ ０
Ａｒｉ ｃａ ｅ Ｃｏｏ ｙ Ａｌ ｏ ｉｈ ｓ ｄ Ｓ ｌ ｔｏ ｔｆ ｉ ｌＢｅ ｌ ｎ ｇ ｒｔ ｍ Ｂａ ｅ ｏ ｕ ｉｎ ｉ
Ａｂ ｔ ａ ｔ Ａｓｔ ｅ ｓ ｌ ｔｏ ｐ ｃ ｆｌ ｇ ｃ ｒ ａ ｏ ｉ ｇｉ ａ ｇ ｎ ｈ ｒ ｃ ｄ ｒ ｆｒ ａ ｏ ｎｇｉ ｉ — ｘ ａ ｓ ｎ ｐ ｏ ｏ ｅ ａｆ ｓ ｎ ｆ ｃｅ ｔ ｓｒ ｃ ： ｈ ｏ ｕ ｉ ｎ ｓ ａ ｅ ｏ ｏ ｉ ｅ ｓ ｎ ｎ ｓｌｒ ｅ ａ ｄｔ ｅ ｐ ｏ ｅ ｕ ｅ ｏ ｅ ｓ ｎｉ ｓｔｍｅ ｅ ｈ ｕ ｔ ｇ， ｒ ｐ ｓ ａ ｔａ ｄ ｅ ｉ ｉ ｉｎ ｓ ｌ ｔ ｎ ｍｅｈ ｄ ｂ ｓ ｄ ｏ ｒ ｆｃ ａ ｅ ｏ ｏ ｙ，ｗｈ ｃ ｍｉ ｔｓ ｔ ｈ ｎ ｍｅ ｏ ｆｂ ｅ ｆ ｒ ｇ ｎ ｎ ｔ ｉｅ ｅ ｍｕ ｔ ｈ ｅ ｄ ｎ ｏ ｃ ｒｅ ｔ ｏ ｕ ｉ ｔ ｏ ａ ｅ ｎ ａ ｔ ｉｌｂ ｅ ｃ ｌ ｎ ｏ ｉ ｉ ｉｈ ｉ ｔ ｅ ａ ｈｅ ｐ ｅ ｏ ｎ ｎ ｏ ｅ ｏ ａ ｉ ｇ ａ ｄ ｕ ｌ ｓｔ ｌ ｔ ｒ ａ ｉ ｇ ｃ ｎ ｕ ｒ ｎ ｉ ｚ ｈ ｉ ｍｅ ｈ ｉｍ ｆｏ ｅ ａ ｎ ｙ ｔｍ ．Ｔｈ ｓ ｍｅ ｏ ａ ｅ ａ ｈ ｔ ｒ ａ ｓａ ｂ ｅ ｗｉ ｅｔ ｉ ｏ ｅ。ａ ｄ ｔ ｅ ｐ ｏ ｅ ｓｏ ｅ ｏ ｉ ｇ ａ ｒ ｃ ｓ ｃ ａ ｓ ｏ ｐ ｒ ｔ ｇ ｓ ｓｅ ｎ ｉ ｉ ｔ ｄ ｔｋ ｓｅ ｃ ｈ ｅ ｄ ａ ｔ ａ ｃ ｒａｎ ｒ ｌ ｈ ｅ ｈ ｎ ｒ ｃ ｓ ｆｒ ａ ｎ ｎ ｔ ｐ ｏ ｅ ｓ ｈ ｓ ｓ ｈｅ ｔ ｎ ｈ ｅ ｔ ｅ ｔｒ ｓ ｕ ｃ ｎ ａｔｆ ｉ ｅ ｏ ｏ ｙ ｎ ＶＣ＋＋ ６． ｎ ｉ ｍｅ ｔ ｕ ｘ ｅ ｉ ｎ ａ ｅ ｕ ｔ ｎ ａ １ ｏ ｓ ｉｎ ｄ ｐ ｏ ｌ ｍｓ Ｏ ｆ ｄ ｔ ｅ ｂ ｓ ｃａ ｏ ｒ ｅ ｉ ｒｉ ｃ ａ ｂ ｅ ｃ ｌ ｎ ．Ｉ ｉ ｎ ｉ ｌ ０ ｅ ｖｒ ｏｎ ｎ 。ｏ ｒｅ ｐ ｒｍｅ ｔ ｒ ｓ ｌ ｏ ０ ｃ ｎ ￣ａ ｅ ｒ ｂ ｅ ｌ ｓ
０ 引 言
丰富多彩而纷繁复杂的 自然界启迪 了无数 的科学
意见 ， 然后通过投票决定 。事实显示 ， 几乎所有遵循 蜜 蜂法则的 团体都能使 自己变得更加聪明 。 蜂群 算法 （ ｅ ｏ ｎ ｌ ｒｈ 是建立 在蜜 蜂 Ｂ ｅＣ ｌ ｙＡｇ ｉ ｍ） ｏ ｏｔ 自组织模型和群体智能基础上提 出的一种非数值优化 计算方法 。在 Ｓ ｅ ｙ提 出的蜂 群 自组 织模 拟模型 中， ｅｌ ｅ 尽管每个社会阶层 中的蜜蜂 只完成单 一任 务 ， 蜜蜂 但 相互间通过摇 摆舞 、 味等多种信息方式 ， 气 使得整个蜂 群能协同完成 诸如构 建蜂巢 、 收获花 粉等多项任务 。 ２０ 年 ， ａａｏ ａ ０ ５ Ｋ ｒ ｇ 成功地 把蜂群算 法应用在 函数 的数 ｂ 值优化 问题 上 ， 出 了 比较 系统 的群 体 智 能 优化 算 提
李林 菲 ， 马 苗
（ 陕西师 范 大学 计算பைடு நூலகம் 科 学 学院 ， 陕西 西安 ７ ０６ ） １０２
摘 要： 针对逻 辑推 理题 求解 空间大 、 解时 间长 的问题 ， 求 模仿 自然 界蜜 蜂采蜜 现 象 ， 利用 操作 系 统 的多线 程 并发 机 制 ， 提
出并 实现 了一种 基 于人工 蜂群算 法 的逻辑 推理 题求 解方 法 。该 方法 以各 个线 程作 为 不 同角色 的 蜜蜂 ， 求解 逻辑 推 理题 将 的 过程转 化为 人工 蜂群 寻找最 优蜜 源 的过程 ， 通过人 工蜂 群 算法 中侦 查蜂 、 引领 蜂 和跟 随 蜂 的分 工 协作 快 速 完成 逻辑 推 理题 求解 。在 Ｖ ＋ ６ ０ Ｃ ＋ ． 环境 中 ， １ 个 组合 问题求 解 的仿 真实验 表 明 ， 对 Ｏ 该方法求 解速 度 明显 优 于未使 用蜂群 算法 的单 线
ｓ ｏ ｔ ａ ｅ ｍｅ ｏ ｓｏ ｖ ｏ ｓｙ ｆ ｔ ｒ ｔａ ｅ ｓｎ ｌ ｈ ｅ ｄ ｍｅ ｏ ｔ ｏ ｔａｔｆ ｉｌｂ ｅ ｃ ｌ ｎ ｇ ｒｔ ｍ． ｈ ｗ ｈ ｔｔ ｔ ｄ ｉ ｂ ｉ ｕ ｌ ａ ｅ ｎ ｔ ｉ ｇ ｅ ｔｒ ａ ｔ ｄ ｗｉｈ ｕ ｒｉ ｃ ａ ｅ ｏ ｏ ｙ ａ ｏ ｉ ｈ ｈ ｓ ｈ ｈ ｈ ｉ ｌ ｈ