讯 北京时间7月20日消息，据国外媒体报道，早在十多年前，由加拿大艾伯特大学开发的跳棋程序“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万美元的奖金。(摩尔）