We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Computational Complexity

Title: A Deterministic Algorithm for the Discrete Logarithm Problem in a Semigroup

Abstract: The discrete logarithm problem in a finite group is the basis for many protocols in cryptography. The best general algorithms which solve this problem have time complexity of $\mathcal{O}(\sqrt{N})$, where $N$ is the order of the group. These algorithms require the inversion of some some group elements or rely on finding collisions, and thus do not adapt to work in the general semigroup setting. For semigroups, probabilistic algorithms with similar time complexity have been proposed. The main result of this paper is a deterministic algorithm for solving the discrete logarithm problem in a semigroup. Specifically, let $x$ be an element in a semigroup having finite order $N_x$. If $y\in \langle x \rangle $ is given the paper provides an algorithm having time complexity $O(\sqrt{N_x}\log N_x)$ to find all natural numbers m with $x^m=y$. The paper also give an analysis of the success rates of the existing probabilistic algorithms, which were so far only conjectured or stated loosely.
Subjects: Computational Complexity (cs.CC); Group Theory (math.GR)
Cite as: arXiv:2101.11500 [cs.CC]
  (or arXiv:2101.11500v3 [cs.CC] for this version)

Submission history

From: Simran Tinani [view email]
[v1] Wed, 27 Jan 2021 15:52:54 GMT (488kb)
[v2] Fri, 4 Jun 2021 15:39:57 GMT (20kb)
[v3] Wed, 9 Jun 2021 10:30:04 GMT (509kb)

Link back to: arXiv, form interface, contact.