決定問題決定問題由輸入集合 X 與 yes-instance 子集合 Y⊆X 指定；decider 必須對每個合法輸入終止並回傳正確布林答案。atlas-decision-problem · canonical_mko決定問題前置節點集合命題函數映射