1-1歸約於（one-one reducible to）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。
基本介紹
- 中文名：1-1歸約於
- 外文名：one-one reducible to
- 所屬學科：計算機科學技術
- 公布時間：2018年
定義,出處,
定義
給定自然數子集A,B，如果存在可計算單射g使對一切x，x∈A若且唯若g(x)∈B，則稱A1-1歸約於B，記為AB。
出處
《計算機科學技術名詞 》第三版
1-1歸約於（one-one reducible to）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。