Questions tagged «big-list»

答案是很多项目的问题（书籍，定理，软件等）

6
自Okasaki以来，纯功能数据结构有何新变化？
自克里斯·冈崎（Chris Okasaki）1998年出版《纯功能数据结构》一书以来，我还没有看到太多新的令人兴奋的纯功能数据结构。我仅举几例： IntMap（也是由Okasaki于1998年发明，但未在该书中出现） 手指树（及其对monoid的泛化） 还有一些有趣的方法来实现已知的数据结构，例如使用“嵌套类型”或“广义代数数据类型”以确保树不变。 自1998年以来，在该领域又出现了哪些其他新想法？
30
每个人都应该阅读哪些论文？
这个问题（是受其启发）/（从中可耻地被盗）是MathOverflow上的一个类似问题，但是我希望这里的答案会大不相同。 在我们各自的理论领域，我们都有喜欢的论文。偶尔，人们会发现一篇论文如此惊人（例如，重要，引人注目，看似简单），以至于希望与所有人共享。所以在这里列出这些文件！他们不具备从理论计算机科学-任何你认为可能会吸引到社区是一个很好的答案。 您可以根据需要提供尽可能多的答案。请为每个答案放一张纸！另外，请注意，这是社区Wiki，因此请对所有喜欢的事物进行投票！ （请注意，以前存在关于递归理论复杂性的论文的问题，但这很专业。）
30
书中的算法。
保罗·埃尔多斯（Paul Erdos）谈论了“书”，其中上帝保留了每个数学定理的最优雅的证明。这甚至启发了一本书（我相信现在是第四版）：书中的证明。 如果上帝有一本类似的算法书，那么您认为哪种算法是候选人？ 如果可能的话，还请提供可点击的参考以及使之起作用的关键见解。 请每个答案仅使用一种算法。
30
每个人都应该读什么书？
[ 时间轴 ] 这个问题有同样精神的论文应该每个人都读什么和应该大家观看的视频。它要求在理论计算机科学的不同领域提供出色的书籍。 这些书可能是面向数学的，但您可能会发现它对计算机科学家很有用。例子： 可能性 不平等 逻辑 图论 组合学 算法设计与分析 计算理论/计算复杂性理论 请把每个答案都放在同一主题的书上（例如关于组合学的书）。 注意：标题可能会引起误解。澄清一下：让X和Y是计算机科学中的两个领域。每个人都有书 在字段X中应阅读。 在字段Y中应阅读。 在两个字段中均应阅读。 此问题寻求所有3个案例。换句话说，它并不特定于后一种情况。 编辑：根据戴乐的建议，请同时强调您喜欢这本书的原因。 相关话题： TCS证明技术参考 关于自动机理论的自学书籍 概率书 最喜欢的流行数学书 去随机化初学者指南 参考电路下限 关于递归函数理论的调查文章 程序语言语义学书籍 最新的TCS书籍有哪些草稿可在线获得 概率书
30
每个人都应该观看哪些视频？
斯坦福大学现在有一个YouTube频道，可以免费观看完整课程的高清视频，内容涉及从动力学系统到量子纠缠的所有内容。更多会议和讲习班正在录制他们的演讲。您认为每个人都应该知道哪些在线视频？ 我将为这些问题提供一些答案，这些答案主要是说明性的，但我希望可能会发生，因为这个社区Wiki可以变成共享新研究的出色介绍以及学习场所的资源（ （或加强）在陌生区域的背景。
28
P和NPC之间的问题
分解和图同构是NP中的问题，这些问题在P中也不是完整的。共有此属性的其他一些（足够不同的）自然问题是什么？直接来自拉德纳定理证明的人为例子不算在内。 仅假设某些“合理”假设，这些示例中的任何一个是否可证明是NP中间的？
15
每个人都应该阅读哪些演讲笔记？
与该方案相同的方案存在多个问题： 每个人都应该读什么论文 每个人都应该读什么书 最新的TCS书籍有哪些草稿可在线获得 每个人都应该看什么视频 我不愿意再发表一篇文章，但是杰夫·埃里克森（Jeff Erickson）关于算法的讲义改变了我的想法。我以为：天哪！这些年来，我还没有看过这些出色的笔记！ 因此，我认为可能还会有其他很棒的笔记，这些笔记确实值得一读。因此，对于每一个计算机科学子（数据结构，算法，计算，计算的复杂性，密码学理论等），建议您选择的高超的讲义，说为什么你认为它的过人之处。 保持整洁的一个简单规则：每个子字段一个答案。（这将是社区Wiki，因此您可以编辑现有答案并添加建议。）
17
价格示例的例子？
理论计算机科学提供了“抽象价格”的一些示例。最突出的两个是高斯消除和排序。即： 众所周知，如果将操作限制为整个行和列的整体，则高斯消除法对于计算行列式是最佳的[1]。显然，Strassen算法没有遵守该限制，并且在渐近性上优于高斯消去。 在排序中，如果将列表的元素视为只能进行比较和移动的黑匣子，则我们具有标准的n 日志ñnlog⁡nn \log n信息理论下限。据我所知，融合树克服了这一限制，因为巧妙地使用了乘法。 还有其他抽象价格的例子吗？ 为了更加正式一点，我正在寻找一些示例，在某些弱计算模型中无条件地知道下界，而在更强大的模型中会违反下界。此外，弱模型的弱点应该以抽象的形式出现，这无疑是一个主观的概念。例如，我不认为对单调电路的限制是一种抽象。希望上面的两个例子可以清楚说明我在寻找什么。 [1] KLYUYEV，VV和NI KOKOVKIN-SHcHERBAK：关于线性代数方程组解的最小算术运算数。GI TEE翻译：斯坦福大学计算机科学系，技术报告CS 24，6月t4，t965。
30
可在线获取其草案的最新TCS书籍是什么？
在发布了《每个人都应该读什么书》一文之后，我注意到最近有几本书的草稿可在线获得。 例如，以上文章的“ 近似算法”条目引用了2011年一本书（尚未出版），标题为“近似算法的设计”。 我认为了解最新作品对希望了解TCS趋势的人真的很有用。如果有草稿，可以在实际购买书之前先检查一下。 所以， 可在线获取其草案的最新TCS书籍是什么？ 在这里，“最近”是指不超过5年的事物。
5
TCS会议和研讨会列表
我想寻求帮助，以整理尽可能多的与TCS相关的会议和研讨会的清单。我这样做的主要动机是计划更多理论场所的博客覆盖范围-寻找参加这些活动的通讯员，他们愿意就他们参加的活动撰写简短或深入的博客条目。除此之外，我希望这样的清单可以使每个人对理论领域的布局有更好的认识。 我将以包含几个“显而易见的”会议的答案作为问题的种子。请随时编辑我的答案和/或发布您自己的其他答案。 会议的标准缩写，会议名称，主题，任何其他注释。 旨在作为社区Wiki。
30
与TCS相关的有趣论文等？
您知道与TCS相关的最有趣的著作是什么？ 请仅包括那些有意思的内容。明确设计为具有幽默感的作品（而不是发表有关复杂性理论的简短笑话的收藏）是首选。也接受带有幽默（实际上是幽默，而不仅仅是可爱）标题的作品。 每个答案请只做一份工作，这样“最佳”的答案就会冒出来。
20
在TCS中扮演重要角色的“无关”数学的例子？
请列举一些例子，其中数学中的一个定理通常不被认为是在计算机科学中首先被用来证明计算机科学的结果。最好的例子是那些不很明显的联系，但是一旦发现联系，显然是实现联系的“正确方法”。 这是TCS在古典数学中的应用问题的相反方向吗？ 例如，请参阅“平面图中的格林定理和隔离”，其中，使用多元微积分的格林定理重新证明了隔离定理（使用技术证明是已知的）。 还有什么其他例子？
13
代数结构在理论计算机科学中的用途
我是一名软件从业人员，我正在撰写一项有关代数结构的调查报告，以进行个人研究，并试图提供有关如何在理论计算机科学（以及程度较小的计算机科学的其他子领域）中使用这些结构的示例。 。 在组理论下，我遇到了形式语言的句法半身像和并行/并发计算的轨迹和历史半身像。 从环论的角度来看，我遇到了用于图形处理和基于半环的解析的半环框架。 在我的研究中（但愿如此），我尚未从模块理论中找到任何代数结构的用途。 我假设还有更多示例，而我只是没有在正确的位置寻找它们。 理论计算机科学（以及计算机科学的其他子领域）中常见的上述领域的代数结构还有哪些其他示例？另外，您可以推荐哪些期刊或其他资源涵盖这些主题？
9
强大的算法过于复杂，难以实施
有哪些合法实用程序的算法过于复杂而难以实现？ 让我清楚一点：我不是在寻找像当前的渐近最优矩阵乘法算法（Coppersmith-Winograd）这样的算法，该算法可以合理实施，但具有一个常数，使其在实践中毫无用处。我正在寻找一种可能具有实用价值，但很难编码的算法，以至于它们从未实现，仅在极其人为的环境中实现，或者仅针对非常特殊的应用而实现。 还欢迎具有良好渐近性但实际性能可能不佳的几乎不可能实现的算法。
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.