Questions tagged «big-list»

在讨论了3SAT [ 1 ]的下界之后，我想知道制定为时空权衡的主要下界结果是什么。我排除了诸如Savitch定理之类的结果；一个好的条目将集中在单个问题及其边界上。一个例子是： “让T和S为任何SAT算法的运行时间和空间范围。那么我们必须经常无限地使T⋅S≥n2cos（π/ 7）-o（1）无限。” （在Ryan Williams的[ 1 ]中给出。） 要么 “ 在一般随机访问不确定的图灵机上，对于任何ε> 0而言，在n 1 + 0（1）时间和n1 -ε空间中无法同时求解SAT 。” （Lance Fortnow在10.1109 / CCC.1997.612300中） 此外，我包括定义自然时空权衡复杂类（不包括电路类）的。

13 cc.complexity-theory  ds.algorithms  big-list  space-time-tradeoff 

我正在寻找有关各种数论/代数问题的已知或未知复杂性的列表。例如， GCD 已打开，NC1NC1NC^1 保在是开放的，PPP 计算捆同调是 hard#P#P\#P， Arora和Barak指出因式分解是（尽管根据NP完全式因变的讨论尚不清楚），NPNPNP Barbulescu等人在离散对数上的突破性工作。 Adleman曾经发布过一份针对和N P的列表，但似乎已经过时了。Mumford撰写了一篇关于代数几何中可计算内容的论文，而没有考虑复杂性。PPPNPNPNP 自这些名单发布以来，有人知道（重大）发现清单吗？ 数论/代数风格的一些问题可能是哪些已知的，其复杂性类别可能是已知的（因为上面的列表已经发布），未知但可以推测，或者未知而不可以推测？ 问题的一些途径可能是插值问题（在各个字段上的单变量或多变量），中文余数定理，曲线上点计数的复杂性等。

12 cc.complexity-theory  big-list  algebra  open-problem 

以下属性有什么问题： 1）它们限制了（可能是众所周知的）PSPACE完整的问题； 2）受限制的版本在PSPACE中，但是如果它们是PSPACE完整的（甚至是NP硬的），则是一个开放的问题。 来自“ puzzles＆C.”的四个示例： 1x1高峰时间[1]的复杂度（对于大小为2x1的块为PSPACE完整）； [已解决 ]平面地铁洗牌[1]的复杂性（即使对于平面图，PSPACE也是完整的，可以在此处下载本文的草稿）； 不带固定块的农历锁定的复杂性[1]（带固定块的PSPACE-完整）； （不太出名）（我的）交换网络问题的复杂性（这是对PSPACE完整的Sokoban的限制，在非平面情况下是NP困难的，请参见cstheory上的此Q＆A）。 如果您有很多，请按主题对它们进行分组。 [1] Robert A. Hearn，Erik D. Demaine：游戏，谜题和计算。AK Peters 2009，ISBN 978-1-56881-322-6，第I-IX，1-237页

12 big-list  open-problem 

存在哪些对大型数据流起作用的有用算法，而且它们的结果还很小，并且可以通过某种方式合并它们的结果来计算两个流的混合结果？ 我可以列举几个： 很明显的东西，例如总和，最小值，最大值，计数，top-K等。 近似的所谓“基于草图”的流算法，用于直方图，计数不同的项目或计算分位数 还有什么呢？ （我很感兴趣，因为我正在编写一个业余项目来监视分布式系统，其有效性直接取决于此类算法的有效性）

12 ds.algorithms  big-list  data-streams 

有哪些（不为人所知的）断言：如果为true，则PH必须崩溃？ 包含简短的高级断言和参考的答复，不胜感激。我尝试进行反向搜索时没有多大运气。

12 cc.complexity-theory  complexity-classes  big-list 

1996年，计算机解决了一个长期存在的开放性问题。即罗宾代数和布尔代数相同。该证明是由自动定理证明者发现的。 此外，四色定理的已知证明包含计算机生成的成分。 这个问题的目的是到被（完全或部分）由计算机发现列表样张（是否唯一已知的证据或发现一个用于第一时间）。

11 soft-question  big-list  proofs  automated-theorem-proving 

我正在寻找解决NP问题的方法。到目前为止，我发现了以下问题： 3分区问题 装箱问题 数值3维匹配 TSP 没有数值数据的任何NP完全问题，例如，可满足性，哈密顿循环，三色性。 有谁知道一个强烈的NP难题的清单？ 如果没有，让我们在这里构建一个。您是否知道其他对NP有严格要求的数值数据问题？ 我对加权图上的强NP难问题特别感兴趣。

11 np-hardness  big-list  hamiltonian-paths 

我知道的所有与计算机有关的博物馆和展览似乎都只涵盖了计算机历史，而没有涉及计算机科学的话题。 您将参与创建一个新的计算机博物馆，该博物馆的成立旨在教育，娱乐和启发公众，涉及各种各样的计算机/计算机科学/通信/数学主题。尽管历史和名人可以成为展览的一部分，但这不是历史博物馆。取而代之的是，访问者从硬件层开始了解实现计算的永恒概念。没有指定预算，但对于永久安装中的大量访客，创意应持久且实用，并且人员配置/一次性材料最少，类似于世界上最好的科学中心。 您将包括哪些展览？

