V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
V2EX 提问指南
niaoguo
V2EX  ›  问与答

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

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

    @Strikeactor 意义 , 有这么个想法 , 为什么要知道意义呢(其实我想弄个这样的产品) ?
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   实用小工具   ·   2802 人在线   最高记录 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 24ms · UTC 08:04 · PVG 16:04 · LAX 00:04 · JFK 03:04
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.