Balance Problems for Integer Circuits

@article{Dose2018BalancePF,
  title={Balance Problems for Integer Circuits},
  author={Titus Dose},
  journal={Electronic Colloquium on Computational Complexity (ECCC)},
  year={2018},
  volume={25},
  pages={55}
}

• Titus Dose
• Published 2018 in MFCS
• DOI:10.4230/LIPIcs.MFCS.2018.5

We investigate the computational complexity of balance problems for {−, ·}-circuits computing finite sets of natural numbers. These problems naturally build on problems for integer expressions and integer circuits studied by Stockmeyer and Meyer (1973), McKenzie and Wagner (2007), and Glaßer et al. (2010). Our work shows that the balance problem for {−, ·}-circuits is undecidable which is the first natural problem for integer circuits or related constraint satisfaction problems that admits only… CONTINUE READING

Save to Library

Create Alert

Cite

View Paper