Questions tagged «cc.complexity-theory»

P与NP以及其他资源受限的计算。

1
与精细结构常数有关的用于QED计算的量子算法
我的问题是有关与精细结构常数有关的QED(量子电动力学)计算的量子算法。这样的计算(如向我解释)达到计算泰勒状系列其中α是精细结构常数(约1/137)和Ç ķ是费曼图的贡献与ķ -loops。 ∑ckαk,∑ckαk,\sum c_k\alpha^k,αα\alphackckc_kkkk 彼得·索尔(Peter Shor)在我的博客中有关量子计算机的讨论中的评论(关于QED和精细结构常数)激发了这个问题。对于某些背景,这里是相关的Wikipedea文章。 众所周知,a)该计算的前几项给出了与实验结果非常吻合的实验结果之间关系的非常准确的估计。b)计算量很大,计算更多的项超出了我们的计算能力。c)在某些时候,计算会爆炸-换句话说,该幂级数的收敛半径为零。 我的问题很简单:这些计算可以在量子计算机上有效地进行吗? 问题1 1):我们能否用量子计算机有效地计算(或近似)系数。ckckc_k 2)(较弱)在这些系数爆炸之前,在方案中计算QED计算给出的估计值是否至少可行? 3)(甚至更弱),只要这些QED计算相关,那么至少计算它们的可行性是否可行。(即,对于系列中的那些术语,它们与物理特性具有很好的近似性。) 类似的问题也适用于QCD计算,以计算质子或中子的性质。(Aram Harrow在我的博客上发表了有关QCD计算的相关评论,Alexander Vlasov的评论也很相关。)我也很高兴了解QCD计算的情况。 跟随彼得·索尔(Peter Shor)的评论: 问题2 因为系数会爆炸,所以量子计算能否比经典方法更准确地给出答案? 换一种说法 量子计算机将允许建模情况并给出 有效地近似于实际物理量的答案。 另一种询问方式: ππ\pi (哦,我希望我是一个信徒:)) 更多背景 Feynman进行QC的动机之一就是希望,量子场论中的计算能够被量子计算机有效地进行。本文在量子场论的计算量子算法方面取得了重要进展:Stephen Jordan,Keith Lee和John Preskill 量子场论量子算法。我不知道Jordan,Lee和Preskill的著作(或随后的一些著作)是否暗示了对我问题的肯定回答(至少形式较弱)。 物理方面的一个相关问题 αck/ck+1>1/5αck/ck+1>1/5\alpha c_k/c_{k+1} > 1/5 这是物理姐妹站点上的两个相关问题。QED和QCD具有无限的计算能力-它们的精确度如何?; 精细的结构常数-真的可以是随机变量吗?

2
黎曼假说变体在TCS中的意义
距今约一千五百多年的黎曼假设在数学中具有深远的意义,现在有条件地证明了数学理论的巨大发展和众多的变体。我最近遇到了一个基于黎曼假设的对TCS中条件结果的引用。因此,我想知道, Tie中的黎曼假设的主要含义是什么? 首先,是最近一篇论文的一个例子,由杜兰德,马哈让,马洛德,德·鲁吉·阿瑟尔和索拉布为VP完成的同态多项式。从论文的介绍: 代数复杂性理论中最重要的开放性问题之一是确定VP和VNP类是否不同。这些类别由[Valiant]首先在[13,12]中定义,是布尔复杂度类别P和NP的代数类似物,并且将它们分开对于将P与NP分开是必不可少的(至少是非均匀的,并假设了广义的黎曼假设,在字段,[3])。CC\mathbb{C}

