niaoguo
V2EX  ›  问与答

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

  •  
  •   niaoguo · Sep 9, 2015 · 2568 views
    This topic created in 3933 days ago, the information mentioned may be changed or developed.
    v2ex 上的人见识广,不自觉的就来提问了
    8 replies    2015-09-09 13:40:35 +08:00
    theoractice
        1
    theoractice  
       Sep 9, 2015
    学术上连停机问题都无解,所以肯定是没有通用办法的。
    但是预置一些模板,通过比较输入输出以及分析 ast 应当可以判断一部分常见算法,类似于抄袭检测。
    niaoguo
        2
    niaoguo  
    OP
       Sep 9, 2015
    @theoractice 就没别的办法了 , 那么偏点的算法还是的人为判断 ...
    khowarizmi
        3
    khowarizmi  
       Sep 9, 2015
    AI 还没有这么智能。人写出来的程式只能解决某些特定类型的问题。
    jsq2627
        4
    jsq2627  
       Sep 9, 2015 via iPhone
    觉得 CodeHunt 那套评判系统挺神奇的。不过不符合楼主说的问题
    devinww
        5
    devinww  
       Sep 9, 2015
    http://www.imooc.com/
    这个学习网站,当你完成代码提交的时候,它会验证,不过只是验证打印的结果是否和它提出的作业需求相同,至于如何实现的,好像并不判断。希望是你想要的。
    Strikeactor
        6
    Strikeactor  
       Sep 9, 2015
    意义何在。。
    Valyrian
        7
    Valyrian  
       Sep 9, 2015   ❤️ 1
    The Halting Problem 的深层意义就是一个程序是无法知道另一个程序是干什么的
    niaoguo
        8
    niaoguo  
    OP
       Sep 9, 2015
    @devinww 这个网站 我也偶尔逛逛

    @Strikeactor 意义 , 有这么个想法 , 为什么要知道意义呢(其实我想弄个这样的产品) ?
    About   ·   Help   ·   Advertise   ·   Blog   ·   API   ·   FAQ   ·   Solana   ·   918 Online   Highest 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 41ms · UTC 21:22 · PVG 05:22 · LAX 14:22 · JFK 17:22
    ♥ Do have faith in what you're doing.