计算机科学问题仍然存在问题

时间:2009-07-28 08:08:15

标签: computer-science

除了维基百科(Unsolved problems in computer science)中提到的那些,还有哪些尚未解决的计算机科学问题?

我想过问这个问题,因为那里的其他伟大思想家可能都不会意识到存在这样的问题。

(设置为社区维基;请为每个帖子提供一个CS问题)

在维基百科上发布的内容是:

15 个答案:

答案 0 :(得分:26)

我仍然没有想出 Any Key 的位置。


<小时/>

好的,严肃地说(并且为了贡献一些有价值的东西)如何将并行计算应用于“串行”任务?正在达到串行计算的理论极限,而并行计算没有理论限制。然而,将并行计算应用于串行问题是非常困难的。例如,序列问题可能需要一系列计算,系列中每个计算的结果都依赖于先前计算的结果。你如何以平行的方式完成这项任务?

This article从理论的角度说明了事情,并将推测计算的概念作为一种可能的解决方案(对人类大脑有一个简洁的观点)。然而,这是一个非常新的领域,解决方案并不容易。

答案 1 :(得分:10)

就使用哪种编程语言解决问题达成一致意见。

答案 2 :(得分:8)

实际有效的自然语言处理。不敢相信这还没有被提及。

答案 3 :(得分:3)

Open Problem Garden有一个您可能感兴趣的小清单:

答案 4 :(得分:3)

图同构。

基本上,大多数自然发生的问题要么容易(P),要么很难(NP)。如果记忆服务,有两个或三个问题落在“中间”。原始性是一个,但最近被证明是在P. Graph Isomorphism中是另一个。

图形同构是这个问题:给定G1和G2,G2只是G1,但是“重新标记”?同样地,我们可以重新标记G2以使其与G1完全相同吗?

维基文章!一般overview,以及关于其复杂性等级here的问题的文章。

编辑:我真的要记住输入所有单词。

答案 5 :(得分:3)

splay trees的动态最优性。

将一组查询修复到二叉搜索树中。 (“查找节点6.查找节点13.查找节点42”...)Splay树静态最优:如果您创建一个固定的二进制搜索树并对其运行查询,它将运行no比对splay树运行查询更快的常数因素。

这有点比较苹果和橙子,因为展开树不是静态树。悬而未决的问题是splay树是否动态优化:它是否在树的常量因子中可以在查询期间自行修改?

答案 6 :(得分:3)

ORM是计算机科学的越南-Ted Neward

也就是说,它并没有解决许多人的满意度。

答案 7 :(得分:2)

在Go游戏中成功赢得人类。 Wiki Article about computers and go.

答案 8 :(得分:1)

将UI元素绑定到数据库。

有许多悲惨的尝试,尽管我不愿意这样说,但.NET可能是今天最好的。试想一下:经过30年的努力,为一个拥有多个地址的人建立一个简单的编辑器仍然很痛苦。

答案 9 :(得分:1)

这里有趣的是问题的定义。问题只是在给定资源下的改进空间(并且未被证明是无法解决的)。因此,通过这个新定义,我们在各个领域都存在很多问题。

问题可能是改进指数复杂性解决方案的因子复杂性解决方案。 (如果没有证明它没有退出)。

答案 10 :(得分:1)

如何将NetFlix algorithm提升到NEXT 10%:)(祝贺The Ensemble!)

答案 11 :(得分:1)

请注意,Church-Turing的论文实际上并不是真正的数学陈述。这是关于物质世界的陈述。

你最接近它的证明就像“在标准模型下是真的”。

这并不是说它无法在更大程度上形式化,但你能想到的最好的方法是澄清有关物理世界的具体假设。

答案 12 :(得分:1)

我认为旅行推销员的问题仍然没有解决。

答案 13 :(得分:1)

重新解析答案,我想我发现至少2个先前答案的组合元素是打破语法和语义之间障碍的问题。实际上每个程序员和计算机科学家都在研究这个问题。 (最近,“语义”越来越多地成为整个CS领域的主题。)我们开放的大多数领域和主题始于打破这一障碍的承诺。到目前为止,所有这些人迟早都会从“创造智能”转变为“智能算法”。

人工智能可能是最突出的研究领域,但最终,许多其他人一直在梦想基本上是“做我的意思” - 按钮。 (我可以适应进化算法,神经网络,以及最近的语义网络人员。)主要的障碍是计算机所做的一切都在改变位。

我可能在这里传播正义和愚蠢,因为对于唯物主义者来说,这不是一个根本问题,因为移位可能就是我们在人脑中所做的一切。它可能只是一个复杂的问题。

嗯......我不愿意在这里开始讨论,除了语法与语义之外,这是一个非常普遍的话题。在这上花费太多时间肯定会使人无法解决其他答案中提到的一些更具体的问题。解决这些问题要有效得多,但有必要记住,这里存在非常根本的障碍,我们尚未能够突破这些障碍。

答案 14 :(得分:0)

P =? NC将是我的投票。在P = NC下,自动多核并行化是可能的,但是认为两者是不同的,因此存在难以并行化的P完全问题。了解哪些问题属于这一课更为重要。