Circuit Evaluation for Finite Semirings

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.