Complexity Classes and Completeness in Algebraic Geometry

被引：2

作者：

Isik, M. Umut ^{[1
]}

机构：

[1] Univ Calif Irvine, Dept Math, 340 Rowland Hall,Bldg 400, Irvine, CA 92697 USA

来源：

FOUNDATIONS OF COMPUTATIONAL MATHEMATICS | 2019年 / 19卷 / 02期

关键词：

Complexity classes; Completeness; Resultant;

D O I：

10.1007/s10208-018-9383-2

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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

页数：14

共 50 条

[31] Hilbert, Completeness and Geometry
Venturi, Giorgio
RIVISTA ITALIANA DI FILOSOFIA ANALITICA JUNIOR, 2018, 9 (02) : 152 - 180
[32] Completeness of algebraic CPS simulations
Assaf, Ali
Perdrix, Simon
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (88): : 16 - 27
[33] ALGEBRAIC PROOFS OF CONSISTENCY AND COMPLETENESS
GARDINER, PHB
THEORETICAL COMPUTER SCIENCE, 1995, 150 (01) : 161 - 191
[34] MODEL COMPLETENESS IN GEOMETRY
MANDERS, KL
JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (01) : 270 - 270
[35] Complexity, decidability and completeness
Cenzer, Douglas
Remmel, Jeffrey B.
JOURNAL OF SYMBOLIC LOGIC, 2006, 71 (02) : 399 - 424
[36] ALGEBRAIC CHARACTERIZATION OF EQUATIONAL COMPLETENESS
SCOTT, D
BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1953, 59 (01) : 78 - 78
[37] ORTHOGONAL COMPLETENESS AND ALGEBRAIC SYSTEMS
BEIDAR, KI
MIKHALEV, AV
RUSSIAN MATHEMATICAL SURVEYS, 1985, 40 (06) : 51 - 95
[38] HILBERT, COMPLETENESS AND GEOMETRY
Venturi, Giorgio
RIVISTA ITALIANA DI FILOSOFIA ANALITICA JUNIOR, 2011, 2 (02) : 80 - 102
[39] Algebraic Geometry Over Algebraic Structures. IX. Principal Universal Classes and Dis-Limits
E. Y. U. Daniyarova
A. G. Myasnikov
V. N. Remeslennikov
Algebra and Logic, 2019, 57 : 414 - 428
[40] Algebraic Geometry Over Algebraic Structures. IX. Principal Universal Classes and Dis-Limits
Daniyarova, E. Yu.
Myasnikov, A. G.
Remeslennikov, V. N.
ALGEBRA AND LOGIC, 2019, 57 (06) : 414 - 428

← 1 2 3 4 5 →