Questions tagged «ho.history-overview»

主题背后的历史:它们的名称来自何处,谁发现它们,何时被首次证明,它们在这些年中如何演变。

7
lambda演算对计算理论领域有什么贡献?
我只是在阅读lambda演算以“了解它”。我认为它是图灵机的另一种计算形式。这是一种有趣的用功能/约简做事的方式(简而言之)。一些问题一直困扰着我: Lambda微积分的意义是什么?为什么要经历所有这些功能/减少?什么目的? 结果,我不得不怀疑:lambda微积分到底是做什么来推动CS理论的?是什么使我有一个“哈哈”的时刻来了解其存在的必要性? 为什么关于自动机理论的文章中没有涵盖lambda演算?常见的途径是遍历各种自动机,语法,图灵机和复杂性类。Lambda演算仅包含在SICP样式课程的课程提纲中(也许不?)。但是我很少看到它是CS核心课程的一部分。这是否意味着它不那么有价值?也许不是,也许我在这里错过了一些东西? 我知道函数式编程语言基于lambda演算,但我不认为这是有效的贡献,因为它是在我们拥有编程语言之前就创建的。那么,了解/理解lambda演算的真正意义是什么,它对理论的应用/贡献呢?

2
Shor最初发现Shor算法的减少吗?
这是一个“历史性问题”,而不是研究性问题,但这是Peter Shor最初发现Shor的因式分解算法中对阶数查找的经典归约,还是先前已知?是否有一篇文章描述了Shor之前的减少量,还是仅仅是所谓的“民间结果”?还是仅仅是同一篇论文中的另一个突破?

5
树宽概念的由来
我今天的问题(像往常一样)有点愚蠢。但请您考虑一下。 我想知道树宽概念背后的起源和/或动机。我肯定知道FPT算法中使用了它,但是我不认为这就是定义此概念的原因。 我在Robin Thomas教授的课堂上写了关于这个主题的笔记笔记。我想我了解这个概念的一些应用(因为它将树的分离属性传递给分解的图),但是由于某种原因,我并不十分相信这个概念的产生是为了测量图的紧密度到树上。 我将努力使自己更加清楚(我不确定是否可以,如果问题不清楚,请告诉我)。我想知道在数学的其他分支中其他地方是否也存在类似的概念。我的猜测将是拓扑结构-但是由于缺乏背景,我什么也不能说。 我对此感到好奇的主要原因是,当我第一次阅读它的定义时,我不确定有人为什么会以及如何构想它以及达到什么目的。如果问题仍然不清楚,我将最终尝试以这种方式进行说明-让我们假装不存在树宽的概念。什么是离散设置的自然问题(或某些数学定理/概念的扩展)会导致人们将定义(如涉及的词)定义为树宽。

14
拓扑在计算机科学中的应用
我想写一篇关于计算机科学中拓扑学应用的调查。我计划介绍计算机科学中拓扑思想的历史,并重点介绍当前的一些发展。如果有人可以就以下任何问题提供意见,那将非常有帮助。 是否有任何论文或笔记描述计算机科学中拓扑使用的时间顺序? 结果在计算机科学中最重要的应用是什么? 使用拓扑来深入了解计算的当前工作中最有趣的领域是什么? 谢谢!

