多対一完全性(m-完全性)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/05/20 07:32 UTC 版)
「多対一還元」の記事における「多対一完全性(m-完全性)」の解説
帰納的可算集合 B が存在し、全ての帰納的可算集合 A が B に m-還元可能であるとき、B は多対一完全またはm-完全であると言う。
※この「多対一完全性(m-完全性)」の解説は、「多対一還元」の解説の一部です。
「多対一完全性(m-完全性)」を含む「多対一還元」の記事については、「多対一還元」の概要を参照ください。
- 多対一完全性のページへのリンク