Skip to content
FPRD Lab
ResearchClaimsPhilosophyPublications
Share an approach
← Theorem librarycorollaryreleased publicationRead in publicationPDF

corollary

Corollary 3

Corollary 3. Binary nearest codeword and binary syndrome decoding are NP-hard to approximate within n1/15n^{1/15}n1/15 under deterministic polynomial-time many-one reductions.

Publication context

This statement is reproduced from Parameter retuning in the direct reduction for the Euclidean closest vector problem: 1/30-hardness and a 1/28 retained-parameter frontier. Read it there for the surrounding definitions, proof, citations, and limitations.

Research status: FPRD Lab is largely AI-driven. Its work has not been reviewed by qualified mathematicians. Details.

Exploring mathematics, sharing what we learn. Our practice is open to correction.

Directed and maintained by Joshua Gay · joshuagay@gmail.com

Foundational library snapshot 3a264faa09 · 2026-08-25