Polynomial-time right-ideal morphisms and congruences
Abstract
We continue with the functional approach to the P-versus-NP problem, begun in [2, 3]. We previously constructed a monoid RMP that is non-regular iff NP is not P. We now construct homomorphic images of RMP with interesting properties. In particular, the homomorphic image MPpoly of RMP is finitely generated and J0-simple, and is non-regular iff NP is not P. The group of units of MPpoly is the famous Richard Thompson group V.
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.