Algorithmic Complexity of Mathematical Problems: An Overview of Results and Open Problems

被引：0

作者：

Calude, Cristian S. ^{[1
]}

Calude, Elena ^{[2
]}

机构：

[1] Univ Auckland, Dept Comp Sci, Auckland 1, New Zealand

[2] Massey Univ Auckland, Inst Nat & Math Sci, Auckland, New Zealand

来源：

INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING | 2013年 / 9卷 / 3-4期

关键词：

Classical and inductive computations; complexity of Pi(1)-statements and Pi(2)-statements;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

This paper reviews current progress and open problems in algorithmically evaluating the complexity of a large class of mathematical problems/conjectures/statements.

引用

页码：327 / 343

页数：17

共 50 条

[21] Algorithmic and Hardness Results for the Colorful Components Problems
Anna Adamaszek
Alexandru Popa
[J]. Algorithmica, 2015, 73 : 371 - 388
[22] Some open mathematical problems on fullerenes
Bille, Artur
Buchstaber, Victor
Spodarev, Evgeny
[J]. arXiv,
[23] OPEN MATHEMATICAL PROBLEMS COMPUTER COMPETITION
SIEKMANN, JH
[J]. COMPUTING, 1983, 30 (04) : 379 - 380
[24] Recent Progress and Open Problems in Algorithmic Convex Geometry
Vempala, Santosh S.
[J]. IARCS ANNUAL CONFERENCE ON FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE (FSTTCS 2010), 2010, 8 : 42 - 64
[25] Evaluating the Complexity of Mathematical Problems: Part 2
Calude, Cristian S.
Calude, Elena
[J]. COMPLEX SYSTEMS, 2010, 18 (04): : 387 - 401
[26] Supercomputers and the mathematical modeling of high complexity problems
Belotserkovskii, Oleg M.
[J]. PHYSICA SCRIPTA, 2010, T142
[27] Evaluating the Complexity of Mathematical Problems: Part 1
Calude, Cristian S.
Calude, Elena
[J]. COMPLEX SYSTEMS, 2009, 18 (03): : 267 - 285
[28] Quantum Complexity: Some Recent Results, Some Open Problems, Some Thoughts
Lipton, Richard J.
[J]. THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, TAMC 2011, 2011, 6648 : 171 - 171
[29] CONVEXITY AND ALGORITHMIC COMPLEXITY OF THE SOLUTIONS OF POLYNOMIAL PROGRAMMING-PROBLEMS
KHACHIYAN, LG
[J]. ENGINEERING CYBERNETICS, 1982, 20 (06): : 1 - 10
[30] Complexity results for some eigenvector problems
Eiter, T
Gottlob, E
[J]. INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 2000, 76 (01) : 59 - 74

← 1 2 3 4 5 →