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
关键词
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 条
  • [41] Algorithmic and complexity aspects of problems related to total Roman domination for graphs
    Abolfazl Poureidi
    Nader Jafari Rad
    [J]. Journal of Combinatorial Optimization, 2020, 39 : 747 - 763
  • [42] Using Automaton Model to Determine the Complexity of Algorithmic Problems for Virtual Laboratories
    Efimchik, E. A.
    Chezhin, M. S.
    Lyamin, A. V.
    Rusak, A. V.
    [J]. 2015 9TH INTERNATIONAL CONFERENCE ON APPLICATION OF INFORMATION AND COMMUNICATION TECHNOLOGIES (AICT), 2015, : 541 - 545
  • [43] ALGORITHMIC COMPLEXITY - 3 NP-HARD PROBLEMS IN COMPUTATIONAL STATISTICS
    WELCH, WJ
    [J]. JOURNAL OF STATISTICAL COMPUTATION AND SIMULATION, 1982, 15 (01) : 17 - 25
  • [44] Algorithmic and complexity aspects of problems related to total Roman domination for graphs
    Poureidi, Abolfazl
    Rad, Nader Jafari
    [J]. JOURNAL OF COMBINATORIAL OPTIMIZATION, 2020, 39 (03) : 747 - 763
  • [45] Algorithmic problems in right-angled Artin groups: Complexity and applications
    Flores, Ramon
    Kahrobaei, Delaram
    Koberda, Thomas
    [J]. JOURNAL OF ALGEBRA, 2019, 519 : 111 - 129
  • [46] Nonlinear singular elliptic problems:: Recent results and open problems
    Hernández, J
    Mancebo, FJ
    Vega, JM
    [J]. NONLINEAR ELLIPTIC AND PARABOLIC PROBLEMS: A SPECIAL TRIBUTE TO THE WORK OF HERBERT AMANN, MICHEL CHIPOT AND JOACHIM ESCHER, 2005, 64 : 227 - 242
  • [47] Algorithmic and complexity aspects of problems related to total restrained domination for graphs
    Yang, Yu
    Wang, Cai-Xia
    Xu, Shou-Jun
    [J]. JOURNAL OF COMBINATORIAL OPTIMIZATION, 2023, 46 (05)
  • [48] Acoustics of Unconsolidated "Model" Granular Media: An Overview of Recent Results and Several Open Problems
    Tournat, V.
    Gusev, V. E.
    [J]. ACTA ACUSTICA UNITED WITH ACUSTICA, 2010, 96 (02) : 208 - 224
  • [49] Confinement in QCD: Results and open problems
    Di Giacomo, A
    [J]. ACTA PHYSICA POLONICA B, 2005, 36 (12): : 3723 - 3749
  • [50] Complexity Results for Linear XSAT-Problems
    Porschen, Stefan
    Schmidt, Tatjana
    Speckenmeyer, Ewald
    [J]. THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2010, PROCEEDINGS, 2010, 6175 : 251 - 263