文章
Slash Boxes
评论

“卤莽”软体升级,能更快的发现“对称”

matrix 发表于 2008年6月13日 14时35分 星期五   Printer-friendly   Email story
来自五次方程式部门
密歇根大学计算机科学家开发的一款开源软件(中文),能将寻找复杂方程式中对称的时间,从数日缩减为数秒。找寻对称是一种能突显通往答案捷径的方法。例如,验证火车时刻表的安全性、确认软件与硬件设计中的臭虫,或着加速一般搜寻任务。 名为saucy(卤莽)的软件由研究人员在2004年开发出来,它能加速基础计算机科学问题的解法,能迅速解答所谓的图自同构问题(graph automorphism problem)。当前软件升级增加了新算法,能更快的发现最短路径和对称。它将复杂方程式转换成图,并在顶点的排列中寻找相似性。在实验测试中,在不到0.5秒内,新软件在全世界路由器的网际网络连接图中捕捉到1083,687个不同的对称。图中的对称性意味着路由器可以被移来移去而不会改变(网络的)运作。在搜寻Illinois州城市与乡镇之间公路网对称性的过程中,新的算法在0.5 秒内捕捉了104843个对称,而先前最强的演算法花了16分钟。 论文(PDF)
This discussion has been archived. No new comments can be posted.
显示选项 门槛:
声明: 下面的评论属于其发表者所有,不代表本站的观点和立场,我们不负责他们说什么。