5
采用图灵机作为计算的主要模型的历史原因。
据我了解,图灵的模型已成为描述计算的“标准”。我想知道为什么会这样-也就是说,为什么TM模型比其他理论上等效的(据我所知)模型(例如Kleene的μ递归或Lambda微积分(我理解)前者直到后来才出现,而后者最初并不是专门为计算模型而设计的,但这表明从一开始就存在替代方案。 我能想到的是,TM模型比其替代品更能代表我们实际拥有的计算机。这是唯一原因吗?


1
Rabin / Yao是否存在(至少以可以引用的形式)?
在姚安智智(1979)的经典论文中,他提到“正在准备中的莫拉宾(MO Rabin)和姚明(AC Yao)”。这是其结果是平等功能EQ的有界错误通信复杂Ñ(是否在范围内的两个整数0至ñ - 1是相等的)是Ô (日志的日志Ñ )。NN_N000N−1N−1N-1O(loglogN)O(log⁡log⁡N)O(\log\log N) 姚德智( Andrew Chi-Chih Yao),与分布式计算有关的一些复杂性问题(初步报告),STOC 1979,第209-213页。doi:10.1145 / 800135.804414 亚历山大·拉兹伯洛夫(Alexander Razborov)对通信复杂性的介绍性调查证明了这一结果,并指出“以下出色的构造通常归因于拉宾和姚明”。想法是将位串视为预定多项式系数;然后,Alice选取一个随机整数q从0到p - 1为一些预定的素数p ∈ [ 3 Ñ ,6 Ñ ],其中Ñ = ⌈ 登录Ñ ⌉,并发送到Bob 。P(x)P(x)P(x)qqqp−1p−1p-1p∈[3n,6n]p∈[3n,6n]p \in [3n,6n]n=⌈logN⌉n=⌈log⁡N⌉n = \lceil \log N\rceil(q,P(q)modp)(q,P(q)modp)(q, P(q) \mod p) 亚历山大· 拉兹伯罗夫(Alexander Razborov),《沟通的复杂性》,“数学的邀请”第8章,第97–117页,施普林格,2011年。(预印本) Rabin / Yao的论文是否曾经成为至少别人的论文中的个人交流/草稿/素描的手笔,还是这是“黄金时代”的迹象之一,因此,巨人在地球上漫游,而并不总是在地面接触从突破到突破?

7
TCS中最古老的开放问题是什么?
这个问题的灵感来自这个MO问题,我认为这很有趣。 TCS中最古老的开放问题是什么? 显然,这个问题需要澄清。 首先,什么是TCS?我认为奇数完美数字的存在不是TCS。我想说希尔伯特的第十个问题是TCS。我认为诸如“我们可以用尺子和罗盘构造X”之类的问题也属于TCS,因为它们要求的是受限计算模型中的算法。可能没有严格的方法来定义什么是TCS问题,而是要使用您的判断力。也许一个测试是“如果解决了这个问题,它很有可能会出现在STOC / FOCS中吗?解决它的研究人员最有可能是理论计算机科学家吗?” 第二,什么是“最古老的”?我的意思是最老的日期。规定的日期也应该是可验证的,但我认为这应该不太困难。 第三,什么是“开放问题”?所谓“开放性问题”,是指在某些时候专门认为是开放性的问题。也许它出现在未解决问题的文章的结尾,或者有证据表明有些人对此进行了研究并且失败了,或者文献中有不正确的证据表明已对其进行了研究。不符合此条件的示例:“希腊人研究了对象X和Y。Z显然是中间对象,他们肯定想知道是否可以构造它。” 如果在那个时期没有关于Z的文献,那么那不是那个时期的公开问题。 第四,“问题”是什么意思?我的意思是一个特定的“是/否”问题,而不是诸如“用属性Y表征所有对象X的特征”之类的东西,因为此类问题通常没有令人满意的答案。关于这个问题是否已经解决,经常会有分歧。我们不要在这里讨论这些问题。如果不是一个是/否问题,但很明显它确实是开放的,那也很好。(如果不清楚,以“问题”表示,这是一个正式陈述的问题。请不要将16世纪有关赌博的民间传说转化为有关BPP和PSPACE的问题。) 最后,由于这不是一个大问题,因此仅当您认为答案早于已发布的答案(或者您认为已发布的答案不满足某些其他条件,例如不是TCS,或它们没有打开)。这不是旧的开放问题的不加选择的集合。

8
艾伦·图灵(Alan Turing)对计算机科学的贡献
(理论上的)计算机科学的先驱者之一艾伦·图灵(Alan Turing)为我们的领域做出了许多开创性的科学贡献,包括定义图灵机,Church-Turing论文,不确定性和Turing测验。但是,他的重要发现不仅限于我列出的那些。 为了纪念他的100周年诞辰,我认为最好索取一份他对计算机科学的重要贡献的完整清单,以便更好地欣赏他的工作。 那么,艾伦·图灵(Alan Turing)对计算机科学的重要/影响力是什么?

2
参考3色NP硬度?
我有一个历史问题。 我正在尝试为以下事实确定参考:图的3色性(或者,给定色性)是NP难的。ķ ≥ 3ķkkķ ≥ 3k≥3k\geq 3 诱人的答案是“卡尔普的原始论文”,但这是错误的。扫描:组合问题之间的可约性,Karp(1972)。证明色数(输入:图形。输出:)很困难。这是一个更困难的问题,减少量与标准小工具结构(真,假和磨地3种颜色)不同,后者暗示了3种可着色性的硬度。χ (G )χ(G)\chi(G) Garey和Johnson,《计算机与难处理性》,以[GT4]的形式呈现色性,参见Karp(1972)。ķkk

2
“史蒂夫课程”:SC的由来
我们“知道”以史蒂夫·库克(Steve Cook)命名,以Nick Pippenger命名。如果我没记错的话,史蒂夫·库克(Steve Cook)以纪念尼克·皮蓬格(Nick Pippenger)的名字命名了NC,而我被告知相反的道理也是如此。但是,在Steve Cook关于DCFL的论文或Nisan关于的证明中,我都找不到任何关于后者的事实的证据。小号ç小号C\mathsf{SC}氮碳ñC\mathsf{NC}ř 大号 ⊆小号Ç[R大号⊆小号C\mathsf{RL} \subseteq \mathsf{SC} 是否有任何书面证据证明后一种主张,或者仅仅是“悬而未决”? ps我之所以问是因为我正在浏览斯蒂格勒定律的例子,并且想知道我将其称为“斯蒂格勒互惠性”的原因:A发明的东西以B命名,反之亦然。卡坦矩阵和杀人表格就是一个例子。

2
理论A与理论B的起源和应用?
在最近的几个问题(q1 q2)中,已经讨论了“理论A”与“理论B”,似乎是为了捕捉逻辑和编程语言的研究与算法和复杂性的研究之间的鸿沟。 这个术语对我来说是新的,快速的网络搜索并没有提供任何明显的参考资料来解释它。 有谁知道一个或多个解释该术语起源的参考文献,通过进行这种区分可带来什么实质性好处?



10
“现代”计算机科学出现之前的概率(随机)算法
编辑:我选择到2012年12月6日得分最高的答案。 这是一个软问题。 (确定性)算法的概念可以追溯到BC。概率算法呢? 在此Wiki条目中,针对计算几何中最接近的对问题的拉宾算法被指定为第一个随机算法(年份???)。立顿推出拉宾的算法作为开始的随机算法当今时代的这里,但不是第一个。我也知道许多在1960年代发现的概率有限自动机(非常简单的计算模型)算法。 您是否知道1960年代之前的任何概率/随机算法(或方法)? 要么 哪个发现可以看作是第一个概率/随机算法?

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.