Questions tagged «soft-question»

一个软问题是关于理论计算机科学领域的一个问题（可能是主观的），而不是理论计算机科学中的一个问题。

4
有算法数学分析吗？
有算法图论/数论/组合论/信息论/博弈论。 有算法数学分析吗？ 根据Wiki，数学分析包括微分，积分，测度，极限，无限级数和解析函数的理论。可以专注于处理实变量的实数和实值函数的实分析（wiki）。 “算法”是指从可计算性理论和复杂性理论的角度进行研究。 搜寻“算法数学分析”使我进入“算法的数学分析”或“分析在算法中的应用”，这不是我的意思。
6
在理论CS中是否有更多关于纯数学的主题？
我是理论计算机科学专业的研究生，尤其是近似算法。现在，我发现我对纯数学更感兴趣（可以这么说是因为我似乎比CS课程更喜欢数学课程）。我想问一问，理论计算机科学中是否存在一些纯粹的数学领域（更确切地说，是一个纯粹的纯粹对数学感兴趣的领域，而没有考虑到CS的应用），或者我是否需要考虑一个重大的转变。我已经进入该计划已经两年半了，所以我不确定此时切换是否是一个好主意。 从浏览顶级会议的接受列表中，我只能找到图形次要理论。但这对我而言并不算是我可以专注的“领域”。
3
理论计算机科学的研究涉及什么？
我试图了解理论计算机科学研究的内容。理论计算机科学家做什么？ 我知道大量时间用于教学，指导研究生，申请资金和部门职责。抛开它们，您如何度过研究时间？您通常从事哪些主要活动？我猜您正在阅读论文，进行思考，召开会议和撰写文件。还有其他吗？
4
TCS论文中的作者订购
经验法则是，在TCS论文中，作者是按字母顺序排列的，但我想到了一些值得注意的反例，其中作者的排列方式不同，例如， 交互式证明系统的代数方法[Lund，Fortnow，Karloff，Nisan] 一种获取数字签名和公钥密码系统的方法[Rivest，Shamir，Adleman] 需要指数时间的单词问题[Stockmeyer，Meyer] 这些论文中不寻常的作者订购背后的故事是什么？ 是否还有其他一些主要的TCS论文示例，其中作者的顺序不是按字母顺序排列的？
1
数据库聚合如何形成一个monoid？
在cs.stackexchange上，我询问了github上的algebird scala库，推测他们为什么可能需要抽象的代数包。 github页面有一些线索： Monoid的实现用于有趣的近似算法，例如Bloom过滤器，HyperLogLog和CountMinSketch。这些使您可以像想数字一样思考这些复杂的操作，然后将它们加到hadoop或在线中以生成强大的统计信息和分析数据。 并在GitHub页面的另一部分中： 它最初是作为Scalding的Matrix API的一部分开发的，其中矩阵的值是Monoids，Groups或Rings的元素。随后，很明显，该代码在Scalding和Twitter的其他项目中具有更广泛的应用。 甚至Twitter的Oskar Boykin也赞叹道： 主要的答案是，通过利用半群结构，我们可以构建可以正确并行化的系统，而无需了解底层操作（用户有望实现关联性）。 通过使用Monoid，我们可以利用稀疏性（我们处理许多稀疏矩阵，其中在某些Monoid中几乎所有值都是零）。 通过使用Rings，我们可以对数字以外的东西进行矩阵乘法（有时我们做过）。 algebird项目本身（以及发行历史）非常清楚地解释了这里发生的事情：我们正在构建许多用于聚合大型数据集的算法，并且利用操作的结构使我们在系统方面取得了成功（这通常是尝试在1000个节点上生产算法时的痛点）。 为任何Semigroup / Monoid / Group / Ring解决一次系统问题，然后您可以插入任何算法，而无需考虑Memcache，Hadoop，Storm等。 怎么样Bloom filters/ hyperloglog/ countminsketch同样的数字？ 数据库聚合如何具有单调结构？ 这个半身像是什么样的？他们曾经有过小组组织吗？ 参考文献会有所帮助。
3
计算机发现的证据
1996年，计算机解决了一个长期存在的开放性问题。即罗宾代数和布尔代数相同。该证明是由自动定理证明者发现的。 此外，四色定理的已知证明包含计算机生成的成分。 这个问题的目的是到被（完全或部分）由计算机发现列表样张（是否唯一已知的证据或发现一个用于第一时间）。
5
如何找到一个具体的研究课题来集中精力？
我最近开始了硕士课程。上学期，我参加了网络，软件工程，体系结构等不同学科的课程。最近，在学习了算法和数据结构的高级课程之后，我认为我找到了我最感兴趣的课程（包括其他类似主题，例如编程语言等）。 ）。 如何找到研究主题-可以为自己的论文从事研究的特定数据结构或算法，并可能跟进博士学位？我目前正在研究我的大学在相同学科上所做的一些研究。 编辑 我认为有些人由于我这边的模棱两可而混淆了这个问题。我想为我的硕士论文找到一个主题，我距离开始博士学位还有些距离（如果可以的话）
6
将
将微积分称为代数而不是微积分有什么区别？之所以提出这个问题，是因为我在某处读到了“ λ-微积分不是微积分而是代数”这一行（iirc，归因于Dana Scott）。有什么意义？谢谢。λλ\lambdaλλ\lambda
2
参展计算机博物馆
我知道的所有与计算机有关的博物馆和展览似乎都只涵盖了计算机历史，而没有涉及计算机科学的话题。 您将参与创建一个新的计算机博物馆，该博物馆的成立旨在教育，娱乐和启发公众，涉及各种各样的计算机/计算机科学/通信/数学主题。尽管历史和名人可以成为展览的一部分，但这不是历史博物馆。取而代之的是，访问者从硬件层开始了解实现计算的永恒概念。没有指定预算，但对于永久安装中的大量访客，创意应持久且实用，并且人员配置/一次性材料最少，类似于世界上最好的科学中心。 您将包括哪些展览？
3
在哪里寻求研究/出版方面的帮助？
我已经开发了一段时间的SAT算法，并且已经达到想要共享它的地步。我在计算机科学领域认识的人并不多，而且我不确定确切的方向。 我想知道有哪些资源可供正在考虑发布算法的人员使用。我还需要帮助来分析算法的运行时间和正确性。 我的主要问题是分析运行时。我需要对此进行详细分析的帮助。我相当确定该算法是正确的，但是如果有人也对此进行验证，将会很有帮助。 那么，有谁愿意分析我的算法？此外，什么样的资源可用于此类任务？
3
定期阅读您领域以外的论文是否有益？
您对定期阅读自己领域以外的论文有什么看法，即使那些与其所在领域无关的论文也是如此？我的直觉是，它可以提供完全不同的观点或技术，可以帮助我解决自己的问题。但是与此同时，我对此表示怀疑，因为如果新知识对他的工作没有帮助，那将是浪费时间。 您对此有何想法？还有其他方法可以寻找与自己的工作无关的结果吗？TCS +系列呢？
3
关于并行化的介绍性注释，特别是问题和算法的模式
我正在寻找在线可用的讲义或其他资源，它们对并行编程有很好的介绍，就像计算机科学中的基础类的并行模拟一样。 我的重点是以下几点：虽然我能够谈论分而治之，贪婪算法，动态编程等，即顺序算法（和问题）的基本模式，但是我没有合适的语言对并行算法中的方法进行分类。 例如，我想获得适当的用语来表达以下事实：对以下每个问题的明显并行处理具有不同的定性行为： 将整数数组设置为全零（完美缩放）。 对整数数组求和（使用的线程越多，开销越大。） 给定一个数组，将每个条目的乘积彼此列出（如果我们将规范的double-for循环并行化，则运行时间将缩放为数字处理器的sqrt。） 共享内存环境就足够了，进程间通信对我而言并不那么重要（实际上，我对完全避免这种情况的算法很感兴趣）。此外，技术方面对我来说是微不足道的。
3
切换CS研究领域（从M.Tech转到PhD）有多容易？
我面临一个相当艰难的困境： 2年前，我在CS中完成了M.Tech的研究，完成了VLSI测试领域的论文。当我喜欢我的工作时，我不想回去继续攻读博士学位-我一直非常希望攻读理论课程（近似/在线算法）作为获得博士学位的方法。 但是，由于我没有在TCS（理论计算机科学）方面的研究经验，因此恐怕这会损害我获得美国一所相当好的学校录取的机会-而VLSI的研究经验（以及我的顾问/委员会成员的LOR（在VLSI领域广为人知）将帮助我进入一个好的计划（但是我在该领域的热情已经消失了）。 这就是为什么，我想听听那些已经从最初的研究领域（在UG / MS层面）成功迁移并且能够从事完全不同的博士学位研究的人们的声音-您如何解释转职的原因SOP，这是否影响了他们升读高等学校的机会。此外，对于所有正在浏览该问题的学者来说，您会怎么看？您是否总是喜欢那些只具有符合您兴趣的背景的学生？
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.