这是一个创建于 307 天前的主题，其中的信息可能已经有所发展或是发生改变。
我目前能想到就是 2 个
1:航空领域那种稳定系统吧,听说都运行几十年不出错了
2:应该就是机器学习,代表作就是 GPT 了吧
1:航空领域那种稳定系统吧,听说都运行几十年不出错了
2:应该就是机器学习,代表作就是 GPT 了吧
 |
1
kkk9 307 天前  1
两个例子应该都不算是算法的最高结晶，只能说是算法产物的最佳代表。
而且像航天器稳定控制系统几十年都很稳定，是因为最简化编程，比如 NASA 的规范：只用 if ，避免 goto 和一切 jmp ，所有循环使用 for 并规定静态极限值，初始后禁止动态分配内存等等……跟电路一样的，不是开就是关，能不稳定吗 人类在算法领域能达到最高的境界就是智慧。 |
 |
2
rus4db 307 天前 3
文无第一。就我个人而言，我认为傅里叶变换是有史以来最伟大的算法。
|
 |
3
GeekGao 307 天前
你说的是工程结晶，算法仅仅是一个小部分。
若是非要评个伟大的计算机算法，个人觉得是神经网络。 |
 |
4
serafin 307 天前
我第一个想到的是秀尔算法。
|
|
5
serafin 307 天前
航空领域的系统，哪有几十年不出错。波音 737 MAX 摔了才几年就忘了？ MCAS 系统软件层面没问题吗？
|
 |
7
dnfQzjPBXtWmML 307 天前 via Android
非对称加密
|
 |
8
Amyang 307 天前
第一个 np 问题 sat
|
 |
9
Worldispow 307 天前 via Android
这个问题，懂的越少，回答的越快。
如果你问小学生，他可能说是一元一次方程。 如果你问初中生，他可能说是二次函数。 如果你问高中生，他可能说是解析几何、高阶导数。 如果你问大学生，他可能在想傅立叶变换、多重积分、多元微分、矩阵到底哪个更难。。 |
 |
12
ETiV 307 天前 via iPhone
我觉得是压缩算法，各种“压缩”了数据密度的、有损的无损的
否则想象不到硬盘会有多大…Mac 最低配肯定不会用 512G 硬盘😂 |
 |
13
loading 307 天前
0x5f3759df
|
 |
14
phrack 307 天前 via iPhone
卡尔曼滤波器？自动微分？ page rank ？暂时想到的几个比较牛逼而且对人类社会影响巨大的算法。
|
 |
15
Alias4ck 307 天前
FFT 我能想到这个算法应该是之前看到一个视频
&ab_channel=Veritasium |
 |
16
BeautifulSoap 307 天前 via Android
帖子里 1 的例子就和觉得军工代码一定很高端技术很好一样
实际上并不是。。。这类代码为了稳定往往技术都非常老，非常多的功能都禁止你使用。写出的代码很多都很反人类的 |
 |
17
iOCZS 307 天前
算法和应用是两回事。应用更多是工程问题，算法是一些策略的具体实现。
|
 |
18
dianso 307 天前
应该是董宇辉的团队
|
 |
19
Wkj1998 307 天前
外卖、快递、导航
|
 |
20
wanguorui123 307 天前
HEVC/AV1 这类算法
|
 |
21
tyzandhr 307 天前 via Android
机器学习吧，能够绕开不可计算性问题，都能给你一个也许不靠谱但存在的答案
|
 |
22
wonderfulcxm 307 天前 via iPhone
贝叶斯定理，是一个由结果倒推原因的概率算法，在贝叶斯提出这个条件概率公式后，很长一段时间，大家并没有觉得它有什么作用，并一直受到主流统计学派的排斥。直到计算机诞生后，人们发现，贝叶斯定理可以广泛应用在数据分析、模式识别、统计决策，以及最火的人工智能中，结果，贝叶斯定理是如此有用，以至于不仅应用在计算机上，还广泛应用在经济学、心理学、博弈论等各种领域。
|
 |
24
351994 307 天前 1
我投快速傅里叶变换一票
|
 |
25
Eagleyes 306 天前
@rus4db #2 同意文无第一。
虽然不是航天口的，但航天算法没有想象的复杂，其实可以算是精简版系统，执行的内容很少。 远的不说， 好奇号火星车电脑配置：200MHz 双核处理器，250M 内存，2G 闪存。 阿波罗号配置，4kRAM ； 旅行者 1 号，68kb RAM 在怎么优化能做的事情也极其有限 |
 |
26
idlerlestat 306 天前
ChatGPT 不是算法，GPT-3 也不能叫算法，Transformer 也不是一个算法
我觉得算法的明珠是抖音的推荐算法，2021 年 MIT 将其评为十大科技突破，就在 GPT-3 后面一位 |
 |
27
Xu3Xan89YsA7oP64 306 天前
注意区分航空和航天
|
 |
29
xenme 306 天前 via iPhone
@idlerlestat 推荐算法不就跟 gpt 一样么，模型而已
|
 |
30
est 306 天前
航天领域比如 airbus 早期代码是靠 formal verification 保证稳定的。
就是通过形式逻辑，遍历保证代码所有情况下分支执行都是被验证过无异常，无内存分配问题等。 当然直接遍历不可取，得加入亿点点剪枝优化 |
Select Language