# Many-one reduction

This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.

[Catalogue presentation and source-binding data](https://ocme.evemisslab.com/data/i18n/catalogue.en.json)



## [Many-one reduction](https://ocme.evemisslab.com/en/atlas/atlas-many-one-reduction/)

A≤mB means a total computable map f satisfies x∈A exactly when f(x)∈B for every x.

atlas-many-one-reduction · canonical_mko

[Many-one reduction](https://ocme.evemisslab.com/en/mko/mko-many-one-reduction/)

## Prerequisite nodes


- [Decision problem](https://ocme.evemisslab.com/en/atlas/atlas-decision-problem/)
- [Function mapping](https://ocme.evemisslab.com/en/atlas/atlas-function-mapping/)
- [Function composition](https://ocme.evemisslab.com/en/atlas/atlas-composition/)
- [Turing-machine decision model](https://ocme.evemisslab.com/en/atlas/atlas-turing-machine-decision-model/)