English
Related papers

Related papers: On Search Complexity of Discrete Logarithm

200 papers

Generalized Discrete Logarithm Problem (GDLP) is an extension of the Discrete Logarithm Problem where the goal is to find $x\in\mathbb{Z}_s$ such $g^x\mod s=y$ for a given $g,y\in\mathbb{Z}_s$. Generalized discrete logarithm is similar but…

Computational Complexity · Computer Science 2022-12-27 Cem M Unsal , Rasit Onur Topaloglu

P vs NP problem is the most important unresolved problem in the field of computational complexity. Its impact has penetrated into all aspects of algorithm design, especially in the field of cryptography. The security of cryptographic…

Computational Complexity · Computer Science 2026-05-01 Gao Ming

We consider the problem of finding a Hamiltonian path with precedence constraints in the form of a partial order on the vertex set. This problem is known as Partially Ordered Hamiltonian Path Problem (POHPP). Here, we study the complexity…

Discrete Mathematics · Computer Science 2025-03-06 Jesse Beisegel , Katharina Klost , Kristin Knorr , Fabienne Ratajczak , Robert Scheffler

The purpose of this article is to examine and limit the conditions in which the P complexity class could be equivalent to the NP complexity class. Proof is provided by demonstrating that as the number of clauses in a NP-complete problem…

Computational Complexity · Computer Science 2008-09-07 Jerrald Meek

This paper studies the complexity of problems in PPAD $\cap$ PLS that have unique solutions. Three well-known examples of such problems are the problem of finding a fixpoint of a contraction map, finding the unique sink of a Unique Sink…

Computational Complexity · Computer Science 2018-11-12 John Fearnley , Spencer Gordon , Ruta Mehta , Rahul Savani

We investigate the computational complexity of mining guarded clauses from clausal datasets through the framework of inductive logic programming (ILP). We show that learning guarded clauses is NP-complete and thus one step below the…

Computational Complexity · Computer Science 2021-10-08 Andrei Draghici , Georg Gottlob , Matthias Lanzinger

A problem $\mathcal{P}$ is considered downward self-reducible, if there exists an efficient algorithm for $\mathcal{P}$ that is allowed to make queries to only strictly smaller instances of $\mathcal{P}$. Downward self-reducibility has been…

Computational Complexity · Computer Science 2025-07-28 Karthik Gajulapalli , Surendra Ghentiyala , Zeyong Li , Sidhant Saraogi

For $q$ a prime power, the discrete logarithm problem (DLP) in $\mathbb{F}_{q}$ consists in finding, for any $g \in \mathbb{F}_{q}^{\times}$ and $h \in \langle g \rangle$, an integer $x$ such that $g^x = h$. We present an algorithm for…

Number Theory · Mathematics 2020-08-25 Robert Granger , Thorsten Kleinjung , Jens Zumbrägel

Parameterized complexity theory has enabled a refined classification of the difficulty of NP-hard optimization problems on graphs with respect to key structural properties, and so to a better understanding of their true difficulties. More…

Data Structures and Algorithms · Computer Science 2017-10-19 David Coudert , Guillaume Ducoffe , Alexandru Popa

All versions of this paper contain errors. Therefore, the existence of an oracle relative to which (i) there exist complete disjoint coNP-pairs and (ii) there exist no complete total polynomial search problems must be considered as an open…

Computational Complexity · Computer Science 2019-11-21 Titus Dose

A language is said to be in catalytic logspace if we can test membership using a deterministic logspace machine that has an additional read/write tape filled with arbitrary data whose contents have to be restored to their original value at…

Computational Complexity · Computer Science 2026-02-09 V. Arvind , Srijan Chakraborty , Samir Datta

A fundamental pursuit in complexity theory concerns reducing worst-case problems to average-case problems. There exist complexity classes such as PSPACE that admit worst-case to average-case reductions. However, for many other classes such…

Quantum Physics · Physics 2020-09-02 Nai-Hui Chia , Sean Hallgren , Fang Song

It is an open question whether the search and decision versions of promise CSPs are equivalent. Most known algorithms for PCSPs solve only their \emph{decision} variant, and it is unknown whether they can be adapted to solve \emph{search}…

Computational Complexity · Computer Science 2026-05-26 Alberto Larrauri

The pigeonhole principle states that if $n$ items are contained in $m$ boxes, then at least one box has no more than $n / m$ items. It is utilized to solve many data management problems, especially for thresholded similarity searches.…

Databases · Computer Science 2020-02-14 Jianbin Qin , Chuan Xiao

We describe a novel type of weak cryptographic private key that can exist in any discrete logarithm based public-key cryptosystem set in a group of prime order $p$ where $p-1$ has small divisors. Unlike the weak private keys based on…

Cryptography and Security · Computer Science 2020-11-26 Michael John Jacobson, , Prabhat Kushwaha

We show that the Learning with Errors (LWE) problem is classically at least as hard as standard worst-case lattice problems, even with polynomial modulus. Previously this was only known under quantum reductions. Our techniques capture the…

Computational Complexity · Computer Science 2013-06-04 Zvika Brakerski , Adeline Langlois , Chris Peikert , Oded Regev , Damien Stehlé

Our main result is a reduction from worst-case lattice problems such as GapSVP and SIVP to a certain learning problem. This learning problem is a natural extension of the `learning from parity with error' problem to higher moduli. It can…

Cryptography and Security · Computer Science 2024-01-09 Oded Regev

Consider the following two fundamental open problems in complexity theory: (a) Does a hard-on-average language in NP imply the existence of one-way functions?, or (b) Does a hard-on-average language in NP imply a hard-on-average problem in…

Computational Complexity · Computer Science 2020-04-20 Rafael Pass , Muthuramakrishnan Venkitasubramaniam

The Pigeonhole Principle (PHP) has been heavily studied in automated reasoning, both theoretically and in practice. Most solvers have exponential runtime and proof length, while some specialized techniques achieve polynomial runtime and…

Logic in Computer Science · Computer Science 2022-07-26 Isaac Grosof , Naifeng Zhang , Marijn J. H. Heule

In all well-studied $\mathsf{TFNP}$ subclasses (e.g. $\mathsf{PPA}, \mathsf{PPP}$ etc.), the canonical complete problem takes as input a polynomial-size circuit $C: \{ 0, 1\}^n \rightarrow \{ 0, 1\}^m$ whose input-output behavior implicitly…

Computational Complexity · Computer Science 2025-12-29 Surendra Ghentiyala , Zeyong Li