Questions tagged «big-list»

答案是很多项目的问题(书籍,定理,软件等)

5
EXPSPACE-完全问题
我目前正在尝试查找EXPSPACE完全问题(主要是寻求减少的灵感),而我对即将出现的少量结果感到惊讶。 到目前为止,我发现了这些,并且无法扩展列表: 带指数的正则表达式的普遍性(或其他属性)。 与向量加法系统有关的问题 不可观察的游戏(例如,参见此博客) FO-LTL的一些片段,在上一阶线性时序逻辑的可判定片断的计算复杂度 当EXPSPACE完整性自然出现时,您知道其他情况吗?


1
接受的FOCS / STOC论文中的主要错误[关闭]
按照目前的情况,这个问题不适合我们的问答形式。我们希望答案会得到事实,参考或专业知识的支持,但是这个问题可能会引起辩论,争论,民意调查或扩展讨论。如果您认为此问题可以解决并且可以重新提出,请访问帮助中心以获取指导。 8年前关闭。 您是否曾经遇到过类似的情况?嗯,一切都有可能,但我想知道这种情况有多现实。当然,我指的是严重错误会改变论文的目标,而不是轻微错误。谢谢


9
从书中减少。
这与“ 书中的算法 ” 类似。尽管归约也是算法,但我认为人们会想到减少归因于本书中有关算法的问题。因此,一个单独的查询! 减少各种欢迎。 我将从最简单的还原开始,从顶点覆盖到恒星的多割。一旦确定了源问题,这种减少几乎表明了自身(在此之前,我很难相信这个问题对恒星来说很难解决)。这种减少包括构造具有叶子的星形,并将一对终端与图中的每个边缘相关联,“很容易看到”它的工作原理。找到参考文献后,我将使用指向参考的链接进行更新。ñnn 那些缺少本书上下文的人可能希望看一下本书中有关算法的问题。 更新:我意识到我对什么是从书中减少的内容尚不完全清楚。我发现这个问题有些棘手,所以我承认通过在另一个线程中插入一个引用来故意地躲避这个问题:) 因此,让我描述一下我的想法,我想这不用多说-在这方面YMMV。我打算直接比作《证明》中“证明”的初衷。我看到了非常巧妙的减少,使我对任何人可能会发生的一系列想法感到茫然。虽然这种减少使我有一定的敬畏感,但这些并不是我希望在这种情况下收集的例子。 我正在寻找的是没有太多困难就可以描述的减排量,也许有些令人惊讶,因为它们易于掌握但不容易提出。如果您估计有问题的削减将需要进行演讲,那么很可能不符合要求,尽管我敢肯定,高层次的想法很优雅,而细节上则是魔鬼(对于记录,我不确定我能想到的任何东西)。 我给出的示例是故意简单的,并希望在某种程度上(如果不是完美的话)可以说明这些特征。听说多切我第一次是在课堂上,我们的教师开始说,不仅是NP-很难在一般情况下,这是NP难的,即使仅限于树...的{戏剧性的沉默} 高度一。我记得当时无法证明,尽管回想起来似乎很明显。 我想,很明显地回顾一下我正在寻找的东西。我不确定这与描述的复杂性是否有关系-也许在某些情况下,某些看起来暗淡的东西可能被归类为优雅-请随时提出您的示例(例外?),但我真的很感激此举。考虑到这是一个品味问题,您当然应该可以自由选择我所看到的疯狂复杂,完美的外观。我期待看到各种各样的例子!

2
我们不能(证明)无上下文的语言
我正在寻找“可能不是上下文无关”的语言,但我们无法使用已知的标准技术来(反)证明它。 是否有关于该主题的最新调查或最近一次会议的未解决问题部分? 可能没有多少种语言不知道是CF,因此,如果您知道一种语言,也可以将其发布为答案。 我发现的示例是: 原始词的 著名语言(最近有一本很好的书:上下文无关的语言和原始词)Q={w∣w≠ui(|u|>1)}Q={w∣w≠ui(|u|>1)}Q = \{ w \mid w \neq u^i (|u| > 1) \} 该多项式的合作领域的基础-K表示(见问题“ 多项式的合作领域的基础-K作品-是它的上下文免费的吗? ”在cstheory,这或许已经解决了domotorp,看他预印本) 注:在他的回答显示出由Aryeh你可以,如果你“链接”一语来获取一些套(非)有限性或(非)空虚未知的猜想打造全班这样的语言(如 不能表示为两个素数的总和)。我对这样的例子不太感兴趣。LGoldbach={12n∣2nLGoldbach={12n∣2nL_{Goldbach} = \{ 1^{2n} \mid 2n}}\}


3
在随机减少或P / poly减少下NP完全的问题。
在这个问题中,我们似乎已经确定了一个自然问题,即在随机归约条件下是NP完全的,但在确定性归约条件下可能不是(尽管这取决于数论中哪些未经证实的假设是正确的)。还有其他类似的问题吗?在P / poly降低下是否存在NP完全的自然问题,但在P降低下是否存在不存在的自然问题?


22
在实践中最常使用哪种算法?
已锁定。该问题及其答案被锁定,因为该问题是题外话,但具有历史意义。它目前不接受新的答案或互动。 哪种算法最常用? 请为每个答案编写一个算法,并尽量使答案简短(一两行)。




7
量子计算/信息大学?
哪些大学拥有强大的量子计算课程,并提供某种类型的量子计算/信息课程/研究? 这里的目的是为正在考虑在这些领域进行研究生学习的人收集有用的列表,而不是讨论哪个是“最佳”的。为了使该列表有用,请简要描述大学追求该领域的部分(在很多地方,这是一个跨学科的研究机构,可能并不为所有人所熟悉),并提供URL。


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.