理论计算机科学

理论计算机科学家和相关领域的研究人员的问答

2
对于非布尔函数，下界比3n更好吗？
Blum的下界是显式函数的完整基础上最著名的电路下界，请参见。约克纳（Jukna）对这个问题的回答，以获得相关结果。˚F ：{ 0 ，1 } Ñ → { 0 ，1 }3n−o(n)3n−o(n)3n-o(n)F:{0,1}n→{0,1}f:{0,1}n→{0,1}f : \{0,1\}^n \to \{0,1\} 如果的范围是什么是最著名的下限？特别是，对于或，我们可以获得更好的结果吗？{ 0 ，1 } 米米= Ñ 米= 2fff{0,1}m{0,1}m\{0,1\}^mm = n米=ñm = nm=2m=2m = 2
2
比较整数3SUM问题的两种算法
Ilya Baran，Erik D. Demaine和Mihai Patrascu撰写的论文“ 3SUM的二次方程式算法”具有以下复杂性： 3SUM问题： 给定一个列表LLL的nnn整数如果有x,y,z∈Lx,y,z∈Lx,y,z \in L使得x+y=z.x+y=z.x+y=z. w−w−w-A C 0 O （n 2 / w 2 log w ）O （n 2 /（M B ））O （n 2 / M B log M ）O(n2/max{wlogw,logn(loglogn)2})O(n2/max{wlog⁡w,log⁡n(log⁡log⁡n)2})O(n^2/ \max\{w \log w, \log n (\log \log n)^2 \})AC0AC0AC0O(n2/w2logw)O(n2/w2log⁡w)O(n^2/ w^2 \log w)O(n2/(MB))O(n2/(MB))O(n^2/(MB))O(n2/MBlogM)O(n2/MBlog⁡M)O(n^2/ MB \log M …
2
哈密​​顿循环和哈密顿路径问题具有不同复杂度的图类
虽然搜索上图类及夹杂物的信息系统，我发现这汉密尔顿的周期问题是NP完全问题，而哈密顿路径问题的复杂性在几个图类不知道。其中的一些类别是二部最大3度图，最大3度网格图和2连通立方平面图。这种现象也适用于圆形图和三角形网格图。 这些类的汉密尔顿路径问题的复杂性是否有更新？有这种现象的解释吗？ 编辑：我在图类数据库中发现了一个奇怪的实心网格图，其中哈密顿循环问题在而哈密顿路径问题的复杂性未知。PPP
2
图同构问题
我正在对图同构问题进行一些文献综述。我正在阅读的大多数论文都是由EM Luks和Laszlo Babai撰写的。这些论文使用了高级的群体理论和复杂性理论知识。由于我是该领域的新手，所以我不清楚许多事情。 有人可以建议我一种学习这些论文中提出的思想和技术的方法，以便我可以提出其他一些思想。 非常感谢
1
我们对有什么证据？
遵循Josh Grochow的建议，我正在将我的评论从先前的问题转换为新的问题。 我们对有什么证据？UP≠NPUP≠NP\mathsf{UP} \neq \mathsf{NP} 这里是类的语言通过对“是”情况和“无”情况下不接受路径的唯一路径接受多项式时间非确定性图灵机识别。UPUP\mathsf{UP} 显然，但是为什么我们会认为遏制是严格的呢？我可以找到的证据是甲骨文分离：受随机甲骨文。同样，复杂性动物园建议不被认为有完整的问题。UP⊆NPUP⊆NP\mathsf{UP} \subseteq \mathsf{NP}P⊊UP⊊NPP⊊UP⊊NP\mathsf{P} \subsetneq \mathsf{UP} \subsetneq \mathsf{NP}UPUP\mathsf{UP}
1
理论计算机科学专业
我目前是一名高中生，对理论计算机科学和应用数学感兴趣。我自学了线性代数，微积分和具体数学。我天真的想法是，要写出更好的算法，一个人必须尽可能地了解数学，因为您可以学习新的结构，然后使用这些结构来形成更复杂，更快的算法，现在，我不明白该怎么做。接下来。我还有一年的大学时间，在那个时候，我想学习一些数学，这可能会对我的职业生涯有所帮助。我应该从什么开始呢？有人可以给我提供大概的话题列表，我现在和将来都应该学习。 诸如抽象代数（一个学科太正式）和代数拓扑之类的东西还在计算机科学中有用吗？
3
随机算法在哪一类中有25％的几率会出错？
假设我考虑了BPP的以下变体，我们将其称为E（xact）BPP：如果存在一个多项式时间随机TG，该语言以3/4的概率接受该语言的每个单词，而每个单词不在语言的概率恰好为1/4。显然，EBPP包含在BPP中，但它们相等吗？已经研究过了吗？那么类似定义的ERP又如何呢？ 动机。我的主要动机是我想知道Faenza等人的``期望值正确''随机算法的复杂性理论类似物是什么。（请参见http://arxiv.org/abs/1105.4127）。首先，我想了解这种算法可以解决哪些决策问题（最坏情况下的多项式运行时间）。让我们用E（xpected）V（alue）PP表示此类。这是很容易看到，USAT ∈∈\in EVPP。也不难看出，EBPP ⊂⊂\subset EVPP。所以这就是我的动力。也欢迎您对EVPP提出任何反馈。 实际上，他们的算法始终输出非负数。如果我们表示问题识别通过EVP（ositive）PP这样的算法决定，那么我们还有USAT ∈∈\in EVPPP。虽然EBPP可能不是EVPPP的一个子集，我们有ERP ⊂⊂\subset EVPPP。也许使用这些我们可以为决策问题定义（否定）等级。
2
局部有界树宽图的推广
以下图类在文献中是否已知？ 类图的由正整数参数和和包含每个图形，使得对于每个顶点，的子图至多诱导上在距离所有顶点从在树宽最大为。dddŤŤtG = （V，E）G=（V，Ë）G=(V,E)v ∈ Vv∈Vv\in VGGGdddvvvGGGŤŤt 它概括了局部有界树宽的概念，在搜索图形中的局部结构时似乎很有用。
1
区间覆盖问题的复杂性
考虑下面的问题QQQ：我们给出的整数，和ķ间隔[ 升我，- [R 我 ]与1 ≤ 升我 ≤ [R 我 ≤ 2 Ñ。我们也给予2 ň整数ð 1，... ，d 2 ñ ≥ 0。任务是选择最小间隔数[ l i，r i ]nnnkkk[li,ri][li,ri][l_i,r_i]1≤li≤ri≤2n1≤li≤ri≤2n1\leq l_i\leq r_i\leq 2n2n2n2nd1,…,d2n≥0d1,…,d2n≥0d_1,…,d_{2n}\geq 0[li,ri][li,ri][l_i,r_i]这样对于每个，至少要选择包含整数 i的d i个间隔。i=1,…,2ni=1,…,2ni=1,…,2ndidid_iiii 不难看出可以在多项式时间内求解（见下文）。QQQ 现在考虑以下经过稍微修改的问题Q′Q′Q’：问题的输入与之前相同。但是，现在的任务是选择最小数量的间隔，以便对于每个，至少d 2 i - 1个包含整数2 i - 1的间隔或至少d 2 i个包含整数的间隔2 i被选中（用“或”表示通常的逻辑或）。i=1,…,ni=1,…,ni=1,…,nd2i−1d2i−1d_{2i-1}2i−12i−12i-1d2id2id_{2i}2i2i2i 我的问题：能在多项式时间内求解吗？Q′Q′Q’ 这是两种解决方法 有效 Q的：QQQ 一个简单的贪心算法：从左到右扫过间隔，并仅选择“满足”数字d所需的尽可能少的间隔。只要在不同的时间间隔之间进行选择，就选择右端点最大的一个。didid_i 的整数程序：对于每一个间隔引入一个决策变量X 我 ∈ …
1
此边缘着色问题的复杂性是什么？
最近，我遇到了以下边缘着色变体。 给定一个连通的无向图，找到使用最大颜色数的边缘的着色，同时还满足对于每个顶点，入射到v的边缘最多使用两种颜色的约束。vvvvvv 我的第一个猜测是问题很棘手。用于图着色问题的经典NP硬证明主要是通过减少3SAT来实现的。但是我认为，这些证明对这个问题没有用，因为入射到顶点的边可以用相同的颜色着色，因此我们不能在图中构造逻辑组件。 这个问题难道是NP难题？如果是，那是什么证明？如果我们不能罚款证明，是否有任何方法可以确定这个问题的复杂性？ 谢谢！
1
采样（近似）布尔函数的傅里叶变换的复杂性
量子计算机可以做的一件事（甚至可能仅使用BPP +对数深度量子电路）是对P中布尔值函数的傅里叶变换进行近似采样。±1±1\pm 1 在这里和下面，当我谈论采样傅立叶变换时，我的意思是根据选择x 。（如有必要，请进行标准化）。|f^(x)|2|f^(x)|2|\hat f(x)|^2 我们能否描述P的近似采样布尔函数的复杂度类，我们可以称之为P-FOURIER SAMPLING？这堂课有没有完整的问题？ 给定X类布尔函数，可以说关于计算复杂度，我们可以将其称为SAMPLING-X，它是对X中函数的傅立叶变换进行近似采样的方法。（我想如果X是BQP，则X-SAMPLING为仍然在量子计算机的能力之内。） 在S中有SAMPLING-X的X的例子是什么？有没有有趣的例子，其中SAMPLING-X是NP硬的？ 此问题有多种变体也可能很有趣。在傅立叶方面，我们可以谈论的不是近似样本，而是近似抽样能够（概率地）实现的决策问题。在原始方面，我们可以从概率分布的类X开始，并询问近似采样X中的分布D和近似采样（归一化）傅立叶变换的能力之间的关系是什么。 简而言之，关于此问题的已知信息。 更新：马丁·施瓦兹（Martin Schwarz）指出，如果所有傅立叶系数本身都只集中在多项式条目上，那么在BPP中就有可能近似这些大系数（从而也近似于样本）。这可以追溯到Goldreich-Levin，和库什列维兹-曼苏尔。是否有有趣的函数类，其中有一个概率多项式算法可以对傅里叶侧进行近似采样，其中傅里叶系数的分布比多项式系数大？ 稍后添加：让我提及一些具体问题。 1）在P中近似采样布尔函数的傅立叶变换有多困难。 a）斯科特·亚伦森（Scott Aaronson）在下面的评论中提到的一个问题是要表明这不在BPP中。或更弱一点的是，如果此任务在BPP中进行，则会发生崩溃。（苏格兰人猜想就是这种情况。） b）另一个问题是表明，就某些基于量子的复杂性类别而言，这项任务很难。例如，为了表明您可以执行此任务，您可以借助对数深度量子计算机或类似的工具解决BPP中的决策问题。 2）什么是布尔函数类，以便大约可以对P的Fourler变换进行采样在P中。我们知道的是，当Fourier系数集中于多项式多项式系数时，就是这种情况，但这似乎非常局限。 3）在PH中，X机可以近似采样X机可以计算的每个函数的傅立叶变换的复杂度等级X。 4）我对采样交叉事件的傅里叶变换以在n x n的六边形网格上进行渗滤的问题特别感兴趣。
5
为什么经济学家应该关心计算复杂性
当试图使经济学家相信印刷中复杂性理论的相关性时，是否有引用的标准参考书？我熟悉Noam Nisan的博客文章，Tim Roughgarden的调查以及Scott Aaronson文章的第11章。这些帖子可供计算机科学家使用，但不使用经济学家的语言，也不会在他们通常阅读的场所中发布。是否有针对经济学家的均衡等复杂性的重要性的良好论据？关于经济学家如何应对计算机科学家的压力，是否有很好的历史概述？ 可以说，新古典经济学只是被封闭了，因此这类论文就不存在了，但是有些杂乱的领域，例如进化经济学和复杂性（在SFI的意义上），以经济学家熟悉的语言为自己辩护。这些领域也提出了与计算复杂性方法类似的批评（例如，摆脱了对均衡的假设），但没有像CS这样严格地证明它们合理。 相关问题 社会科学中的算法镜头 量化金融中的计算复杂性
1
子类型的分类语义是什么？
从Curry-Howard-Lambek开始，类型理论，逻辑和类别一直是三位一体。我很好奇，当您在类型理论中添加（强制性）子类型时，您会得到什么分类语义-似乎根本没有对此进行太多探讨。 通常，在类型理论中添加强制性子类型不会破坏其元理论属性（例如强规范化），因此，我认为其分类语义应该是实际感兴趣的内容！
3
没有有效正确性和效率证明的建设性高效算法
我正在寻找有效算法的自然实例（即在多项式时间内） 它们的正确性和效率可以得到建设性的证明（例如在PRAPRAPRA或HAHAHA），但是 没有已知仅使用有效概念的证明（即，我们不知道如何在TV0TV0TV^0或证明其正确性和效率S12S21S^1_2）。 我可以自己做一些人造的例子。但是，我想要有趣的自然示例，即为自己而研究的算法，而不仅仅是为了回答此类问题而创建的。
2
多对数深度电路的电路下限状态
AC0AC0AC^{0}pppAC0[q]AC0[q]AC^{0}[q]AC0[q]AC0[q]AC^0[q]qqqgcd(p,q)=1gcd(p,q)=1\gcd(p,q)=1。但是，通过使用经典方法（如限制输入并在有限域上逼近多项式）来获得对数深度电路的具体下限结果似乎是遥不可及的。 我知道STOC'96论文引出了几何复杂性理论，并且表明使用没有逐位运算的有效的并行计算不能计算最小成本流问题。 这意味着在某些有限的设置中，我们可以证明某些问题的下界。PNCNCNCPPP 首先，还有其他方法或技术可能是证明多对数深度电路下限的合理方法吗？ 其次，以下陈述对理论界有多大用处？ 计算布尔函数的电路的大小至少为，其中是取决于其硬度的一些数学量目标函数。的值例如可以是组合量（如差异），线性代数（如字段上某种类型的矩阵的秩）或某些全新的量，以前从未在复杂度理论中使用过。˚F ：{ 0 ，1 } Ñ → { 0 ，1 } 升升˚F 升NCNCNCf:{0,1}n→{0,1}f:{0,1}n→{0,1}f\colon\{0,1\}^{n}\rightarrow \{0,1\}llllllffflll
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.