理论计算机科学

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


2
对于3度有界图,反馈顶点集问题可以在多项式时间内解决吗?
一般图形的反馈顶点集是NP完全的。由于顶点覆盖范围的减少,对于度数为8的有界图,它是NP完全的。在维基百科的文章说,这是多时间内可解的程度,3界图,是NP-完成度4界图。但是,我无法在任何地方找到任何证明。是真的吗 FVS在d阶有界图中是NP完全的最小d是多少?

3
使用半随机,半对抗性字符串运行BPP算法
考虑以下模型:随机均匀地选择n位字符串r = r 1 ... r n。接下来,将每个索引i∈{1,...,n}放入具有独立概率1/2的集合A中。最后,如果每个i∈A 想要,对手都可以翻转r i。 我的问题是:RP或BPP算法是否可以将结果字符串(称为r')用作其随机性的唯一来源?假定对手事先知道整个BPP算法,字符串r和集合A,并且它具有无限的计算时间。还要(显然)假设BPP算法既不知道对手的翻转决​​定也不知道A。 我很清楚,从Umesh Vazirani关于半随机数据源(一种不同但相关的模型)的工作,到最近有关提取器,合并和冷凝器的工作,针对此类问题的工作量很大。因此,我的问题很简单,这些工作是否能产生我想要的东西!关于弱随机源的文献如此之多,有许多微妙的模型,以至于知道文学的人可能会为我节省很多时间。提前致谢!



4
给定
谁能帮助我解决以下问题? 我想找到一些值ai,bjai,bja_i,b_j(mod NNN),其中i=1,2,…,K,j=1,2,…,Ki=1,2,…,K,j=1,2,…,Ki=1,2,…,K, j=1,2,…,K (例如K=6K=6K=6),给定一个K2K2K^2值的列表,对应于差ai−bj(modN)ai−bj(modN)a_i-b_j\pmod N(例如N=251N=251N=251),而无需知道具体的对应关系。由于价值观ai,bj(modN)ai,bj(modN)a_i,b_j\pmod N并不是唯一确定给定的差异ai−bj(modN)ai−bj(modN)a_i-b_j\pmod N,我们寻找任何 价值的有效分配。 绝对地,尝试列表中K2K2K^2数字的每个置换(总共K2!K2!K^2!可能的情况),然后以ai,bjai,bja_i,b_j作为变量求解模块化方程是不可行的。 实际上,此问题出现在有关对NTRU签名方案的早期版本进行密码分析的论文中(http://eprint.iacr.org/2001/005)。但是,作者只写了一个句子“简单的回溯算法找到了一种解决方案……”(在第3.3节中),所以有人可以给出更多的解释吗?此外,作者还提到“每个循环移位{((ai+M)modN,(bi+M)modN}Ki=1{((ai+M)modN,(bi+M)modN}i=1K\{((a_i+M)\mod N,(b_i+M)\mod N\}_{i=1}^K或掉期交易({(N−1−bi,N−1−ai)}Ki=1)({(N−1−bi,N−1−ai)}i=1K)(\{(N-1-b_i,N-1-a_i)\}_{i=1}^K)导致a_i-b_j \ mod N的模式相同,ai−bjmodNai−bjmodNa_i-b_j\mod N这对您有帮助吗?

1
寻找好的诱导子图
您将获得具有个顶点的图形。如果需要,它可能是两方的。有套边(例如不相交)。我对找到尽可能小(甚至更小)的子集的问题感兴趣,以便对于归纳图从每个类至少具有一个边。。G = (V,E)G=(V,Ë)G = (V,E)G S E i i = 1 ,… ,mññn米米mË1个,… ,E米⊆ èË1个,…,Ë米⊆ËE_1,\ldots, E_m \subseteq E小号⊆ V小号⊆VS \subseteq VG小号G小号G_SË一世Ë一世E_ii = 1 ,... ,m一世=1个,…,米i=1,\ldots, m 目前,我知道这个问题很难解决。我也有一个不太完全(大致)的近似值。Ø (ñ--√)Ø(ñ)O(\sqrt{n}) 这似乎是一个自然的问题-是否有人知道任何相关的参考文献或更好的算法?

3
图灵机的概念是否源自自动机?
当我被问到“图灵机是从自动机派生而来的时候,还是反过来呢?”时,我刚刚在讨论图灵机。 我当然不知道答案,但是我很想知道答案。图灵机基本上是下推式自动机的稍微复杂的版本。据此,我认为图灵机是从自动机派生的,但是我没有确切的证明或解释。我可能只是错了……也许它们是孤立开发的。 请!使这个思想从永远的纠缠切线中解脱出来。

2
最短路径公理
假设我们有一个无向加权图(具有非负权重)。让我们假设中的所有最短路径都是唯一的。假设我们有这些路径(未加权边的序列),但是不知道G本身。我们能否产生将这些路径视为多项式时间最短的G?较弱的版本:我们可以在多项式时间内确定是否存在这样的G吗?GG=(V,E,w)G=(V,E,w)G = (V, E, w)GGG(n2)(n2)\binom{n}{2}GGGGGGGGG 显而易见的必要条件如下:对于每对路径,它们的交点也是一条路径。这个条件够吗?

1
被求解方程系统模
我对求解任意k的线性模(模k)的复杂性很感兴趣(并且对质数幂有特别的兴趣),特别是: 问题。 对于未知数为的线性方程的给定系统,是否存在任何解决方案?mmmnnnkkk 在他们的论文的摘要中,Mod k L,Buntrock,Damm,Hertrampf和Meinel 类上logspace-MOD类的结构和重要性声称它们“ 通过证明有限环Z上线性代数的所有标准问题来证明其重要性。/ k Z对于这些类是完整的。经过仔细检查,这个故事更加复杂。例如,Buntrock 等。证明(通过在Kaveh发现的较早且可自由访问的草案中进行校对,谢谢!)表明,求解线性方程组的方法反而在互补类coMod k L中,Z/kZZ/kZ\mathbb Z/k\mathbb Zk素数。这个类是不知道等于国防部ķ 大号的ķ复合,但从来没有介意-我很担心的是,他们不作任何言论是否求解线性方程组MOD ķ甚至包含在coMod k L中表示k个合成! 问题:是否 对所有正k都包含在coMod k L中的 以k为模的线性方程组的求解? 如果您可以对以质数p的高次幂q为模的方程组进行求解,则也可以对p为模进行求解。因此求解模q的方程组是coMod p L -hard。如果你能证明这个问题是在国防部q大号,你最终会呈现国防部ķ大号 = COMOD ķ大号所有ķ。这可能很难证明。但是它在 coMod k L中吗?

2
最短路径的数据结构
令为具有个顶点和边的未加权无向图。是否可以预处理并生成大小为的数据结构,以便它可以在时间O(n)内回答“与之间的距离”形式的查询?GGGnnnmmmGGGm⋅polylog(n)m⋅polylog(n)m \cdot \mathrm{polylog}(n)uuuvvv 这个问题似乎太基本了,无法解决。

5
在哪里可以找到CS理论中教师职位的职位空缺?
在CS理论中找到教师职位的最佳资源是什么?是否有一个特别全面的网站或邮件列表?我目前的印象是,人们必须使用各种资源来获得一份全面的,全球性的工作清单。是这样吗 这个问题与如何找到工作有关,尽管我在这里问的问题是,您如何找到工作?

1
合并易碎对象列表
背景:徐超不久前发布了以下问题:“ 是否存在不减少到分类网络的已知比较分类算法,使得每个元素被比较次?O(logn)O(log⁡ñ)O(\log n) ”。看来我们对这个问题有些困惑;我曾在2009年与Valentin Polishchuk讨论过同样的问题,但我们一无所获。 为了获得一些新的想法,我试图提出一个最简单的问题,该问题具有相似的风格并且并非完全无关紧要。因此,下面的问题。 问题:将为您提供两个排序列表,每个列表包含元素。您可以合并列表,以便每个元素仅比较次吗?ññnO (1 )Ø(1个)O(1) 自然,输出应为包含所有元素的排序列表。2 n2ñ2n [事实证明这很简单,答案是“否”。] 问题2:为您提供两个排序列表,每个列表包含元素。如果允许丢弃一小部分元素,是否可以合并列表,以便每个元素仅被比较次?ññnO (1 )Ø(1个)O(1) 更精确地,输出应该是包含排序列表元素,和一个“垃圾箱”包含元素。值可以小到多少?使是微不足道的。像这样的事情应该可以直接实现。但是你能得到吗?T (n )T (n )T (n )= n T (n )= n / 100 T (n )= o (n )2 n − T(n )2ñ-Ť(ñ)2n-T(n)Ť(n )Ť(ñ)T(n)Ť(n )Ť(ñ)T(n)Ť(n )= nŤ(ñ)=ñT(n) = nŤ(n )= n / 100Ť(ñ)=ñ/100T(n) = …

4
量化金融中的计算复杂性
预测股市很难!TCS可以使这种观点更加正式吗? 最近,我开始对金融有所思考,想知道TCS的知识如何提供帮助。对冲基金和投资公司似乎一直在使用算法交易,机器学习和人工智能,但是TCS的结果似乎很少。特别是,我只知道两篇论文: Sanjeev Arora,Boaz Barak,Markus Brunnermeier和Rong Ge,金融产品中的计算复杂性和信息不对称,2009年。 Philip Z. Maymin,只有当P = NP时,市场才有效,2011年。 第一篇论文表明,对于有计算边界的代理,导数可以放大信息不对称的成本(而不是减少信息不对称的预期目标)。第二篇论文通过证明市场效率可用于解决NP难题,挑战了人们对有效市场的普遍观念。 是否有有关思想的书籍/调查报告或开创性论文?特别是与难于预测或近似市场或在此类市场中进行最佳(或接近最佳)交易的困难有关的事情吗? 一个稍微有点元的问题:为什么似乎没有关于此的论文?是否没有兴趣,还是所有感兴趣的方都成为隐藏在不发布协议背后的量化指标? 相关问题 社会科学中的算法镜头 金融经济学中投资组合理论的复杂性分类是什么?

2
最小点积查询的数据结构
考虑配备了标准点积和其中向量的:v_1,v_2,\ ldots,v_m。我们要构建一个数据结构,以允许以下格式的查询:给定x \ in \ mathbb {R} ^ n输出\ min_i \ langle x,v_i \ rangle。是否有可能超越平凡的O(nm)查询时间?例如,如果n = 2,则立即获得O(\ log ^ 2 m)。RnRn\mathbb{R}^n⟨⋅,⋅⟩⟨⋅,⋅⟩\langle \cdot, \cdot \ranglemmmv1,v2,…,vmv1,v2,…,vmv_1, v_2, \ldots, v_mx∈Rnx∈Rnx \in \mathbb{R}^nmini⟨x,vi⟩mini⟨x,vi⟩\min_i \langle x, v_i \rangleO(nm)O(nm)O(nm)n=2n=2n = 2O(log2m)O(log2⁡m)O(\log^2 m) 我唯一能想到的是以下内容。Johnson-Lindenstrauss引理的直接结果是,对于每个ε>0ε>0\varepsilon > 0和\ mathbb {R} ^ n上的\ mathcal {D}分布,都有一个线性映射f \ colon \ mathbb {R} …

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.