有研究减少运算量的抽象理论吗
-
计算机算法有很多具体的例子，可以用一种抽象的方式概况尽可能多的例子吗？
（感觉应该是没有这样的理论） -
TCS里的复杂度理论 计算理论这些？
-
注意我说的是减少计算量，不是衡量计算量
-
应该没有那种最抽象层面的东西，否则简直是地球ol速通攻略……只有很多具体的减少计算复杂度的例子
-
@lemma_ 如果有人或者ai做出这种东西估计能排进伟大数学家的行列了
-
你是否在找：编译优化（（
-
我猜lz想说程序分析
关于程序分析领域的研究现状和热点趋势？ - 熊英飞的回答 - 知乎
但是现有的程序分析方法对算法的抽象还是不符合程序员的思维（比较贴近写编译器的人的思维？），很多抽象讲什么可达状态啥啥啥的，太数学又没什么用
