Questions tagged «soft-question»

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

5
采用图灵机作为计算的主要模型的历史原因。
据我了解，图灵的模型已成为描述计算的“标准”。我想知道为什么会这样-也就是说，为什么TM模型比其他理论上等效的（据我所知）模型（例如Kleene的μ递归或Lambda微积分（我理解）前者直到后来才出现，而后者最初并不是专门为计算模型而设计的，但这表明从一开始就存在替代方案。 我能想到的是，TM模型比其替代品更能代表我们实际拥有的计算机。这是唯一原因吗？
16
物理结果为TCS？
显然，理论物理的结果对理论计算机科学的许多子领域产生了重大影响。这的两个例子是 量子计算 统计力学结果用于复杂性分析/启发式算法。 所以我的问题是我缺少哪些主要领域？ 我的动机很简单：我是一位理论物理学家，他是通过量子信息来到TCS的，我对这两个领域重叠的其他领域感到好奇。 这是一个相对较软的问题，但我并不是说这是一个大问题。我正在寻找重叠部分很大的区域。
10
真实计算机只有有限数量的状态，那么图灵机与真实计算机有什么关系？
实际计算机的内存有限，并且状态数量有限。因此，它们本质上是有限自动机。为什么理论计算机科学家会使用图灵机（和其他等效模型）来研究计算机？关于真实计算机研究这些更强大的模型有什么意义？为什么有限自动机模型不够用？
6
哪种计算模型是“最佳”的？
图林在1937年描述了一种图灵机。从那时起，已经描述了许多计算模型，以试图找到一个类似于真实计算机但仍然足够简单以设计和分析算法的模型。 结果，我们有许多算法，例如针对不同计算模型的SORT问题。不幸的是，我们甚至不能确定在允许位向量运算的字RAM中运行时间为O（n）的算法的实现比在运行时间为O（n⋅logn）的算法中的实现快一个单词RAM（当然，我只在谈论“好的”实现）。 因此，我想了解现有模型中哪个是设计算法的“最佳方法”，并且我正在寻找有关计算模型的最新详细调查，以了解模型的优缺点及其与现实的接近程度。
8
当您无法解决所解决的问题时该怎么办？
我是理论专业的二年级研究生。去年我一直在研究一个问题（在图论/算法方面）。直到昨天，我还认为我做得很好（我在根据论文扩展定理）。今天，我意识到自己犯了一个简单的错误。我意识到，要做我想做的事情比想象的要困难得多。我对离开研究生院感到非常失望。 这是研究人员注意到她的想法在经过大量工作后就行不通的普遍情况吗？ 当您意识到自己所想到的方法行不通并且问题似乎很难解决时，您会怎么做？ 在我这种情况下，您会给学生什么建议？
8
严谨导致洞察力
在MathOverflow上，蒂莫西·高尔斯（Timothy Gowers）提出了一个题为“ 证明严谨性很重要 ”的问题。讨论的大多数内容都是关于证明证据重要性的案例，CSTheory上的人们可能不需要说服他们。以我的经验，在理论计算机科学中，证明需要比在连续数学的许多部分中更为严格，因为对于离散结构，我们的直觉常常被证明是错误的，并且因为创建实现的动力鼓励了更详细的论证。数学家可能会对存在证明感到满意，但是理论上的计算机科学家通常会尝试寻找一种构造性证明。LovászLocal Lemma是一个很好的例子[1]。 因此，我想知道 在理论计算机科学中是否有特定的例子，其中经过严格证明的被认为是真实的陈述导致了对潜在问题本质的新见解？ 最近一个并非直接来自算法和复杂性理论的例子是证明理论综合，即根据前后条件自动推导正确而有效的算法[2]。 [1]罗宾A. Moser和加博尔·塔尔多斯，一般Lovász局部引理的构造性证明，JACM 57，第11条，2010年http://doi.acm.org/10.1145/1667053.1667060 [2] SAURABH塔瓦，萨米特Gulwani和Jeffrey S.福斯特，从程序验证到程序合成，ACM SIGPLAN声明45，313-326，2010年http://doi.acm.org/10.1145/1707801.1706337 编辑：我想到的答案就像斯科特和马特斯的答案。正如Kaveh所建议的那样，这是人们想要证明的三倍（但这不一定是“物理”，“挥手”或“直觉”的论点所意外的），证明以及对“潜在问题”的后果然后从那出乎意料的证据中得出结论（也许创建一个证据需要出乎意料的新想法，或者自然而然地导致一种算法，或者改变了我们对这一领域的看法）。在开发证明时开发的技术是理论计算机科学的基础，因此，要保留这个有点主观的问题的价值，就应将重点放在个人经验上，例如斯科特（Scott）所提供的经验，或者是有参考文献支持的论点，就像成熟一样。而且，我 m试图避免争论某些事物是否合格；不幸的是，问题的性质可能本质上是有问题的。 我们已经对复杂性中的“令人惊讶”的结果存在疑问：复杂性中的令人惊讶的结果（不在“复杂性博客列表”上），因此理想情况下，我正在寻找针对严格证据的价值（不一定是突破的规模）的答案。
1
单作者论文的重要性？
我是理论计算机科学专业的四年级博士生。我想留在学术界，所以我在考虑如何最好地发展自己的职业。显然，最好的方法是写很多好的论文，但是另一个问题是我是否应该尝试让更多的论文成为单作者。 到目前为止，我只有一篇作者论文（六篇）。这既不是我的最佳作品，也不是最近的作品。申请博士后或教师职位时，这是一个危险信号吗？我应该尝试增加单作者论文吗？ 这取决于我的研究方法。我喜欢和人聊天。我喜欢告诉别人我在做什么，如果他们有兴趣，我很乐意与他们合作。换句话说，即使不是绝对必要的，我也乐于接受协作。我应该改变吗？也就是说，我是否应该尝试更多地保留项目自己，以便最终获得一些单作者论文？ 抱歉，如果这个问题不在主题之内。我想向我所在地区的人问这个问题，而不是在academia.se之类的一般论坛上问。特别是，在我所有的论文中，作者都​​是按字母顺序排列的。这使得单作者论文在TCS中比在其他地区更重要，因为在其他地区，作者的排序传达了这些信息。
3
如何找到有趣的研究问题
尽管有几年的课程，但是在选择研究主题时我仍然茫然。我一直在研究来自不同领域的论文，并与教授交谈，而且我开始认为这是错误的方法。 我读过它有助于发现一个有趣的问题（不要在意该领域），然后继续进行研究。教科书提到了著名的未解决的教科书，但我不想直接解决它们。研究论文只提到积极的结果，没有失败的尝试。 如何找到有趣的研究问题？您如何找到有趣的研究问题？某处有清单吗？ 您如何确定处理某个特定问题是否值得？
3
选择要阅读的论文
免责声明：这是一个开放式问题，Stackexchange清教徒可能会感到非常渴望将其否决。但是，我想不出任何其他论坛更适合并有望获得对此问题的解答。 在研究课程项目的研究问题时，我意识到，如果以特定的方式对问题进行建模，则可以使用专门领域中的技术（对于最近的案例-PASCAL识别文本蕴含挑战）。在获得最初的喜悦之后，我通常对众多论文感到困惑，所有论文都默默喊着“读我，否则您将错过解决问题的最佳方法！”。在截止日期前，如何学习过滤要阅读的论文和要丢弃的论文？除了sort_by_citation计数之外，还有其他什么吗？
4
单作者论文违反了我的顾问的意愿？
我是理论CS领域的三年级博士生，想和我的顾问一起为遇到困难的情况提供建议。 我的顾问根本不参与我的研究项目。特别是，我提出了所有的论文构想，并且仅执行了论文。但是，她始终坚持将自己的名字添加为合著者。这一点开始让我感到困扰，因为我非常努力地（独自）从事研究工作，并相信我应该为此感到赞赏。此外，她是个欺负者，对我的态度很恶劣，因此，我很难以这种方式使她受益。 在我的最新论文中，我提出了自己不相信她达到IEEE 1或ACM 2著作权准则的想法，并告诉她我认为我应该是论文的唯一作者。她同意她不应该当作家，尽管她显然很生气。她说我做这件事很“怪异”，并说每个人都已经知道顾问为学生的工作而赞誉，与您的顾问一起发表与单独发表一样。但最重要的是，她告诉我，如果我不将自己的名字添加到其他几篇顶级论文中，她将不会批准我的提议/论文，因为那样的话，我就“与大学没有任何联系”，因为我没有和教授一起工作，因此无法获得我的博士学位。 显然，我需要一个新的顾问。但是，在我的研究领域，我的部门中确实没有人。切换研究领域或部门不是选择。因此，其余选项如下： （1）将她的名字添加到其他几篇论文中。我不喜欢这个想法，因为它是不道德的，并且不能保证在此选项中甚至可以获得任何好处。最后，当我收到一堆文件后，她可能根本拒绝推荐我。 （2）忽略她的威胁，在发表单作者论文时强迫我完成博士学位。我不相信她会阻止我毕业，因为我已经拥有不错的出版记录，并且大概会继续从事我的工作。我有一个研究金，所以她无法控制我的资金。显然，在这种情况下，我不会收到推荐信。另一方面，我将有一堆单作者论文。 （3）设法说服一个无关领域的教授担任我的顾问，强调我是独立的并且可以独自完成工作。我的部门中有一些理论教授，尽管他们是完全不同的领域。我不知道这个解决的机会。 （4）到部门主席讲故事，问该怎么办。 你觉得我该怎么做？
13
面向高年级学生的励志演讲
我的系经常要求我与高中毕业的学生就计算机科学的更多数学元素进行讲座。我尽我所能从TCS中选择主题，这些主题可能会激发他们的兴趣（主要涉及与Halting问题有关的事情），但希望听到其他人的想法/成功/失败。 职权范围是这些学生正在考虑在一家体面的大学申请CS本科学位，但可能更受数学或另一门科学的吸引。我发现最短路径算法或更快的排序方法的常规主题实际上并不能再引起他们的兴趣。
14
自动机理论有多实用？
在与理论计算机科学相关的主题中总有一种应用方法。但是，教科书和本科课程通常无法解释自动机理论成为重要课题的原因，也无法解释其在实践中是否仍具有应用价值。因此，大学生可能难以理解自动机理论的重要性，并可能认为它已不再具有实际用途。 自动机理论在实践中仍然有用吗？ 它应该成为本科CS课程的一部分吗？
5
你什么时候应该说你知道什么？
当您在公共场所（例如此处的堆叠交换）上看到某个问题时，该怎么办？您知道该问题的答案，因为您正在研究当前的研究项目？ 例如，我看到一个我知道答案的TCS.SX问题，因为我最近在研究该问题。我还没有完成结果的撰写，我正在尝试获得更多结果以撰写出可接受的论文。 我应该亲自联系问询者吗？通过在网站上发布答案公开声明信用？我该怎么办？
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.