COMPLEXITY OF THE PROBLEM OF BEING EQUIVALENT TO HORN FORMULAS

被引：2
|
作者：
Kogabaev, N. T. [1 ]
机构：
[1] Sobolev Inst Math, Novosibirsk, Russia
来源：
ALGEBRA AND LOGIC | 2022年 / 60卷 / 06期
关键词：
Horn formula; m-reducibility; Sigma(0)(1) set; REDUCTION METHOD;
D O I：
10.1007/s10469-022-09665-z
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
We look at the complexity of the existence problem for a Horn sentence (identity, quasi-identity, for all-sentence, there exists-sentence) equivalent to a given one. It is proved that if the signature contains at least one symbol of arity k >= 2, then each of the problems mentioned is an m-complete Sigma(0 )(1)set.
引用
收藏
页码：380 / 388
页数：9
相关论文
共 50 条
  • [21] On Some Aspects of Mixed Horn Formulas
    Porschen, Stefan
    Schmidt, Tatjana
    Speckenmeyer, Ewald
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2009, PROCEEDINGS, 2009, 5584 : 86 - 100
  • [22] Hydras: Directed hypergraphs and Horn formulas
    Sloan, Robert H.
    Stasi, Despina
    Turan, Gyorgy
    THEORETICAL COMPUTER SCIENCE, 2017, 658 : 417 - 428
  • [23] Simple but Hard Mixed Horn Formulas
    Namasivayam, Gayathri
    Truszczynski, Miroslaw
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2010, PROCEEDINGS, 2010, 6175 : 382 - 387
  • [24] Hydras: Directed Hypergraphs and Horn Formulas
    Sloan, Robert H.
    Stasi, Despina
    Turan, Gyoergy
    GRAPH-THEORETIC CONCEPTS IN COMPUTER SCIENCE, 2012, 7551 : 237 - 248
  • [25] Construction and learnability of canonical Horn formulas
    Marta Arias
    José L. Balcázar
    Machine Learning, 2011, 85 : 273 - 297
  • [26] EQUIVALENT FORMULAS IN THE GREEK EPOS
    JANKO, R
    MNEMOSYNE, 1981, 34 (3-4) : 251 - 264
  • [27] Equivalent sets of formulas for circumscriptions
    Moinard, Y
    Rolland, R
    ECAI 2000: 14TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2000, 54 : 479 - 483
  • [28] An investigation of equivalent square formulas
    C. A. J. Norvill
    P. A. White
    Australasian Physics & Engineering Sciences in Medicine, 2008, 31 : 151 - 153
  • [29] An investigation of equivalent square formulas
    Norvill, C. A. J.
    White, P. A.
    AUSTRALASIAN PHYSICAL & ENGINEERING SCIENCES IN MEDICINE, 2008, 31 (02) : 151 - 153
  • [30] EQUIVALENT FORMS OF MULTISTEP FORMULAS
    SKEEL, RD
    MATHEMATICS OF COMPUTATION, 1979, 33 (148) : 1229 - 1250
12345