首页/论文/2406.06217

arXiv 2406.062172024-06-10cs.CC

代数复杂性理论中的完备性类

Completeness classes in algebraic complexity theory

Peter Bürgisser

备注：: 49 pages, 4 figures. To appear in "Foundations of Computation and Machine Learning: The Work of Leslie Valiant'', Ed. Rocco Servedio, Turing Award series, ACM

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

AI总结：

本文综述了Valiant 1979年会议论文对代数复杂性理论的深远影响，重点介绍其完备性类思想如何塑造该领域发展。

摘要：

本综述旨在阐述莱斯·瓦利安特1979年那篇同名简短会议论文对代数复杂性发展的巨大影响。

英文摘要：

The purpose of this overview is to explain the enormous impact of Les Valiant's eponymous short conference contribution from 1979 on the development of algebraic complexity.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

参数化空间类的完备性结果

Completeness Results for Parameterized Space Classes

一旦证明问题位于FPT中或对于W层次结构或类似参数化层次结构中的类是完整的，则该问题的参数化复杂性被认为是“已解决”的。然而，一些自然参数化的问题，抵制这样的分类。至少在某些情况下，原因是最近获得了参数化空间复杂度的上界和下界，这排除了参数化时间类的完整性结果。在本文中，我们在这方面取得了进展，证明了结合生成性问题和最长公共子序列问题是完全的参数化空间类。这些类定义在不同形式的有界非决定论和同时的时间-空间界限。作为一种技术工具，我们引入了一个“联盟操作”，经典的复杂性类和W-类之间的问题完成转换。

2013-08-13cs.CC

Algebraic Geometry的复杂性类与完备性

Complexity Classes and Completeness in Algebraic Geometry

研究了射影簇序列的计算复杂性。我们定义类似的复杂性类P和NP这些和证明NP-完备性的序列称为通用电路结果。这是第一个家庭的紧空间被证明是NP-完全的几何设置。

2016-09-08cs.CCmath.AG

参数化Valiant类

Parameterized Valiant's Classes

我们定义了一个参数化的代数复杂性类的理论，类似于参数化的布尔计数类。我们定义类VFPT和VW[t]，它们反映布尔计数类#FPT和#W[t]，并定义适当的约简和完备性概念。我们的主要贡献是参数化团族的VW[1]-完全性证明。这个证明比布尔世界中的复杂得多。它需要一些新的概念，如有界指数和的合成定理和布尔算术公式。此外，我们还研究了两个多项式链接到永久的参数化的复杂性有很大不同。

2019-11-22cs.CC

伴随式译码问题中某些子类的NP完全性

NP-completeness of Certain Sub-classes of the Syndrome Decoding Problem

伴随式译码问题在1978年被证明是NP-完全的，从那时起，许多密码学应用的安全性依赖于解决伴随式译码问题的某些实例的（可证明的）困难性，然而，在大多数情况下，要解决的实例遵循一些特定的约束：目标权重是码的维数和长度的函数。在这些情况下，综合征解码问题仍然是NP完全的吗？这就是本文要回答的问题。

2009-12-02cs.CCcs.CR

$\exists\mathbb{R}$-完备性与超行列式的一种去随机化障碍

$\exists\mathbb{R}$-Completeness of Tensor Degeneracy and a Derandomization Barrier for Hyperdeterminants

研究多线性映射的奇异性和超行列式的计算复杂性，证明张量退化在$\exists\mathbb{R}$理论中是完备的，并指出超行列式消失的确定性复杂性与代数复杂性中的去随机化问题相关。

2026-04-18cs.CC

代数复杂性类

Algebraic Complexity Classes

本综述介绍了Leslie Valiant在1979年提出的代数复杂性框架，以及最近获得的一些见解。

2013-12-09cs.CC

更多相关论文收起更多论文

关于VNP-完全性和边界复杂性的注记

A note on VNP-completeness and border complexity

在1979年Valiant介绍了复杂性类VNP的p-可定义的家庭的多项式，他定义了减少的概念被称为p-投影，他证明了永久多项式和哈密尔顿循环多项式是VNP完全下p-投影。2001年，Mulmuley和Sohoni（以及独立的Bürgisser）将边界复杂性的概念引入到多项式的代数复杂性的研究中。在这个代数机器模型中，允许近似，而不是坚持精确计算。这给了VNP拓扑空间的结构。本文研究VNP-完全多项式的集合VNPC。我们发现，补充VNP \ VNPC位于密集的VNP。令人惊讶的是，我们还证明了VNPC在VNP中是稠密的。我们证明了复杂性类VF、VBP和VP的类似陈述。VNP \ VNPC的密度适用于几种不同的约简概念：p-投影、边界p-投影、c-约简和边界c-约简。我们比较了这些减少下的完整性概念的关系，并分离出大多数相应的集合。Bringmann，Ikenmeyer和Zuiddam（JACM 2018）引入了边界缩小概念。我们的论文是第一个结构化的研究边界减少的概念。

2021-12-01cs.CC

多对数时空中的完备性

Completeness in Polylogarithmic Time and Space