11 soft-question  big-list  ho.history-overview 

我是CS学生。我们在一门课程中完成了图论。我发现这很有趣。 图论在计算机科学领域的真正应用是什么？ 例如，我发现图论中的某些概念可用于设计网络。还有哪些其他类似的应用程序？

11 graph-theory  co.combinatorics  big-list  application-of-theory 

我想知道当前的自然计算问题是什么，使用量子计算机没有已知的复杂性优势。 首先，我认为编辑距离的计算是一种最快的已知量子算法似乎是最快的经典算法。试探性地，我还建议将排序作为另一个没有已知的量子加速的问题（与最快的已知单位成本字RAM算法相比）。 尽管我不想设置严格的限制，但我对NP中的问题和/或没有已知有效经典解决方案的问题特别感兴趣。 根据Juan Bermejo Vega的建议，此处需要进一步澄清。我对NP中的问题感兴趣，如果您使用量子计算机，则NP中的问题目前根本没有已知的时间复杂性优势。OOO 我不是在关注可以证明没有优势的情况，也不是在关注指数加速（即多项式也可以）。到目前为止，似乎只有两个例子是我的问题，如果确实如此，这似乎非常令人惊讶。

11 ds.algorithms  quantum-computing  big-list 

近似算法可能会给输出带来一定的恒定因子。这比精确算法要令人满意的多。 但是，时间复杂度忽略了恒定因素。 所以我想如果下面的诀窍是可能的，或者使用，解决了一些问题，：乙∘ 一B∘AB \circ A 使用近似算法求解问题以得到常数因子之内的解S；一个AA小号SS 使用精确的算法来解决问题，其运行时间取决于S的权重，但是只要S是正确的解决方案就可以使用。乙BB小号SS小号SS 这样，近似值是精确算法的“子过程”，并且在步骤2中吞噬了在步骤1中丢失的常数因子。

11 ds.algorithms  big-list  approximation-algorithms 

背景：事务处理一直是数据库理论中的传统研究主题。如今，分布式事务已被通常涉及数据分区（也称为分片）和数据复制的大规模分布式存储系统普及。 分布式交易中的主要研究问题是什么？ 是否存在需要（理论上）改进的众所周知的理论和解决方案？ 任何参考表示赞赏。

10 reference-request  big-list  dc.distributed-comp  db.databases 

我对复杂性理论中比随机构造更好的构造示例感兴趣。 我知道的这种结构的唯一一个例子是纠错码领域。在某些参数范围内，代数几何代码比随机代码更好。 可以很容易地构建这样的人工实例。我对像代数几何代码这样的示例很感兴趣，在该示例中，很容易进行随机构造，而且如何做得更好也并不明显。

10 reference-request  big-list  derandomization  pr.probability 

我是同性恋理论家，对计算机科学感兴趣。 我想问一下同位代数在理论计算机科学中有哪些有趣的应用（模型类别，无穷类别，单纯性类别等）？

9 big-list  algebraic-topology 

令为字母，即非空有限集。字符串是任何有限的元素（字符）序列。例如，是二进制字母，而是该字母的字符串。ΣΣ\SigmaΣΣ\Sigma{ 0 ，1 }{0,1} \{0, 1\}011001100110 通常情况下，只要包含超过1元，在元素的确切数字并不重要：在最好的，我们有不同的恒定地方结束。换句话说，我们使用二进制字母，数字，拉丁字母还是Unicode并不重要。ΣΣ\SigmaΣΣ\Sigma 在某些情况下，有多少字母是重要的情况？ 我对此感兴趣的原因是因为我偶然发现了一个这样的例子： 对于任何字母我们将随机预言定义为从返回随机元素的预言，这样每个元素都有相等的机会被返回（因此每个元素的机会都是）。ΣΣ\SigmaØΣOΣO_{\Sigma}ΣΣ\Sigma1个| Σ |1|Σ|\frac{1}{|\Sigma|} 对于某些字母和（可能具有不同的大小），请考虑可以访问的oracle计算机的类别。我们对此类中与行为相同的oracle计算机感兴趣。换句话说，我们想使用图灵机将oracle转换为oracle。我们将这种图灵机称为转换程序。Σ1个Σ1\Sigma_1Σ2Σ2\Sigma_2ØΣ1个OΣ1O_{\Sigma_1}ØΣ2OΣ2O_{\Sigma_2}ØΣ1个OΣ1O_{\Sigma_1}ØΣ2OΣ2O_{\Sigma_2} 令和。转换到Oracle很简单：我们查询两次，转换结果如下：，，，。显然，该程序运行时间为。Σ1个= { 0 ，1 }Σ1个={0，1个}\Sigma_1 = \{ 0, 1 \}Σ = { 0 ，1 ，2 ，3 }Σ={0，1个，2，3}\Sigma = \{ 0, 1, 2, 3 \}ØΣ1个ØΣ1个O_{\Sigma_1}ØΣ2ØΣ2O_{\Sigma_2}ØΣ1个ØΣ1个O_{\Sigma_1}00 → 000→000 \rightarrow 001 → 101→1个01 \rightarrow 110 → 210→210 \rightarrow 211 → …

9 big-list  encoding  examples