# 多對一歸約

[目錄呈現與來源綁定資料](https://ocme.evemisslab.com/data/i18n/catalogue.en.json)



## [多對一歸約](https://ocme.evemisslab.com/zh-Hant/atlas/atlas-many-one-reduction/)

A≤mB表示存在total computable f，使每個x皆滿足x∈A恰當f(x)∈B。

atlas-many-one-reduction · canonical_mko

[多對一歸約](https://ocme.evemisslab.com/zh-Hant/mko/mko-many-one-reduction/)

## 前置節點


- [決定問題](https://ocme.evemisslab.com/zh-Hant/atlas/atlas-decision-problem/)
- [函數映射](https://ocme.evemisslab.com/zh-Hant/atlas/atlas-function-mapping/)
- [函數合成](https://ocme.evemisslab.com/zh-Hant/atlas/atlas-composition/)
- [Turing機判定模型](https://ocme.evemisslab.com/zh-Hant/atlas/atlas-turing-machine-decision-model/)