그것은 CNF 변환 할 수 있습니다 다른 CNF로 그러한CC\mathcal CΨ(C)Ψ(C)\Psi(\mathcal C) 함수 는 비밀 랜덤 파라미터 에서 다항식 시간으로 계산할 수 있습니다 .ΨΨ\Psirrr Ψ(C)Ψ(C)\Psi(\mathcal C) 경우만 용액을 보유 해결책을 갖는다.CC\mathcal C r을 사용하여 의 모든 솔루션 를 효율적으로 의 솔루션으로 변환 할 수 있습니다 .xxxΨ(C)Ψ(C)\Psi(\mathcal C)CC\mathcal Crrr r이 없으면 rrr솔루션 …
함수 f 가 다항식 시간 알고리즘으로 계산 될 수 있지만 모든 랜덤 화 된 다항식 시간 알고리즘 A에 대해 단방향입니다 .f:{0,1}∗→{0,1}∗f:{0,1}∗→{0,1}∗f \colon \{0, 1\}^* \to \{0, 1\}^*fffAAA Pr[f(A(f(x)))=f(x)]<1/p(n)Pr[f(A(f(x)))=f(x)]<1/p(n)\Pr[f(A(f(x))) = f(x)] < 1/p(n) 각 다항식 와 충분히 큰 N ,라고 가정 X하면 으로부터 선택되는 균일 { 0 , 1 } N …
P = NP 인 경우 다항식 시간으로 SAT를 해결하는 알고리즘을 작성하는 오래된 트릭이 있습니다. 기본적으로 모든 다항식 타임머신과 멀티 태스킹을 나열합니다. 단방향 기능 (또는 단방향 트랩 도어 기능)에 대한 유사한 트릭이 있습니까? 즉, 단방향 함수가 존재하는 경우 반드시 단방향 함수 인 함수를 작성할 수 있습니까? P = NP 트릭을 모방하는 …
비공식적으로, 단방향 함수는 PTIME 알고리즘과 관련하여 정의됩니다. 다항식 시간에서는 계산 가능하지만 평균 경우 다항식 시간에서는 되돌릴 수 없습니다. 이러한 기능의 존재는 이론적 인 컴퓨터 과학에서 중요한 공개 문제입니다. 다른 리소스 범위와 관련하여 정의 된 단방향 기능 (암호화 응용 프로그램에는 해당되지 않음)에 관심이 있습니다. 이러한 자원 한계는 LOGSPACE 또는 한계 비결 …
OWF가 존재하는 경우 통계적으로 바인딩 비트 확약이 가능합니다. [1] OWF가 존재하면 완벽하게 바인딩 비트 확약이 가능하다는 것이 알려져 있습니까? 그렇지 않다면, 알려진 블랙 박스 간격이 있습니까? [1] http://en.wikipedia.org/wiki/Pseudorandom_generator_theorem 및 http://en.wikipedia.org/wiki/Commitment_scheme#Bit-commitment_from_a_pseudo-random_generator
제 질문은 팩토링의 경도를 기반으로 구성 할 수있는 다양한 후보 단방향 함수의 보안성에 관한 것입니다. 의 문제를 가정 인수 [주어 임의의 소수에 대한 P , Q < 2 N 찾아 P , Q를 .]엔= P큐N=PQN = PQ피, Q < 2엔P,Q<2nP, Q < 2^n피PP큐QQ 무시할 수없는 확률로 함수를 다항식 시간으로 풀 …
π:{0,1}∗→{0,1}∗π:{0,1}∗→{0,1}∗\pi \colon \{0,1\}^* \to \{0,1\}^* 를 순열 이라고하자 . 반면 있습니다 ππ\pi 무한 도메인에 작용하여, 그 설명은 유한 수 있습니다. 으로 설명 , 내가 설명하는 프로그램을 의미 ππ\pi 의 기능을. (Kolmogorov 복잡도와 마찬가지로) 아래 설명을 참조하십시오. 예를 들어, NOT 함수는 그러한 순열 중 하나입니다. NOT (x) 함수 y = x라고하자 …
단방향 기능의 존재는 암호화 (디지털 서명, 의사 난수 생성기, 개인 키 암호화 등)의 대부분에 필요하고 충분하다는 것이 잘 알려져 있습니다. 내 질문은 : 일방 함수의 존재로 인한 복잡성 이론 결과는 무엇입니까 ? 예를 들어 OWF는 , 및 입니다. 다른 알려진 결과가 있습니까? 특히 OWF가 다항식 계층 구조가 무한하다는 것을 의미합니까?N …
한마디로 : 단방향 순열 이 있다고 가정하면 트랩 도어가없는 것을 만들 수 있습니까? 더 많은 정보: 단방향 순열은 순열입니다 ππ\pi계산하기는 쉽지만 반전하기는 어렵습니다 ( 보다 공식적인 정의는 단방향 기능 태그 위키 참조). 우리는 보통 일방향 순열의 패밀리 를 고려합니다 .π={πn}n∈Nπ={πn}n∈N\pi = \{\pi_n\}_{n \in \mathbb{N}}, 여기서 각각 πnπn\pi_n유한 도메인 에 작용하는 …