우리는 (다항식 크기) 일정 깊이 회로의 한계에 대해 많이 알고 있습니다. (다항식 크기) 상수 깊이 수식은 훨씬 제한된 계산 모델이므로 AC 0 에없는 것으로 알려진 모든 문제 는 상수 깊이 수식으로 계산할 수 없습니다. 그러나 더 쉬운 모델이기 때문에이 모델에서 계산할 수없는 것으로 알려진 더 많은 문제가 있다고 생각합니다. 이것이 …
폰 노이만 (Von Neumann)은 동일한 편향 동전에 접근 할 수있는 공정한 동전을 시뮬레이트하는 알고리즘을 제공했습니다. 알고리즘은 잠재적으로 무한한 수의 동전을 필요로합니다 (예상치 만해도 충분하게 충분합니다).이 질문은 동전 던지기 횟수가 제한됨) bias 동일한 동전 이 있다고 가정하십시오 . 목표는 바이어스를 최소화하면서 단일 동전 던지기를 시뮬레이션하는 것입니다.nnnδ=P[Head]−P[Tail]δ=P[Head]−P[Tail]\delta=P[Head]-P[Tail] 다항식 시간으로 실행되는 알고리즘은 랜덤 …
전문 인터랙티브 증거 시스템과 Arthur-Merlin 프로토콜은 1985 년 에 Goldwasser, Micali 및 Rackoff 및 Babai에 의해 도입되었습니다 . 처음에는 전자가 후자보다 강력하다고 생각되었지만 Goldwasser와 Sipser 는 동일한 전력을 가지고 있음을 보여주었습니다. 언어 인식과 관련하여). 따라서이 글에서는 두 가지 개념을 서로 바꿔서 사용할 것입니다. IP[k]IP[k]IP[k] 를 kkk 라운드로 대화 형 증명 …
보안과 암호화의 이론과 실제에는 어떤 흥미로운 차이점이 있습니까? 물론 가장 흥미로운 의지는 실용적인 경험을 바탕으로 이론적 연구를위한 새로운 길을 제시하는 사례입니다. 답변에는 다음이 포함될 수 있습니다 (단, 이에 한하지 않음). 이론이 무언가를 제안하지만 실제로는 결코 사용되지 않는 예 이론적으로 실제로 안전하지 않은 것이 안전하다고 제안하는 예 광범위하게 실용적으로 사용되는 사례는 …
경우 것이 다음 볼록 함수 옌센 부등식 상태 인 , 및 준용 오목된다. 최악의 경우 볼록한 f에 대해 f (\ textbf {E} [x])의 관점에서 \ textbf {E} [f (x)] 상한선을 사용할 수 없지만 다음과 같은 경우에는이 방향으로가는 경계선이 있습니까? f 는 볼록하지만 "너무 볼록하지 않습니까?" \ textbf {E} [f (x)] …
T가 사용하는 매크로 언어 인 것 같습니다. 는 일종의 용어 재 작성 시스템 또는 이름 별 호출 범위를 가진 프로그래밍 언어의 일종으로 볼 수 있습니다.티이자형엑스티이자형엑스\TeX T의 현대적인 구현조차도 엔진 (예 : X e T티이자형엑스티이자형엑스\TeX )는 코드를 매우 직접적인 방식으로 해석하며 (최적의 최적화 통역사가 할 수있는 것처럼) 실행 최적화를 시도하지 않습니다. …
NP- 완전성의 다른 개념과 관련된 Shor의 대답에 동기를 부여하여 P 감소에서는 NP- 완료이지만 Logspace 감소에서는 NP- 완전하지 않은 문제를 찾고 있습니다 (바람직하게는 오랫동안). 또한 NP- 완전 문제 사이의 로그 공간 감소를 찾는 것이 P 감소를 찾는 것보다 어려운가요?
이 질문은 다항식 허쉬 추측 (PHC)에서 영감을 얻었습니다. 에 facet polytope 가 주어지면 의해 하한의 정점 그래프 ( 라고 부름)의 스펙트럼 갭이 있습니까? 꼭지점 의 사이클 그래프 는 조차도 스펙트럼 갭이 만큼 작을 수 있음을 보여줍니다 . 따라서 추측 된 경계는 사실이라면 거의 빡빡 할 것입니다.P R d G Ω …
라즐로 바바이 (László Babai)는 최근 그래프 동 형사상 문제가 준 다항식 시간 에 있음을 증명했다 . 시카고 대학교에서의 그의 강연 을 참조하십시오. Jeremy Kun GLL post 1 , GLL post 2 , GLL post 3 의 대화 내용을 참고하십시오 . Ladner의 정리에 따르면 인 경우 가 비어 있지 않습니다. 즉 …
리콜 소수 개수 은 IS 소수 계량 함수 . "PRIMES in P"에 의해, 계산 은 #P에 있습니다. 문제가 # P- 완전합니까? 아니면이 문제가 # P- 완전하지 않다고 믿을만한 복잡한 이유가 있습니까? π(n)π(n)\pi(n)≤n≤n\le nπ(n)π(n)\pi(n) 추신 : 나는 누군가가 문제를 연구하고 이것을 입증 / 반증 / 추측해야했기 때문에 이것이 약간 순진하다는 것을 …