早在十多年前,由加拿大艾伯特大学开发的跳棋程序“Chinook”就曾在人机大战中获胜.而《科学》杂志网站今天发表文章称,科学家已经严密地证明,只要略作改进,Chinook就永远不会输棋.不论对手多么有技巧和经验,在Chinook面前,他能获得的最好结局就是一盘和棋.
　　科学家的这一发现,使得跳棋变成了存在必胜战略的游戏.从理论上讲,跳棋的棋子布局有5万亿亿种可能.到目前为止,跳棋是人类找到终极解决方案的最复杂棋牌类游戏.艾伯特大学计算机专业教授乔纳森·斯卡费尔(Jonathan Schaeffer)从1989年就开始研究跳棋程序,希望开发出一款足以挑战世界冠军的软件.最终,他在18年后实现了这一目标.

斯卡费尔曾经开发了一个优秀的国际象棋程序——“Phoenix”,作为专业水平的棋手,他最初的愿望是开发出世界最佳象棋程序.但是,当发现Phoenix不太可能成为拥有顶级国际象棋水平的程序时,他将自己的兴趣和努力转向了跳棋.上世纪90年代中期,他利用开发Phoenix的经验开发出Chinook,并大获成功.1995年, Chinook甚至击败了人类世界的跳棋冠军.

　　过去20年里,计算机技术取得了突飞猛进的发展.但是,要让计算机完全计算5万亿亿种棋子布局还不现实.因此,研究人员在实际开发和测试中只考虑常见开局,以及正常情况下可能出现的棋子布局.斯卡费尔表示:“这只是计算证明,而不是正式的数学证明.”由于计算量过大,研究人员必须紧密地跟踪每个数据位.一旦某个数据位出现错误,而研究人员没有及时发现,就可能导致出现错误的结果.

　　要想同完美版的Chinook程序比赛,可以访问网站www.cs.ualberta.ca/~chinook/.所有人都可以成为Chinook的对手,但它同时只能进行24场比赛.对于斯卡费尔来说,他下一个要征服的目标是纸牌.他开发的纸牌程序“Polaris”将于下周同两位专业牌手同场竞技,争夺5万美元的奖金.

消息来源:新浪科技