目前为止，有没有人研究如何判断一段代码是实现了某个算法的代码 , 不是人工来判断,而是通过程序来实现判断 ?
niaoguo · 2015-09-09 09:28:34 +08:00 · 2089 次点击这是一个创建于 3358 天前的主题，其中的信息可能已经有所发展或是发生改变。
v2ex 上的人见识广,不自觉的就来提问了
 |
1
theoractice 2015-09-09 09:37:49 +08:00
学术上连停机问题都无解，所以肯定是没有通用办法的。
但是预置一些模板，通过比较输入输出以及分析 ast 应当可以判断一部分常见算法，类似于抄袭检测。 |
 |
2
niaoguo OP @theoractice 就没别的办法了 , 那么偏点的算法还是的人为判断 ...
|
 |
3
khowarizmi 2015-09-09 10:01:17 +08:00
AI 还没有这么智能。人写出来的程式只能解决某些特定类型的问题。
|
 |
4
jsq2627 2015-09-09 10:46:20 +08:00 via iPhone
觉得 CodeHunt 那套评判系统挺神奇的。不过不符合楼主说的问题
|
 |
5
devinww 2015-09-09 11:14:18 +08:00
http://www.imooc.com/
这个学习网站，当你完成代码提交的时候，它会验证，不过只是验证打印的结果是否和它提出的作业需求相同，至于如何实现的，好像并不判断。希望是你想要的。 |
 |
6
Strikeactor 2015-09-09 11:19:58 +08:00
意义何在。。
|
 |
7
Valyrian 2015-09-09 11:24:14 +08:00  1
The Halting Problem 的深层意义就是一个程序是无法知道另一个程序是干什么的
|
|
8
niaoguo OP |
Select Language