[論文レビュー] Enforcing and Defying Associativity, Commutativity, Totality, and Strong Noninvertibility for One-Way Functions in Complexity Theory

Lane A. Hemaspaandra, Joerg Rothe+1 more|ArXiv.org|Mar 21, 2005

Computability, Logic, AI Algorithms参考文献 25被引用数 4

ひとこと要約

この論文は、強非逆性、全性、可換性、結合性という4つの代数的性質の任意の組み合わせについて、それらを有する単方向関数の存在が、P ≠ NP の複雑さクラスの分離に正確に依存することを確立している。81通りの組み合わせ（それぞれが必須、禁止、または無視される）すべてについて、このような単方向関数が存在するための必要十分条件が P ≠ NP であることを証明している。

ABSTRACT

Rabi and Sherman [RS97,RS93] proved that the hardness of factoring is a sufficient condition for there to exist one-way functions (i.e., p-time computable, honest, p-time noninvertible functions; this paper is in the worst-case model, not the average-case model) that are total, commutative, and associative but not strongly noninvertible. In this paper we improve the sufficient condition to ``P does not equal NP.'' More generally, in this paper we completely characterize which types of one-way functions stand or fall together with (plain) one-way functions--equivalently, stand or fall together with P not equaling NP. We look at the four attributes used in Rabi and Sherman's seminal work on algebraic properties of one-way functions (see [RS97,RS93]) and subsequent papers--strongness (of noninvertibility), totality, commutativity, and associativity--and for each attribute, we allow it to be required to hold, required to fail, or ``don't care.'' In this categorization there are 3^4 = 81 potential types of one-way functions. We prove that each of these 81 feature-laden types stand or fall together with the existence of (plain) one-way functions.

研究の動機と目的

• 特定の代数的性質を有する単方向関数が存在するための複雑さ理論的条件を同定すること。
• P ≠ NP が、非結合的または非可換な性質を有する単方向関数の存在を保証するのに十分であるかどうかという未解決の問題を解明すること。
• 因数分解の困難性に依存する先行研究（RabiとShermanの研究）を拡張し、P ≠ NP が十分条件であることを示すこと。
• 強非逆性、全性、可換性、結合性という4つの性質の81通りの可能な組み合わせを、P ≠ NP との関係において完全に特徴付けること。

提案手法

• 著者たちは、単方向関数について、4つの性質（Y = 必須、N = 禁止、* = 無視）の81通りの組み合わせを分析している。
• 還元と構成を用いて、各組み合わせについて、そのような単方向関数の存在が P ≠ NP と同値であることを示している。
• 主な構成手法として、適切に設計された二項演算を用いて全単方向関数を非可換で結合的でない強非逆性のない単方向関数に変換する方法が含まれる。
• 複雑さ理論の既知の結果（単方向関数の存在と P ≠ NP の同値性）を活用し、還元に関する閉包性を応用している。
• 先行研究における誤った構成（例：RabiとShermanが全性を追加するための提案した方法）を分析・反証しており、それが UP = NP を意味する可能性があることを示している。
• 含意と還元における論理的閉包性を用いて、P ≠ NP が成り立てば、81種類の単方向関数すべてが存在することを示している。

実験結果

リサーチクエスチョン

• RQ1 P ≠ NP は、全性、可換性、結合性を有するが強非逆性を有さない単方向関数の存在にとって十分な条件か？
• RQ2 非全性、非可換性、非結合性を有するが依然として強非逆性を有さない単方向関数は存在可能か？
• RQ3 4つの代数的性質の特定の組み合わせを有する単方向関数の存在が、P ≠ NP にのみ依存するか？
• RQ4 因数分解の困難性が、特定の種類の単方向関数の存在を保証する十分条件として置き換えられるか？P ≠ NP がより強力で一般的な条件であることを示すか？
• RQ5 強非逆性を必須または禁止とすることの、P ≠ NP の下での単方向関数の存在に与える影響は何か？

主な発見

• 強非逆性、全性、可換性、結合性という4つの性質の81通りのすべての組み合わせについて、そのような単方向関数の存在は P ≠ NP と同値である。
• この論文は、RabiとShermanの結果を改善し、因数分解の困難性ではなく P ≠ NP が、非強非逆性で全性・可換性・結合性を有する単方向関数の存在にとって十分であることを示している。
• P ≠ NP の下で、全単方向関数を非可換で結合的でない強非逆性のない単方向関数に変換する構成が提供されており、(N,Y,Y,Y)-OWFs の存在を証明している。
• RabiとShermanが部分的単方向関数に全性を追加するための提案した手法は、UP = NP が成り立たない限り無効であることが示されている。
• (N,Y,N,Y)-OWFs（非強非逆性、全性、非可換性、結合性）の存在も、P ≠ NP と同値であることが示されている。
• この結果により、代数的性質を有する単方向関数の全体像が完全に特徴付けられており、同じ複雑さの仮定の下では、どの組み合わせも他の組み合わせよりも存在しやすいとは限らないことが示されている。