[논문 리뷰] Enforcing and Defying Associativity, Commutativity, Totality, and Strong Noninvertibility for One-Way Functions in Complexity Theory

Lane A. Hemaspaandra, Joerg Rothe외 1명|ArXiv.org|2005. 03. 21.

Computability, Logic, AI Algorithms참고 문헌 25인용 수 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가 충분한 조건임을 보여주는 것.
• 강한 비역행성, 전근사성, 교환법칙, 결합법칙이라는 네 성질의 81가지 가능한 조합을 P ≠ NP에 상대적으로 존재 여부에 따라 완전히 특성화하는 것.

제안 방법

• 저자는 단방향 함수에 대해 네 성질의 81가지 조합(Y = 요구됨, N = 금지됨, * = 중립)을 분석한다.
• 각 조합에 대해 그러한 단방향 함수의 존재성이 P ≠ NP와 동치임을 보이기 위해 환원과 구성 기법을 사용한다.
• 핵심 구성은 전근사성 단방향 함수를 적절히 설계된 이항 연산을 사용해 비교환성, 결합법칙, 강한 비역행성이 없는 단방향 함수로 변환하는 것이다.
• 복잡도 이론에서 알려진 결과를 활용하여, 단방향 함수의 존재성과 P ≠ NP의 동치성 및 환원에 대한 닫힘 성질을 적용한다.
• 이전 연구에서 잘못된 구성 예를 분석하고 반박하며, 예를 들어 Rabi와 Sherman의 부분 단방향 함수에 전근사성을 추가하는 데 사용된 방법이 UP = NP를 암시하므로 잘못되었음을 보여준다.
• 논리적 닫힘 성질과 환원을 통해 P ≠ NP이면 모든 81종류의 단방향 함수가 존재함을 보여주는 추론을 전개한다.

실험 결과

연구 질문

• RQ1 P ≠ NP는 전근사성, 교환법칙, 결합법칙은 갖지만 강한 비역행성이 없는 단방향 함수의 존재에 충분한 조건인가?
• RQ2 비전근사성, 비교환성, 비결합성 성질을 갖지만 강한 비역행성이 없는 단방향 함수는 존재할 수 있는가?
• RQ3 네 가지 대수적 성질의 특정 조합을 갖는 단방향 함수의 존재 여부가 오직 P ≠ NP에 의존하는가?
• RQ4 소인수분해의 어려움은 특정 유형의 단방향 함수 존재에 대한 충분한 조건로 대체될 수 있는가? P ≠ NP는 더 강력하고 일반적인 조건인가?
• RQ5 강한 비역행성을 요구하거나 금지할 경우, P ≠ NP 하에서 단방향 함수의 존재성에 어떤 영향을 미치는가?

주요 결과

• 강한 비역행성, 전근사성, 교환법칙, 결합법칙이라는 네 성질의 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와 동치임을 입증하였다.
• 이 결과는 대수적 성질을 갖는 단방향 함수의 전반적인 환경을 완전히 특성화하여, 동일한 복잡도 가정 하에서 어떤 조합도 다른 조합보다 더 존재할 가능성이 높거나 낮지 않음을 보여준다.