Questions tagged «soft-question»

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

7
研究数据组织
这是精神问题这一个,我回答说,它跟踪你做了什么事,为什么你都做到了,什么是不工作是很重要的。我个人为此目的使用笔记本电脑,但它有几个缺点:首先,我需要大量的存储空间,其次,当我旅行时,我无法访问我的数据,最后,这不是协作的。但是,它有一个强项:笔记本可以像实验室笔记本一样使用(您只需要找人在每页上签名即可...)。 因此,我有兴趣了解其他研究人员如何进行此事。例如,是否有特定的软件可以解决我提到的所有问题?


2
在哪里可以了解有关理论计算机科学的更多信息?
我是数学专业的研究生,而理论计算机科学是我从未理解过的领域,因为我找不到关于该主题的很好的读物。我想知道这个域实际上是关于什么的,它所涉及的主题是什么,需要具备哪些先决条件,等等。现在,我只想知道: 什么是理论计算机科学的入门书籍? 鉴于有这样的事情。如果不是,那么对计算机科学有基本知识(即,他们了解一种或两种编程语言的基础)的数学家应该从哪里开始呢?你有什么建议吗? 谢谢!

2
(如何)在没有图灵计算模型的情况下,我们能否发现/分析NP问题?
从纯粹的抽象数学/计算推理观点来看,(如何)甚至可以发现或推理诸如3-SAT,子集和,旅行商等问题?从功能的角度来看,我们甚至能够以任何有意义的方式对它们进行推理吗?甚至有可能吗? 我一直在纯粹从自我询问的角度考虑这个问题,这是学习lambda微积分计算模型的一部分。我知道这是“非直觉的”,这就是Godel偏爱Turing模型的原因。但是,我只想知道这种计算功能样式的已知理论局限性是什么?对于分析NP类问题将有多少障碍?

1
为什么Schönfinkel致力于消除逻辑中的“绑定变量”如此重要?
AFAIK,使用高阶函数的第一个证据可以追溯到Schönfinkel在1924年发表的论文:“论数学逻辑的基础” –他允许一个将函数作为参数传递给其他函数。 这似乎很有趣。但是,我一直在阅读的有关他的作品的所有内容(以及扩展的Curry)似乎都暗示着某种形式的另一种事物:[高阶函数] ...这消除了对绑定变量的需要... 我没办法把头缠住-有什么大不了的?为什么当时的逻辑学家和数学家对此很关心?作为理论家,我们今天是否在乎这一点?为什么要摆脱绑定变量是“突破性的”,以及它对我们(我们知道的)理论上(或理论上)产生了什么影响? PS:我知道他的工作是如何为微积分铺平道路的,以及“它”对总体计算和函数编程的影响。我的问题主要针对的是λ微积分创建之前和Schönfinkel论文发表之后的时间。库里(Curry)独立承担起那项工作的事实(后来被称为“组合逻辑”)也暗示了舍芬克尔工作的重要性。λλ\lambdaλλ\lambda

5
TCS中的修脚示例
拉里·瓦瑟曼(Larry Wasserman)在最近的帖子中谈到“ p值警察”。他提出了一个有趣的观点(全部强调我的观点)(我添加的斜体字前提及其下的回应): 最常见的抱怨是物理学家和新闻工作者错误地解释了p值的含义。例如,如果p值为0.000001,则我们将看到诸如“信号真实存在99.9999%的置信度”之类的陈述。然后,我们被迫纠正这一陈述:如果没有影响,那么就有机会或更高的是0.000001。 很公平。但这真的重要吗?总体情况是:影响的证据是压倒性的。措辞是否有误导性真的重要吗?如果我们对此抱怨,我认为我们会强化我们作为学徒的形象。 这让我开始思考- 在TCS中,有没有很好的例子?这样的例子包括 大众媒体普遍提出的主张 人们坚持要进行的标准更正 索赔即使不精确也可以捕获正确的“大图景”。 索赔在数学上是错误的,但在道德上是“正确的”,并且更正在技术上是正确的,但不会改变直觉上的理解。 为了使事情顺利进行,我的例子是: 索赔-NP完全问题需要花费大量时间才能解决 校正-实际上,我们只是不知道它们是否可以在多项式时间内求解 大图-NP完全问题很困难 警告:我知道这个论坛上有很多人会为错误但“道德上正确”的主张的想法所震惊:)。请记住,这些是针对公众的声明(可以允许一定程度的许可),而不是研究论文中的声明。

1
订单维护问题(或“维护列表中的订单”)是为了支持以下操作: singleton:创建一个包含一个项目的列表,并返回指向它的指针 insertAfter:给定一个指向项目的指针,在其后插入一个新项目,并返回指向该新项目的指针 delete:给定指向项目的指针,将其从列表中删除 minPointer:给定两个指向同一列表中项目的指针,则返回更靠近列表前面的那个 我知道此问题的三种解决方案可以在摊销时间内执行所有操作。它们都使用乘法。O(1)O(1)O(1) Athanasios K. Tsakalidis:维护广义链表中的顺序 Dietz,P.,D. Sleator,两种用于维护列表顺序的算法 Michael A. Bender,Richard Cole,Erik D. Demaine,Martin Farach-Colton和Jack Zito,“维护列表中顺序的两种简化算法” 是否可以在摊销时间内以列表形式维护订单,而无需使用A C 0以外的任何算术运算?O(1)O(1)O(1)AC0AC0AC^0

