2014/04/01 by Benedek Nagy, Sándor Vályi
Computer Science · #cs.DS
paper · pdf · doi:10.4204/eptcs.143.7
published as EPTCS 143, 2014, pp. 76-86 · In Proceedings DCM 2012, arXiv:1403.7579
arxiv created 2014/04/01 · arxiv updated 2014/04/02
Interval-valued computing is a relatively new computing paradigm. It uses finitely many interval segments over the unit interval in a computation as data structure. The satisfiability of Quantified Boolean formulae and other hard problems, like integer factorization, can be solved in an effective way by its massive parallelism. The discrete logarithm problem plays an important role in practice, there are cryptographical methods based on its computational hardness. In this paper we show that the discrete logarithm problem is computable by an interval-valued computing in a polynomial number of steps (within this paradigm).