단방향 기능이 존재하는 경우 단방향으로 보장되는 기능은 무엇입니까?


13

P = NP 인 경우 다항식 시간으로 SAT를 해결하는 알고리즘을 작성하는 오래된 트릭이 있습니다. 기본적으로 모든 다항식 타임머신과 멀티 태스킹을 나열합니다.

단방향 기능 (또는 단방향 트랩 도어 기능)에 대한 유사한 트릭이 있습니까? 즉, 단방향 함수가 존재하는 경우 반드시 단방향 함수 인 함수를 작성할 수 있습니까?

P = NP 트릭을 모방하는 쉬운 방법은없는 것 같습니다. 이 경우 솔루션을 얻을 때 신속하게 솔루션을 인식 할 수 있습니다. 그러나 모든 다항식 시간 함수를 멀티 태스킹하면 일방 함수에 도달 할 때 일방 함수를 인식하는 확실한 방법이 없습니다.

위의 질문에 대한 대답이 '아니오'라면 왜 할 수 없는가? 어쩌면 그러한 함수를 작성하면 단방향 함수가 존재한다는 것을 어떻게 증명할 수 있습니까?


안녕하세요 Timothy Chow, P = NP이면 다항식 시간으로 SAT를 해결하는 알고리즘을 작성하는 트릭이 공식화되는 링크를 가리키고 도움을 줄 수 있습니까? 감사합니다 allot
Avi Tal

@AviTal 예를 들면 다음과 같습니다 : scholarpedia.org/article/Universal_search
Vanessa

답변:


11

예, 그러한 기능은 Levin 자신이 발견했으며 최근에 게시되었습니다.

단방향 기능에 대한 이야기 . 정보 전송 문제 (= Peredachi Informatsii 문제), 39 (1) : 92-103, 2003.


감사! Google Scholar를 사용하여이 참조를 사용하여 Grigoriev, Hirsch 및 Pervyshev, Groups-Complexity-Cryptology 1 (2009), 1-12의 완전한 공개 키 암호화 시스템에 대한 참조를 찾을 수있었습니다.
Timothy Chow

이 기능의 세부 사항을 설명해 주시겠습니까? n ^ 2 단계 후에 중단되는 이유는 무엇입니까? '프로그램 접두사 사본을 보존하고 출력 길이와 입력 길이를 강제로 설정 해야하는 이유'와 '가능한 확장이 고유 한 장소에서만'이 정확히 무엇을 의미하는지 . 이것이 별도의 질문이 필요한지 모르겠습니다.
galmeida

당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.