术语“有效”和“可行”的计算/算法的由来


13

我想了解这两个术语的历史:“ 有效 ”,“ 可行 ”。

谁是第一次将它们用于计算/算法?(以这些术语的现代意义,即20世纪)。他们如何成为主流?这两个术语是如何开始用作同义词的?

我知道科巴姆在其论文的陈述中使用了“可行”一词,该术语与多项式时间可计算性相关。但是,有较早的参考资料吗?在戈德尔写给冯·诺伊曼的信中,似乎没有明确提及这些术语。我找不到1960年之前的任何相关文章(使用Google Scholar)。

另一个有趣的观点是,1965年的Cobham论文的标题是“函数的固有计算难度 ”。“计算复杂性”何时取代“计算难度”?

Answers:


11

我不知道“有效”和“可行”这两个术语。由于这些术语甚至在今天都没有确切的技术含义,因此我怀疑它们的使用历史会变得模糊,就像大多数语言中大多数单词的历史都是模糊的一样。

“计算复杂性”是一个更有趣的术语。在MathSciNet的帮助下,我发现Juris Hartmanis似乎是第一个普及它的人。著名的1965年由纸和Hartmanis贝尔斯登使用的称号术语,但即使在此之前,迈克尔·拉宾的纸Hartmanis的数学评论“实时计算”(以色列J.数学 1(1963),203-211)说:

这个结果非常有启发性,并且为递归序列和函数的计算复杂性的新兴理论提供了新技术。该理论主要涉及按计算难度对可计算问题的分类,对这些复杂性类别的属性,它们之间的关系以及对(抽象)计算设备的依赖性的研究。

请注意,拉宾本人在本文中并未使用“计算复杂性”一词。

MathSciNet还提出了一些较早的评论,这些评论使用了“计算复杂性”一词,但是这些评论似乎是自发的和偶然的。


谢谢,我认为这回答了我有关“计算复杂性”的问题。(我想再等几天,看看是否有人可以提供有关前两个条款的信息。)
Kaveh 2012年

5

要考虑的另一个短语是“完全可解”,它来自统计物理学,也与我们当今的有效/可行概念相对应。在引进本文包含这个词组的许多引用了很好的历史描述。


谢谢泰森,这看起来像是一篇有趣的论文(但似乎没有回答我的问题)。
卡夫

3

这并不是您所要的,但评论太久了。

我所知道的关于算法不可行的最古老的明确参考是在ÉvaristeGalois的《Mémoiresur les condition derésolubilitédeséquationspar radicaux》(写于1830年)中:

维护人员与其他人保持联系,并希望将其与不可溶的拉迪克索,珍妮·奥赖斯·里昂·德·费尔·因弗雷德·莫恩·德·桑迪·弗朗索充电器,充电器,充电器。取消计算是不可行的。

[现在,如果您给我一个由您自行决定的方程式,并且您想知道它是否可以由部首求解,我只需要向您指出回答问题的方法,而无需让自己或您自己。其他任何人都可以执行。总之,计算是不切实际的。]

尽管确实确实 Galois的算法没有在多项式时间内运行,但是Galois显然意味着不太精确。这也是我所知道的最古老的参考,认为仅存在算法本身就具有重要意义。


正如Niel de Beaudrap在评论中提到的那样,高斯已经在他的1801 Disquisitiones Arithmeticae中讨论了素数测试算法的(无效)效率,这比Galois早了30年。为了完整起见,以下是第329条的相关段落:

Nihilominus fateri oportet,omnes methodos hucusque prolata德维尔广告开战迪瓦茨speciales restrictas ESSE,韦尔潭operosas等prolixas,UT IAM亲numeris talibus,魁tabularum一个瓦里斯meritis constructarum限制一个非excedunt,亲quibus methodi artificiales supervacuae必须遵守,calculatoris etiam exercitati patientiam肥沃的广告,可以挽救人心。...自然问题基础上的条件持续的回避,维持原状,不动用申请人;依法接续的顺序难以持久地进行递增运算,不固定计数,不连续图形的连续常量,不需通俗的庆祝,不按比例计算的劳动强度暴虐需要。

[尽管如此,我们必须承认,迄今为止所提出的所有方法要么局限于非常特殊的情况,要么太费力和费力,以至于即使对于不超过可估计人员构造的表的限制的数字,也就是对于那些没有需要巧妙的方法,即使是最实践的计算器,他们也要耐心等待。这些方法几乎不能用于更大的数目。... 任何问题的本质都是随着应用数量的增加,该方法将变得更加复杂。然而,在以下方法中,困难的增加相当缓慢,并且特别是通过第二种方法,成功处理了具有七个,八个或更多数字的数字,并且其速度超出了预期。即使对于最不知疲倦的计算器,以前已知的技术也需要费力的工作。]


2
在另一个问题上,还有一个关于最古老的开放研究问题的答案,在这个问题上,高斯在他的1801年著作《算术算术》中抱怨说,当时已知的用于素数测试的所有方法都非常“费力和费力”。
Niel de Beaudrap

Zp

P

-1

编辑:答案重写

它如何成为主流?可能是通过传播将新研究与旧研究在性能方面进行比较的想法,并认为创建新想法会更加困难。


我正在寻找这些术语的实际历史,而不是对其的解释。这不是我的问题的答案。
卡夫

我无法回答谁是CS中首次使用这些术语的人,我的答案更针对您的第二个问题,即为什么它成为主流。
labotsirc 2012年

谢谢,但我不是在问“为什么”,而是在问“怎么做”(即历史)。
卡夫

我已经重写了答案,这就是我所知道的+假设。问候,克里斯托瓦尔。
labotsirc 2012年

1
谢谢轴心,但是正如我所说,我正在寻找实际的历史,而不是关于它的可能的理论。我正在寻找使用这些术语并使其成为主流的早期参考文献/论文/...。
卡夫
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.