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 条
  • [1] State complexity: Recent results and open problems
    Yu, S
    [J]. FUNDAMENTA INFORMATICAE, 2005, 64 (1-4) : 471 - 480
  • [2] Results and open problems in mathematical general relativity
    Choquet-Bruhat, Yvonne
    [J]. MILAN JOURNAL OF MATHEMATICS, 2007, 75 (01) : 273 - 289
  • [3] Results and Open Problems in Mathematical General Relativity
    Yvonne Choquet-Bruhat
    [J]. Milan Journal of Mathematics, 2007, 75 : 273 - 289
  • [4] THE COMPLEXITY AND REDUCIBILITY OF ALGORITHMIC MASS PROBLEMS
    KANOVICH, MI
    [J]. DOKLADY AKADEMII NAUK SSSR, 1983, 272 (02): : 289 - 293
  • [5] Algorithmic complexity of proper labeling problems
    Dehghan, Ali
    Sadeghi, Mohammad-Reza
    Ahadi, Arash
    [J]. THEORETICAL COMPUTER SCIENCE, 2013, 495 : 25 - 36
  • [6] Algorithmic complexity of two defence budget problems
    Taylor, R.
    [J]. 21ST INTERNATIONAL CONGRESS ON MODELLING AND SIMULATION (MODSIM2015), 2015, : 809 - 815
  • [7] ESTIMATES OF COMPLEXITY OF ALGORITHMIC PROBLEMS OF CONSTRUCTIVE ANALYSIS
    SHURYGIN, VA
    [J]. DOKLADY AKADEMII NAUK SSSR, 1977, 233 (06): : 1064 - 1067
  • [8] Algorithmic Research Overview on Graph Coloring Problems
    Song, Jiahuan
    Wang, Xiaofeng
    Hu, Simin
    Jia, Jingwei
    Yan, Dong
    [J]. Computer Engineering and Applications, 2024, 60 (18) : 66 - 77
  • [9] INFORMATION-BASED COMPLEXITY - RECENT RESULTS AND OPEN PROBLEMS
    TRAUB, JF
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 529 : 86 - 88
  • [10] Algorithmic results for ordered median problems
    Kalcsics, J
    Nickel, S
    Puerto, J
    Tamir, A
    [J]. OPERATIONS RESEARCH LETTERS, 2002, 30 (03) : 149 - 158
12345