复杂性理论可以被看作是对计算和应用之间关系的研究，将前者理解为复杂性类，后者理解为问题。完整性结果显然是这一观点的核心。当前应用程序产生的许多自然算法具有多对数时间（PolylogTime）或空间复杂度（PolylogSpace）。然而，经典的卡普完全问题概念并不能很好地处理这些复杂性类。众所周知，多对数空间在对数空间多1约简下不存在完全问题。在本文中，我们显示了类似的结果，确定性和非确定性的PolylogTime以及其他级别的polylogarithmic时间层次。我们通过遵循不同的策略来实现这一点，该策略基于证明每个类内部存在适当的问题层次。然后，我们开发了另一种概念的完整性的启发一致性的概念，从电路复杂性，并证明了一个（一致）完整的问题的存在下，这个新的概念。由于这一结果，我们得到的完整的问题仍然可以发挥重要作用，在研究之间的相互关系polylogarithmic和其他经典的复杂性类。

2020-09-08cs.CCcs.LO

R_{1-tt} ^{ SN }（NP）区分鲁棒多一性和图灵完备性

R_{1-tt}^{SN}(NP) Distinguishes Robust Many-One and Turing Completeness

复杂性类有多一完备集当且仅当它们有图灵完备集吗？我们证明了存在一个相对化的世界，其中一个相对自然的复杂性类，即NP的向下闭包，\rsnnp，有图灵完备集，但没有多一完备集。事实上，我们表明，在同一个相对化世界中，这个类有2-真值表完备集，但缺乏1-真值表完备集。作为我们的结果的基础的一部分，我们证明了\rsnnp有许多等价形式与有序和并行访问$\np$和$\npinterconp$。

1999-10-01cs.CC

关于 $-演算中代价度量的完备性与元搜索算法

On Completeness of Cost Metrics and Meta-Search Algorithms in $-Calculus

本文受NP完全类启发，为不可判定问题定义U-完全、D-完全和H-完全三个新复杂性类，并证明超图灵模型$-演算能接受任意语言，同时研究其代价度量完备性与元搜索算法。

2023-03-03cs.CCcs.LO

整环上代数回路类的逻辑刻画

Logical Characterization of Algebraic Circuit Classes over Integral Domains

本文给出了Cucker和Meer引入的实数域上代数回路的一种适应性构造，并推广了任意无穷整环上的$\mathrm{AC}_{\mathbb{R}}$和$\mathrm{NC}_{\mathbb{R}}$ -类.我们给出了一个定理的风格Immerman定理表明，这些适应形式主义，决定由电路的恒定深度和多项式的大小是相同的集定义的一个适当的适应一阶逻辑。此外，我们还讨论了Durand，Haak和Vollmer的守护谓词逻辑的推广，并给出了$\mathrm{AC}_{R}$和$\mathrm{NC}_{R}$层次的刻画。这些推广也适用于布尔型$\mathrm{AC}$和$\mathrm{NC}$层次结构。此外，我们引入了一种形式主义，能够比较一些上述的复杂性类与不同的基础积分域。

2023-02-27cs.CC

Lean 中的描述复杂性：通过一阶归约的完备性

Descriptive Complexity in Lean: Completeness by First-Order Reductions

DI ENS, ENS, PSL University, CNRS, Inria（法国高等师范学院、巴黎文理研究大学、法国国家科学研究中心、法国国家信息与自动化研究所）

本文构建 Lean 库，以描述复杂性为基础，通过逻辑刻画和归约形式化计算复杂性，证明 73 个完备性结果及类间关系和无条件下界。

2026-09-17cs.CCcs.LO

内在式的复杂性和完备性

Complexity and Completeness of Immanants

固有子是n × n矩阵的多项式函数，它附加在对称群Sn的不可约特征标上，或等价于大小为n的Young图。内在性包括决定性和永久性作为极端情况。Valiant在他的NP理论的代数模型中证明了积和式的计算是一个完整的问题，即，它是VNP完成。我们证明了，如果固有子被连接到一个图族，其分离度为$Ω(n^δ)$，对于某些$δ>0$，固有子的计算是VNP-完全的。我们将图的分隔定义为单行中包含的最大数量的悬伸框。我们的定理证明了一个猜想Buergisser为各种各样的家庭，特别是我们恢复与新的证明他的VNP-完整性结果的挂钩和矩形。

2003-01-23cs.CCmath.CO

计算数值计算的复杂性类II：代数和半代数集

Counting complexity classes for numeric computations II: algebraic and semialgebraic sets

我们定义计数类#P_R和#P_C在Blum-Shub-Smale设置的计算实数或复数，分别。分别计算R上多项式不等式系统或C上多项式等式系统的解的个数的问题，在这些类中是自然完备的问题。我们调查在何种程度上新的计数类捕捉计算基本拓扑不变量的半代数集（在R）和代数集（在C）的复杂性。证明了半代数集的（修正）欧拉特征线的计算问题是FP_R^{#P_R}-完全的，复代数集的几何次数的计算问题是FP_C^{#P_C}-完全的.在经典图灵模型中，通过取其布尔部分，定义了新的计数复杂性类，并证明了由整数多项式给出的（半）代数集的欧拉特征和几何次数的计算问题在这些类中是完备的.我们补充的图灵模型的结果证明，对于所有的k在N中，FPSPACE-硬度的问题计算的第k个贝蒂数zet的实零点的一个给定的整数多项式。这适用于奇异同调和Borel-Moore同调。

2003-12-02cs.CCmath.AT