# 決定問題

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



## [決定問題](https://ocme.evemisslab.com/zh-Hant/atlas/atlas-decision-problem/)

決定問題由輸入集合 X 與 yes-instance 子集合 Y⊆X 指定；decider 必須對每個合法輸入終止並回傳正確布林答案。

atlas-decision-problem · canonical_mko

[決定問題](https://ocme.evemisslab.com/zh-Hant/mko/mko-decision-problem/)

## 前置節點


- [集合](https://ocme.evemisslab.com/zh-Hant/atlas/atlas-set/)
- [命題](https://ocme.evemisslab.com/zh-Hant/atlas/atlas-proposition/)
- [函數映射](https://ocme.evemisslab.com/zh-Hant/atlas/atlas-function-mapping/)