1
算法设计和复杂性-如何以这种“方式”思考?
我的问题是一个普遍的问题:如何开始就算法设计和复杂性进行思考?我将选修算法设计研究生课程。我早些时候注册了它,但后来又放弃了,因为我跟不上它。我必须参加这门课程。 是否有以这种方式思考的“技巧”?我知道这是很粗略的说法,但有时以崭新的视角有助于以不同的方式思考一个主题。 我在本课程(和类似的理论课程)中遇到的主要问题是:我怎么知道我提出的解决方案是正确的?我发现理论部分是任意的,特别是当“证明”某种算法以某种方式起作用或表现时? 我们的课程将使用标准文本:CLRS算法简介。 是否有教科书/网站/书籍/等?可能提供一种在该领域变得自信的方法? 谢谢大家, 杰森·丹恩(Jason Dane)

10
NP完全问题的难解性是物理学原理吗?
我总是对缺乏针对P vs NP问题的实验数学的数字证据感到好奇。尽管黎曼假设从数值验证中获得了一些支持证据,但我不知道有关P vs NP问题的类似证据。 另外,我不知道存在无法确定的问题(或存在无法计算的功能)对物理世界的直接后果。蛋白质折叠是NP完全问题,但似乎在生物系统中非常有效地发生。斯科特·亚伦森(Scott Aaronson)提出使用NP硬度假设作为物理原理。他非正式地将该假设陈述为“ NP完全问题在物理世界中是棘手的 ”。 假设NP硬度假设,为什么很难设计一个科学实验来决定我们的宇宙是否尊重NP硬度假设? 另外,是否有来自实验数学的已知数值证据支持或反对?P≠NPP≠NPP\ne NP 编辑:这是斯科特·亚伦森(Scott Aaronson)的精彩演讲,题为“ 计算难易度为物理定律”


2
证明助手在复杂性理论研究中的用途?
考虑到像STOC这样的会议所涵盖的主题,是否有任何算法或复杂性研究人员积极使用COQ或Isabelle?如果是这样,他们如何在研究中使用它?我认为大多数人不会使用此类工具,因为证明水平太低。是否有人以对他们的研究至关重要的方式使用这些证明助手,而不是一个很好的补充? 我很感兴趣,因为我可能会开始学习其中一种工具,并且在减少,正确或运行时间证明的背景下学习它们会很有趣。

4
面向程序员的理论计算机科学自学资源
我是一个非常熟练的软件工程师,但是我并不了解太多理论。我想学习更多理论。我感兴趣的特定主题是:计算复杂性,形式语言和类型理论。但是我对于如何开始学习这些领域一无所知。 您将向那些想通过自学学习更多理论的人推荐什么资源?是否有针对软件工程师的理论计算机科学自学指南?

2
希望学习更多计算机科学的数学家的资源
背景: 我即将完成数学硕士学位,并将于八月开始获得逻辑博士学位。我研究的逻辑越多,接触的理论计算机科学就越多,例如递归理论,lambda演算,但底层的CS却被蒙蔽了。我感兴趣的主要领域(集合论和范畴论)也可以在计算机科学中应用,但是到目前为止,我仅从纯数学的角度研究了它们。 问题: 我缺乏任何计算机科学背景,有时很难看到正在发生的事情或如何应用的动机或直觉。我过去了,但我觉得分支出去会更健康...我觉得为了将来的研究,我应该学习一些计算机科学。 我看过的大多数CS书籍都不太适合我的目的,要么太基础,太技术性,要么以我没有的CS背景为前提。他们似乎针对的是精通计算机但对数学背景几乎没有什么了解的人-我的情况恰恰相反。 题: 那里有哪些书籍或其他资源可以帮助数学家转变为逻辑学家,以获得获得(理论)计算机科学的实用知识的目标? 我正在寻找比一些研讨会演讲更有益健康的东西,而不是《新图灵综合丛书》更深入的东西,但是我没有时间或资源来攻读另一个本科学位。(可能是我要的是不存在的东西。) 很抱歉,这个问题太含糊或不适当地。我觉得这里比MSE更合适,但如果需要,我很乐意迁移它。


1
为什么马丁·洛夫需要创建直觉类型理论?
我一直在阅读直觉类型理论(ITT),它确实有意义。但是我要努力理解的是“为什么”首先创建了它? 一般而言,直觉逻辑(IL)和简单型演算(STLC)和类型论早于Martin-Löf本人的存在!似乎可以在STLC中完成ITT中可以做的所有事情(我可能错了,但至少感觉是这样)。 λλ\lambda 那么,关于ITT的“新颖”是什么?它如何(或确实)促进了计算理论?据我了解,他介绍了“依赖类型”的概念,但似乎在某种程度上它们已经存在于STLC中。他的ITT是否试图抽象地理解STLC和IL的基本原理?但是STLC尚未举行吗?那么,为什么要首先创建ITT?重点是什么? 这是Wikipedia的摘录:但是我仍然不知道其创建背后没有的原因。 马丁·洛夫(Martin-Löf)关于类型理论的第一篇草稿可追溯到1971年。这种具有约束性的理论概括了吉拉德的系统F。但是,由于吉拉德在研究系统U时发现了吉拉德的悖论,而这一悖论是由吉拉德发现的,该矛盾是系统的不一致性扩展。 F.这种经历促使PerMartin-Löf开发了类型理论的哲学基础,他的意义解释,一种证明理论语义的形式,这为他在1984年的Bibliopolis书中提出的谓词类型理论提供了依据... 从摘录中看来,原因是要发展“ 类型理论的哲学基础 ”-我认为该基础已经存在(或者也许我以为已经存在)。那是主要原因吗?

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.