有算法数学分析吗?


11

算法图论/数论/组合论/信息论/博弈论。

有算法数学分析吗?

根据Wiki,数学分析包括微分,积分,测度,极限,无限级数和解析函数的理论。可以专注于处理实变量的实数和实值函数的实分析(wiki)

“算法”是指从可计算性理论和复杂性理论的角度进行研究。


搜寻“算法数学分析”使我进入“算法的数学分析”或“分析在算法中的应用”,这不是我的意思。


10
我认为您正在寻找“可计算的分析”,到目前为止,这是一个非常成熟的领域。例如,您可以查看Weihrauch的入门书籍。该理论主要涉及可计算性问题,我不确定在计算复杂性方面知道多少。我的印象是,即使对复杂性进行良好定义也很棘手。
Sasho Nikolov

@SashoNikolov是的。“可计算分析”似乎非常相关。谢谢。将您的评论转换为答案?
恒新2015年

3
另请参阅Chaudhuri,Sankaranarayanan和Vardi的有关常规实数分析的论文,该论文研究了可以用无限自动机对无限词进行实数分析的片段。
维杰D

作为另一资源,请参阅Yap的论文“根据EGC进行的真实计算理论”:cs.nyu.edu/exact/doc/realtheory.pdf
Huck Bennett

Answers:


18

查看分析网络中的可计算性和复杂性。引用:

感兴趣的主题包括各种模型和方法的基础工作,这些模型和方法用于描述实际数字的可计算性和复杂性。它们还包括复杂性理论研究,包括基础问题和针对具体问题的研究,以及精确实数运算的新实现,以及对现有软件包的进一步开发。


12

(免责声明:我不是专家,可以随时提出更正或提出更全面的答案。)

ex 在BSS模型中不可计算。

f:RRf(x)x

f:[0,1][0,1]

为实际函数制定复杂性理论,甚至是棘手的。这与以下事实有关:计算实函数是高阶计算(因为它需要使用图灵机作为输入),因此输入的位大小通常不是衡量运行时的正确方法。查看Mark Braverman的这篇文章,了解一种定义有效实数计算的方法。在这一点上,我想进一步说些什么,所以我会停下来。


8

关于实函数计算复杂度的经典参考是:

  • 高可一(Ker-I Ko),实函数的计算复杂度,1991年

也请参阅Weirauch的书的第7章。


-7

在发布此问题已有两年多的时间了,并且没有冒犯我,我对答案和评论感到失望。

当全球CS部门误贴其主题并误导了几代科学家和工程师时,就会发生这种情况。

  • 所有CS部门的算法类都需要重新标记为离散算法

  • 或者该类的当前内容需要减少到50%或更少(包括数据结构的 50%或更少),剩下的一半需要包含数值分析科学计算的各种主题。

因为数学分析的核心是什么?实分析和实线。以及计算机中的实数如何表示?浮点数或任意精度等。因此,下一次您要使用以浮点数和/或任意精度为核心组件(而不是作为内容,如对一堆浮点数进行排序)处理的任何算法时,知道您正在做算法数学分析(AMA)!

而且,甚至不要让我开始着手研究NA /计算科学主题。可以说它使整个TCS相形见war。当您在计算机上求解多个非线性PDE的系统时,您不仅在利用数学分析的基础知识,而且还运用了最先进的功能分析,包括开放的研究问题,等等。获得更多的AMA。


2
我不明白您对CS课程的狂热如何回答这个问题。
Sasho Nikolov

好吧,我不明白到目前为止剩下的答案和评论如何回答甚至1%的问题。但是他们在那里。(有些甚至被否决,甚至被接受)。也许我的评论中有40%与该问题没有直接关系(尽管它是间接相关的),但是其余60%​​几​​乎可以解决该问题。
Fi Zixer

6
接受的答案为网站提供了有关实际的可计算性和复杂性的大量信息。这就是这个问题的要求。它没有要求对CS课程的适当性提出意见。
Sasho Nikolov

1
我们通常倾向于拒绝投票。如果您只是简单地说,数值分析在某种意义上是算法数学分析,那么您实际上可能已经获得了一些认可。而且,确实,没有误导过几代科学家和工程师。您似乎以为他们很蠢。他们不是; 他们知道算法课和数值分析课的区别。
Peter Shor
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.