第91章 让程序去找程序（5 / 8）
机器靠穷举，一种都不会放过。
凌晨，第一版找程序的程序跑了起来。
它很笨，几乎不会偷懒，只是从所有该比哪两个的选择里，一层一层往下试。
每走一步，就回头看看那一百二十种乱序，还剩多少没被捋顺。
哪条路让混乱减少得最多，就顺著那条往下走。
江临给它定了个朴素的评判標准。
剩多少没排对，用了几次比较，有没有引入岔路，有没有破坏两个数相等时保持原顺序的规矩，有没有把缺失的数据提前隔离出去。
没有什么玄乎的智能模型。
只有最原始的三样东西：挨个试，及时砍掉死路，把所有可能都验一遍。
这是他这台机器现在跑得动的全部。
第一轮结果出来，屏幕上列印出一串走法。
江临先验证。
一百二十种乱序，全过。
两个数相等的情况，过。
缺失数据的隔离，过。
然后才看速度。
没比他自己手写的快多少，某个设定下甚至更慢。
他反而长长鬆了口气。
这才正常。
第一版找程序的程序，怎么可能一出来就碾压一个人熬了一整夜的经验。
但它已经证明了那件最重要的事。
机器，可以自己找到正確的程序。
快不快，是下一层的问题。
能不能找到，才是这扇门开没开。
接下来的时间里，江临一点点餵养这个还很笨的东西。
第一个台阶，是让它分清对不对。
这个最简单，穷举就行。
五个数的一百二十种，八个数的几万种，机器都能一种不漏地验完。
第二个台阶，是让它分清值不值。
同样能把数排对，可能有十几套不同的走法，它们不是一样好的。 ↑返回顶部↑
凌晨，第一版找程序的程序跑了起来。
它很笨，几乎不会偷懒，只是从所有该比哪两个的选择里，一层一层往下试。
每走一步，就回头看看那一百二十种乱序，还剩多少没被捋顺。
哪条路让混乱减少得最多，就顺著那条往下走。
江临给它定了个朴素的评判標准。
剩多少没排对，用了几次比较，有没有引入岔路，有没有破坏两个数相等时保持原顺序的规矩，有没有把缺失的数据提前隔离出去。
没有什么玄乎的智能模型。
只有最原始的三样东西：挨个试，及时砍掉死路，把所有可能都验一遍。
这是他这台机器现在跑得动的全部。
第一轮结果出来，屏幕上列印出一串走法。
江临先验证。
一百二十种乱序，全过。
两个数相等的情况，过。
缺失数据的隔离，过。
然后才看速度。
没比他自己手写的快多少，某个设定下甚至更慢。
他反而长长鬆了口气。
这才正常。
第一版找程序的程序，怎么可能一出来就碾压一个人熬了一整夜的经验。
但它已经证明了那件最重要的事。
机器，可以自己找到正確的程序。
快不快，是下一层的问题。
能不能找到，才是这扇门开没开。
接下来的时间里，江临一点点餵养这个还很笨的东西。
第一个台阶，是让它分清对不对。
这个最简单，穷举就行。
五个数的一百二十种，八个数的几万种，机器都能一种不漏地验完。
第二个台阶，是让它分清值不值。
同样能把数排对，可能有十几套不同的走法，它们不是一样好的。 ↑返回顶部↑