Circuit Evaluation for Finite Semirings

被引：0
|
作者：
Ganardi, Moses [1 ]
Hucke, Danny [1 ]
Koenig, Daniel [1 ]
Lohrey, Markus [1 ]
机构：
[1] Univ Siegen, Siegen, Germany
来源：
34TH SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2017) | 2017年 / 66卷
关键词：
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 条
  • [1] Circuits and Expressions over Finite Semirings
    Ganardi, Moses
    Hucke, Danny
    Koenig, Daniel
    Lohrey, Markus
    [J]. ACM TRANSACTIONS ON COMPUTATION THEORY, 2018, 10 (04)
  • [2] SEMIRINGS OF FUNCTIONS DETERMINE FINITE TO TOPOLOGIES
    THORNTON, MC
    [J]. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1972, 34 (01) : 307 - &
  • [3] The Total Graphs of Finite Commutative Semirings
    David Dolžan
    Polona Oblak
    [J]. Results in Mathematics, 2017, 72 : 193 - 204
  • [4] SEMIRINGS OF FUNCTIONS DETERMINE FINITE TO TOPOLOGIES
    THORNTON, MC
    [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1971, 18 (07): : 1112 - &
  • [5] The Total Graphs of Finite Commutative Semirings
    Dolzan, David
    Oblak, Polona
    [J]. RESULTS IN MATHEMATICS, 2017, 72 (1-2) : 193 - 204
  • [6] Finite simple additively idempotent semirings
    Kendziorra, Andreas
    Zumbraegel, Jens
    [J]. JOURNAL OF ALGEBRA, 2013, 388 : 43 - 64
  • [7] On finite congruence-simple semirings
    Monico, C
    [J]. JOURNAL OF ALGEBRA, 2004, 271 (02) : 846 - 854
  • [8] The finite basis problem for endomorphism semirings of finite semilattices with zero
    Dolinka, Igor
    [J]. ALGEBRA UNIVERSALIS, 2009, 61 (3-4) : 441 - 448
  • [9] The finite basis problem for endomorphism semirings of finite semilattices with zero
    Igor Dolinka
    [J]. Algebra universalis, 2009, 61
  • [10] Finite monoids: From word to circuit evaluation
    Beaudry, M
    McKenzie, P
    Peladeau, P
    Therien, D
    [J]. SIAM JOURNAL ON COMPUTING, 1997, 26 (01) : 138 - 152
12345