Complexity Classes and Completeness in Algebraic Geometry

被引：0

作者：

M. Umut Isik

机构：

[1] University of California,Department of Mathematics

[2] Irvine,undefined

来源：

Foundations of Computational Mathematics | 2019年 / 19卷

关键词：

Complexity classes; Completeness; Resultant; 14Q20; 68Q15;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

We study the computational complexity of sequences of projective varieties. We define analogues of the complexity classes P and NP for these and prove the NP-completeness of a sequence called the universal circuit resultant. This is the first family of compact spaces shown to be NP-complete in a geometric setting.

引用

页码：245 / 258

页数：13

共 50 条

[1] Complexity Classes and Completeness in Algebraic Geometry
Isik, M. Umut
[J]. FOUNDATIONS OF COMPUTATIONAL MATHEMATICS, 2019, 19 (02) : 245 - 258
[2] COMPLETENESS FOR NONDETERMINISTIC COMPLEXITY CLASSES
BUHRMAN, H
HOMER, S
TORENVLIET, L
[J]. MATHEMATICAL SYSTEMS THEORY, 1991, 24 (03): : 179 - 200
[3] Completeness in partial differential algebraic geometry
Freitag, James
[J]. JOURNAL OF ALGEBRA, 2014, 420 : 350 - 372
[4] STRUCTURE OF COMPLEXITY CLASSES - SEPARATIONS, COLLAPSES, AND COMPLETENESS
HEMACHANDRA, LA
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 324 : 59 - 72
[5] On the Space and Circuit Complexity of Parameterized Problems: Classes and Completeness
Michael Elberfeld
Christoph Stockhusen
Till Tantau
[J]. Algorithmica, 2015, 71 : 661 - 701
[6] On the Space and Circuit Complexity of Parameterized Problems: Classes and Completeness
Elberfeld, Michael
Stockhusen, Christoph
Tantau, Till
[J]. ALGORITHMICA, 2015, 71 (03) : 661 - 701
[7] On the Complexity of the Differential-Algebraic Description of Analytic Complexity Classes
V. K. Beloshapka
[J]. Mathematical Notes, 2019, 105 : 309 - 315
[8] On the Complexity of the Differential-Algebraic Description of Analytic Complexity Classes
Beloshapka, V. K.
[J]. MATHEMATICAL NOTES, 2019, 105 (3-4) : 309 - 315
[9] QUATERNIONIC GRASSMANNIANS AND BOREL CLASSES IN ALGEBRAIC GEOMETRY
Panin, I
Walter, C.
[J]. ST PETERSBURG MATHEMATICAL JOURNAL, 2022, 33 (01) : 97 - 140
[10] Characterizing Valiant's algebraic complexity classes
Malod, Guillaume
Portier, Natacha
[J]. JOURNAL OF COMPLEXITY, 2008, 24 (01) : 16 - 38

← 1 2 3 4 5 →