Questions tagged «reference-request»

当作者需要了解与该问题相关的工作时，将使用参考请求。

1
P中的平面NAE k-SAT是哪个k？
给定布尔布尔变量X的集合X的子句集C，使得每个子句最多包含k个文字，则非均等 -SAT问题（NAE k -SAT）询问是否存在变量的真值分配，从而每个子句包含至少一个true和至少一个false文字。kkkkkkCCCXXXkkk 平面NAE -SAT问题是NAE的限制ķ -SAT到的那些情况下的发病率二分图Ç和X（即部件的曲线图Ç和X与之间的边缘X ∈ X和Ç ∈ Ç当且仅如果X或¯ X属于ç）是平面的。kkkkkkCCCXXXCCCXXXx∈Xx∈Xx\in Xc∈Cc∈Cc\in Cxxxx¯¯¯x¯\overline{x}ccc 众所周知，NAE 3-SAT是NP完全的（Garey和Johnson，计算机与难处理性； NP完全性理论指南），但是PLANAR NAE 3-SAT在P中（请参阅P，B中的NAE3SAT平面）。 。Moret，ACM SIGACT新闻，第19卷，第2期，1988年夏季 -不幸的是，我没有访问该文件）。 是平面NAE P中-SAT一些ķ ≥ 4？是否有一个k的值被证明是NP完全的？kkkk≥4k≥4k\geq 4kkk
5
对计算机辅助的NP完整性证明感到好奇
在Thomas J. Schaefer的“可满足性问题的复杂性”一文中，作者提到 This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the relational complexity could be explored with the help of a computer. The computer would be instructed to randomly generate various input configurations and test …
3
向科学家证明渐进最坏情况分析
我一直在努力将计算复杂性的一些结果引入理论生物学，尤其是进化与生态学，目的是使生物学家感兴趣/有用。我面临的最大困难之一是证明渐近最坏情况下限分析的有用性。有没有文章长度的参考文献可以证明科学界的下限和渐近最坏情况分析的合理性？ 我确实在寻找我可以在写作中参考的良好参考，而不必在有限的可用空间内论证（因为这不是本文的重点）。我也知道的其他种类和范式分析的，所以我不求，说最坏的情况是“最好的”分析的参考（因为有设置时，它非常不），但它不是完全没用：它仍然可以为我们提供理论上对实际算法在实际输入上的行为的有用见解。文章针对普通科学家也很重要 而不仅仅是工程师，数学家或计算机科学家。 例如，蒂姆·拉夫加登（Tim Roughgarden）向经济学家介绍复杂性理论的论文正朝着我想要的方向走。但是，只有第1部分和第2部分是相关的（其余的内容太过于具体于经济学），并且比大多数科学家[1]，预定的受众对定理-定理-反思想的思考更为满意。 细节 在进化中的自适应动力学的背景下，我遇到了理论生物学家提出的两种特定类型的抵抗： [A]“为什么我应该关心任意行为？我已经知道该基因组具有碱基对（或者可能是基因）而已。n = 3 * 10 9 n = 2 * 10 4ñnnn = 3 * 109n=3∗109n = 3*10^9n = 2 * 104n=2∗104n = 2*10^4 使用“我们可以想象等待秒，而不是 ” 这样的论点，这相对容易解决。但是，一个更复杂的论点可能会说：“当然，您说您只关心一个特定的，但是您的理论从未使用过这个事实，他们只是使用了一个很大但有限的事实，而我们正在研究的是您的理论渐近分析”。2 10 9 n10910910^9210921092^{10^9}ñnn [B]“但是您仅通过使用这些小工具建立特定的景观就表明这很难。为什么我要关心这个而不是平均值？” 这是一个较难解决的批评，因为人们在该领域中通常使用的许多工具来自统计物理学，在统计学中通常可以安全地假设一个统一的（或其他特定的简单）分布。但是生物学是“有历史的物理学”，几乎所有事物都不处于平衡或“典型”状态，经验知识不足证明关于投入分配的假设是合理的。换句话说，我想要一个类似于软件工程中用于均布平均情况分析的论点：“我们对算法进行建模，我们无法构建关于用户将如何与算法交互或他们的分布如何的合理模型。的投入是；那是给心理学家或最终用户的，而不是我们的。” 除非在这种情况下，否则科学就不会处于与“心理学家或最终用户”同等的地位，以找出潜在的分布（或者甚至是有意义的）。 注意事项及相关问题 该链接讨论了认知科学，但是在生物学上的思维方式是相似的。如果您浏览《进化论》或《理论生物学杂志》，则很少会看到定理-证明定理，当您这样做时，通常只是一种计算，而不是诸如存在证明或复杂构造之类的东西。 算法复杂度分析的范例 除了最坏情况，平均情况等之外，还有其他类型的运行时间分析吗？ 通过算法的视角看生态与进化 为什么经济学家应该关心计算复杂性
1
统一与高斯消除
有谁知道精确说明统一算法和高斯消元之间联系的参考文献？我对三角替换和LU分解之间的关系特别感兴趣。 韦恩·斯奈德（Wayne Snyder）和让·加里尔（Jean Gallier）在他们的论文《重新审视高阶统一：完整的变换》中提到了这一类比。
1
是否可以在线性时间内解析所有明确的语法？
当修改非规范的LR解析时，我想到了一种解析方法（具有无限大的表，这使其不切实际）能够在时间内准确解析明确的语法，我想知道是否有可能做得更好：Ø （ñ2）Ø（ñ2）O(n^2) 是否可以在线性时间内解析所有明确的语法？ 我很确定我读过某个地方的情况，但是在搜索互联网时并没有出现这种情况。在这里提出了相同的问题，但据我所知没有给出任何答案。
3
无限域上张量秩的复杂度
甲张量是向量和矩阵更高的尺寸和的一般化秩张量的还概括的矩阵的秩。即，张量的秩是求和于T的一阶张量的最小数目。向量和矩阵分别是1度和2度的张量。ŤTTŤTT 中的元素来自现场˚F。如果F是有限的，那么Håstad 证明了确定3度张量的秩是否至多r是NP完全的，但是当F是像有理Q一样的无限字段时，他没有给出（或引用）上限。ŤTTFF\mathbb{F}FF\mathbb{F}rrrFF\mathbb{F}QQ\mathbb{Q} 问题：确定3次张量对于Q的秩最多是否为r的复杂度，最著名的上限是什么？TTTQQ\mathbb{Q}rrr
4
关于计算复杂度和代数几何/拓扑之间关系的论文？
我想知道我应该读什么论文来理解这个问题 与其他数学领域的意外连接，例如代数几何或更高的同调性。也许甚至数学领域尚未发展。也许有人会为数学提出一个全新的方向，以解决P对NP问题。-从Fortnow 2002 这个问题的另一个表述是“我应该读什么论文来建立从计算复杂度到代数几何/拓扑的联系？” 我已经看过几何复杂度理论。还有《拓扑量子计算》中的论文，我已经阅读了我已经熟悉该领域的足够论文。我有什么想念的吗？
1
是否有任何理由相信
我想知道是否有任何理由相信或相信N L ≠ L？ñL = LNL=LNL=LñL ≠ LNL≠LNL\neq L 已知的是，。上的去随机化的文献[R 大号是非常有说服力的是- [R 大号= 大号。有谁知道的一些文章或观点令人信服的ň 大号≠ 大号？ñ大号⊂ 大号2NL⊂L2NL \subset L^2[R 大号RLRLR L = LRL=LRL=LñL ≠ LNL≠LNL\neq L
3
用整数分解表示的整数与分解一样难吗？参考要求
我正在寻找以下结果的参考： 在因式分解表示中添加两个整数与在通常的二进制表示形式中分解两个整数一样困难。 （我很确定它在那里，因为这是我在某个时候想知道的，然后当我终于看到它印刷时感到很兴奋。） 问题是“在因式表示形式中添加两个整数”：给定两个数和y的素数分解，输出x + y的素数分解。请注意，针对此问题的朴素算法在标准二进制表示形式中使用分解作为子例程。xxxyyyx+yx+yx+y 更新：感谢Kaveh和Sadeq的证明。显然，更多的证据可以证明是更好的选择，但是我也想鼓励人们在寻找参考文献时提供更多帮助，正如我所说的那样，我很确定存在。我记得在一篇论文中读到它时有其他有趣且很少讨论的想法，但我不记得那些其他想法是什么或论文的总体含义。
1
使用Ford-Fulkerson和DFS的最大流量
这个问题是关于使用DFS查找增强路径时Ford-Fulkerson最大流量算法的时间复杂度的。 有一个众所周知的示例，显示使用DFS可能需要最大流中线性的迭代次数，例如，参见上面链接的Wikipedia页面。 但是，我对这个示例并没有真正的信服：标准DFS实现不会表现出B和C作为路径的第一个节点（使用Wikipedia页面的顶点名称）之间交替的行为。 因此，让我们施加一个非常自然的条件，即每当DFS访问节点 ，它总是以相同的顺序检查u的邻居。仍然有使用DFS的FF使用大量迭代的示例吗？uuuuuu 作为变体，假设我们具有附加的属性，即邻居的不同顺序与某些任意但固定的全局顶点顺序一致。这有什么区别吗？ 在我看来，这是一个非常基本的问题；如果答案众所周知，我会事先道歉，但我不是流量专家，有些谷歌搜索没有发现任何问题。 编辑： 答案是肯定的，仍然有示例。看到的图2 本文。在这些示例中，具有DFS的FF进行了指数级（按顶点数计）迭代。似乎很容易证明这是紧密的，即迭代次数始终以为界（与容量的值无关）。2O(n)2O(n)2^{O(n)}
3
半定式程序分析的教育资源还是调查？
在设计近似算法时，有时会求解一个半定程序，然后进行舍入步骤。一个经常使用的示例来说明这一点。（例如，参见Vijay Vazirani的近似算法。） 是否有超越Max-Cut问题的良好教育资源或调查资料来解释更复杂的舍入算法和用于其分析的技术？我正在考虑以下情况：SDP解决方案的向量在超球体上分布不均匀，长度不同或具有其他属性，使得分析变得更加困难。
2
分析垃圾收集的编程语言中指定的最坏情况数据结构的运行时间时，可以忽略GC的成本吗？
我只是意识到我一直以为我的问题的答案是“是”，但我没有充分的理由。我想象也许有一个垃圾收集器，可证明只引入了最坏情况的减速。有没有我可以引用的权威参考文献？就我而言，如果这些细节很重要，那么我将使用纯功能数据结构，并使用Standard ML。O （1 ）O(1)O(1) 当应用于例如Java中指定的数据结构时，也许这个问题会更加相关？使用Java的算法/数据结构教科书中可能有一些相关的讨论？（我知道Sedgewick具有Java版本，但是我只能访问C版本。）
7
在图形中查找双顶点
令G=(V,E)G=(V,E)G=(V,E)为图。对于的顶点，将定义为中的（开放）邻域。也就是说，。定义两个顶点在是双胞胎如果和具有相同的组的邻居的，即，如果。x∈Vx∈Vx\in VN(x)N(x)N(x)xxxGGGN(x)={y∈V|{x,y}∈E}N(x)={y∈V|{x,y}∈E}N(x)=\{y\in V \,\vert\, \{x,y\}\in E\}u,vu,vu,vGGGuuuvvvN(u)=N(v)N(u)=N(v)N(u)=N(v) 给定一个在个顶点上有边的图作为输入，如果存在这样的一对孪生，我们可以在多快的时间内找到的一对孪生？GGGnnnmmmGGG 通过比较两个邻域的邻域，可以检查两个给定的顶点在时间是否为双胞胎。一个简单的算法是找到双胞胎，因此要为每对顶点检查它们是否为双胞胎。这需要时间（并且还会找到所有双胞胎对）。在图中找到（如果存在）一对双胞胎是否有明显更快的方法？文献中是否有解决此问题的已知工作？O(n)O(n)O(n)O(n3)O(n3)O(n^{3})
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.