目前为止，有没有人研究如何判断一段代码是实现了某个算法的代码 , 不是人工来判断,而是通过程序来实现判断 ?

[niaoguo]

v2ex 上的人见识广,不自觉的就来提问了

[theoractice]

学术上连停机问题都无解，所以肯定是没有通用办法的。
但是预置一些模板，通过比较输入输出以及分析 ast 应当可以判断一部分常见算法，类似于抄袭检测。

[niaoguo]

@theoractice 就没别的办法了 , 那么偏点的算法还是的人为判断 ...

[khowarizmi]

AI 还没有这么智能。人写出来的程式只能解决某些特定类型的问题。

[jsq2627]

觉得 CodeHunt 那套评判系统挺神奇的。不过不符合楼主说的问题

[devinww]

http://www.imooc.com/
这个学习网站，当你完成代码提交的时候，它会验证，不过只是验证打印的结果是否和它提出的作业需求相同，至于如何实现的，好像并不判断。希望是你想要的。

[Strikeactor]

意义何在。。

[Valyrian]

The Halting Problem 的深层意义就是一个程序是无法知道另一个程序是干什么的

[niaoguo]

@devinww 这个网站 我也偶尔逛逛

@Strikeactor 意义 , 有这么个想法 , 为什么要知道意义呢(其实我想弄个这样的产品) ?