Circuit Evaluation for Finite Semirings

被引:0
|
作者
Ganardi, Moses [1 ]
Hucke, Danny [1 ]
Koenig, Daniel [1 ]
Lohrey, Markus [1 ]
机构
[1] Univ Siegen, Siegen, Germany
关键词
circuit value problem; finite semirings; circuit complexity; PARALLEL ALGORITHM; MEMBERSHIP PROBLEMS; COMPLEXITY; SETS;
D O I
10.4230/LIPIcs.STACS.2017.35
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
The circuit evaluation problem for finite semirings is considered, where semirings are not assumed to have an additive or multiplicative identity. The following dichotomy is shown: If a finite semiring R (i) has a solvable multiplicative semigroup and (ii) does not contain a subsemiring with an additive identity 0 and a multiplicative identity 1 does not satisfy 0, then its circuit evaluation problem is in DET subset of NC2. In all other cases, the circuit evaluation problem is P-complete.
引用
收藏
页数:14
相关论文
共 50 条
  • [21] *-μ-semirings and *-λ-semirings
    Feng, F
    Zhao, XZ
    Jun, YB
    [J]. THEORETICAL COMPUTER SCIENCE, 2005, 347 (1-2) : 423 - 431
  • [22] Public key cryptosystem based on endomorphism semirings of a finite chain
    Durcheva, Mariana I.
    Trendafilov, Ivan D.
    Rachev, Martin
    [J]. APPLICATIONS OF MATHEMATICS IN ENGINEERING AND ECONOMICS (AMEE'14), 2014, 1631 : 330 - 335
  • [23] Factorization in additive monoids of evaluation polynomial semirings
    Ajran, Khalid
    Bringas, Juliet
    Li, Bangzheng
    Singer, Easton
    Tirador, Marcos
    [J]. COMMUNICATIONS IN ALGEBRA, 2023, 51 (10) : 4347 - 4362
  • [24] Cycle-Free Finite Automata in Partial Iterative Semirings
    Bloom, Stephen L.
    Esik, Zoltan
    Kuich, Werner
    [J]. ALGEBRAIC INFORMATICS, 2009, 5725 : 1 - +
  • [25] Two-Way Automata over Locally Finite Semirings
    Dando, Louis-Marie
    Lombardy, Sylvain
    [J]. DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2018, 2018, 10952 : 62 - 74
  • [26] On simpleness of semirings and complete semirings
    Katsov, Yefim
    Tran Giang Nam
    Zumbraegel, Jens
    [J]. JOURNAL OF ALGEBRA AND ITS APPLICATIONS, 2014, 13 (06)
  • [27] NEAR SEMIRINGS AND SEMIRINGS WITH INVOLUTION
    Chajda, Ivan
    Laenger, Helmut
    [J]. MISKOLC MATHEMATICAL NOTES, 2017, 17 (02) : 801 - 810
  • [28] Locally closed semirings and iteration semirings
    Zhao, XZ
    [J]. MONATSHEFTE FUR MATHEMATIK, 2005, 144 (02): : 157 - 167
  • [29] Clifford semirings and generalized Clifford semirings
    Sen, MK
    Maity, SK
    Shum, KP
    [J]. TAIWANESE JOURNAL OF MATHEMATICS, 2005, 9 (03): : 433 - 444
  • [30] Fuzzy Structure Space of Semirings and Γ-Semirings
    Goswami, Sarbani Mukherjee
    Mukhopadhyay, Arup
    Sardar, Sujit Kumar
    [J]. SOUTHEAST ASIAN BULLETIN OF MATHEMATICS, 2019, 43 (03) : 333 - 344