「一方向性関数」の版間の差分

削除された内容 追加された内容
22行目:
==一方向性関数族==
''I'' を &Sigma;<sup>*</sup> の部分集合とし、
''D'' = {''D''<sub>''n''</sub>}<sub>''n'' &isin; ''I''</sub>、''R'' = {''R''<sub>''n''</sub>}<sub>''n'' &isin; ''I''</sub> を &Sigma;<sup>*</sup> の部分集合の
族とする。
''G''<sub>1</sub>、''G''<sub>2</sub> を多項式時間アルゴリズムとし、
''F'' = {''f''<sub>''k''</sub>: ''D''<sub>''k''</sub> &rarr; ''R''<sub>''k''</sub>} を関数の族とする。