多対一同値と1-同値
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/05/20 07:32 UTC 版)
A ≤ m B a n d B ≤ m A {\displaystyle A\leq _{m}B\,\mathrm {and} \,B\leq _{m}A} であるとき、 A {\displaystyle A} は B {\displaystyle B} に多対一同値 または m-同値 であると言い、次のように書く。 A ≡ m B . {\displaystyle A\equiv _{m}B.} A ≤ 1 B a n d B ≤ 1 A {\displaystyle A\leq _{1}B\,\mathrm {and} \,B\leq _{1}A} であるとき、 A {\displaystyle A} は B {\displaystyle B} に1-同値 であると言い、次のように書く。 A ≡ 1 B . {\displaystyle A\equiv _{1}B.}
※この「多対一同値と1-同値」の解説は、「多対一還元」の解説の一部です。
「多対一同値と1-同値」を含む「多対一還元」の記事については、「多対一還元」の概要を参照ください。
ウィキペディア小見出し辞書の「多対一同値と1-同値」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- 多対一同値と1-同値のページへのリンク