1
NP
使用real-RAM / BSS模型,我们得到NP R类(其中BSS是对实数进行操作的计算机的Blum-Shub-Smale模型)。我们有NP R完全问题。因此,问题是是否存在NP R类的Berman Hartmanis猜想的类似物?当然,这里提出的问题取决于模型-换句话说,由于NP R的定义使用BSS模型,是否所有NP R-完全问题都使用BSS模型具有相同的结构(这近似于Berman- Hartmanis猜想NP是否超过实数)?[RR_{\mathbb{R}}[RR_{\mathbb{R}}[RR_{\mathbb{R}}[RR_\mathbb{R}[RR_{\mathbb{R}}

1
仅当P!= NP时P中的问题
仅在P!= NP时,才有在多项式时间内可解决的问题,否则在(例如)时间内可解决的问题吗?O (2ñ)Ø(2ñ)O(2^n) 一个简单的例子是:如果P!= NP,计算一个随机n位数字的素数测试,否则,在nxn棋盘的广义象棋的两边各有2n个棋子的情况下,评估一个随机的最坏情况位置。不过,这似乎有点骇人听闻。还有更自然的例子吗?

1
仿射Lambda演算可以解决P中的每个问题吗?
在“类型和编程语言的高级主题”中,在有关子结构类型系统的章节中,提到了“精心设计的”带有递归组合器的仿射Lambda演算,它只能使用具有多项式运行时间的项(它不会键入)由于复杂性,请提供证明)。如果我们还可以解决P中的每个问题,这将非常有趣。我可以尝试使用由我提供的演算来找到P完全问题的解决方案,但我不确定这是否能证明一切。在我看来,这并不是说它可以执行使用P完全问题的解决方案所需的所有缩减(尽管确实可以实现)。 如果不知道仿射Lambda演算能够精确地解决P中的问题,是否有已知的演算可以精确地解决P中的问题?


1
方形网格中的隐藏路径
我偶然发现了David Eppstein提出的一个开放性问题,我对它的复杂性状态很感兴趣。他推测这是NP完全的。 输入:通过Ñ的0和1分的,序列矩阵Ñ 2点 0和1点的nnnnnnn2n2n^2 问题:是否存在穿过相邻矩阵条目的路径,该路径恰好覆盖每个矩阵条目一次,且值匹配给定序列? 有没有人证明这个问题确实很困难?

1
多项式很多证书的NP完全问题?
仅当且仅当满足以下条件时,才将NP中稀疏的语言称为L∈L∈L \in 存在一个多项式使得对于每个输入的大小为,如果则证明的证书的集合验证为多项式大小,即。p:N→Np:N→Np : \mathbb{N} \rightarrow \mathbb{N}x∈Σ∗x∈Σ∗x \in \Sigma^*nnnx∈Lx∈Lx \in LUxUxU_xuuux∈Lx∈Lx \in L|Ux|≤p(n)|Ux|≤p(n)|U_x| \leq p(n) 简而言之,每个输入最多具有多项式数量的证书,可证明将其包含在。xxxLLL 示例:为了说明,请考虑问题:CLIQUECLIQUE\mathbf{CLIQUE} CLIQUE={(G,k)∣G has a clique of size k}CLIQUE={(G,k)∣G has a clique of size k}\mathbf{CLIQUE} = \{\; (G,k) \;\mid\; G \text{ has a clique of size } k \;\} 语言是不稀疏认证,作为输入可以很容易地具有的指数量 -cliques充当这就证明证书。CLIQUECLIQUE\mathbf{CLIQUE} x=(G,k)x=(G,k)x = (G,k)kkkx∈CLIQUEx∈CLIQUEx \in …



1
在NP中检查凸包是否包含单位球?
给定维欧几里得空间中的个点,问题在于确定凸包是否包含以原点为中心的单位球。dnnnddd NP中有这个问题吗? 在co-NP中,作为见证者,可以在凸包外面的球中给出一个点,并使用线性编程验证这一事实。 我在这里的重点不是与平方根有关的计算机精度,尽管这也可能很有趣。 (与/mathpro/141782/ficiently-determine-if-convex-hull-contains-the-unit-ball相关。)

2
完整性树
如果图的生成树的叶子集在宿主图中引起了完整的子图,则将其称为完整性树。给定一个图 和一个整数k,确定G是否包含最多k个叶子的完整性树的复杂性是什么?GGGkkkGGGkkk 提出此问题的原因是,独立树的相应问题 是NP完全的,此处独立树是生成树,因此其叶子的集合是主图中的独立集合。 另一个原因是这个问题 (以及相应的答案)。事实证明,当且仅当G是完整图或一个循环时,G的每个生成树才是完整性树。 GGGGGG

1
,,类
我试图理解这些课程,但总是感到困惑……问题是: 与之间有什么关系,尤其是一个开放的问题吗?#PFNPFNPFNP#P#P\#P 和是什么关系?这个问题开放吗?Ñ P⊕ P⊕P\oplus PñPNPNP 和之间的关系如何?这个问题开放吗?P F N PPHPHPHPFñPPFNPP^{FNP}

1
区间列表之间的单调双射
我有以下问题: 输入:两组间隔和(所有端点都是整数)。 查询:是否有单调双射?T f :S → TSSSTTTf:S→Tf:S→Tf:S \to T 在和上,包含设置顺序的双射是单调的。 Ť ∀ X ⊆ Ý ∈ 小号,˚F (X )⊆ ˚F (Ý )SSSTTT∀X⊆Y∈S, f(X)⊆f(Y)∀X⊆Y∈S, f(X)⊆f(Y)\forall X\subseteq Y \in S, \ f(X) \subseteq f(Y) [我在这里不需要相反的条件。更新:如果需要相反的条件,即,那么它将在PTIME中进行,因为它相当于对相应包含物的同构测试姿势(根据构造其阶次维数为 2),由Möhring在PTIME中定义,定理的可计算可计算类,定理5.10,p。61∀X,Y,X⊆Y⇔f(X)⊆f(Y)∀X,Y,X⊆Y⇔f(X)⊆f(Y)\forall X, Y, X\subseteq Y \Leftrightarrow f(X) \subseteq f(Y) ]。 问题出在:我们可以有效地检查给定的是否为单调双射。 ˚FNPNP\mathsf{NP}fff 是否有针对此问题的多项式时间算法?还是困难?NPNP\mathsf{NP} 这个问题可以更一般地描述为在阶数为 2的两个给定姿态之间存在单调双射 。 通过从这个问题的答案中得到启发,我知道问题是在尺寸不受限制时很难解决。但是,尚不清楚在尺寸受到限制的情况下,缩小是否还会起作用。NPNP\mathsf{NP} …


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.