효율적으로 병렬화하는 아이디어를 포착하고, 그 하나 개의 해석 시간에 풀 수있는 문제이다 O ( 로그 의 C , N ) 하여 O ( N 개의 케이 ) 일부 상수 병렬 프로세서 C , K . 내 질문은 시간이 n c 이고 프로세서 수가 2 n k 인 유사한 복잡성 클래스가 …
DNA 알고리즘 과 Turing 기계를 사용하여 정의 된 복잡성 클래스 사이의 관계는 무엇입니까 ? DNA 알고리즘에서 시간과 공간과 같은 복잡성 측정은 무엇에 해당합니까? 폰 노이만 기계가 실제로 실현할 수없는 TSP와 같은 NP- 완전 문제를 해결하는데 사용될 수 있습니까?
P에서 알고리즘 병렬화에 대해 알려진 것에 대해 광범위하게 궁금합니다.이 주제에 대한 다음 위키 백과 기사를 찾았습니다. http://en.wikipedia.org/wiki/NC_%28complexity%29 이 기사에는 다음 문장이 포함되어 있습니다. NC = P인지 여부는 알 수 없지만 대부분의 연구자들은 이것이 거짓이라고 생각합니다. 이는 아마도 "내재적으로 순차적"이며 병렬 처리를 사용하여 크게 가속화 될 수없는 다루기 어려운 문제가 있음을 …
우리는 (다항식 크기) 일정 깊이 회로의 한계에 대해 많이 알고 있습니다. (다항식 크기) 상수 깊이 수식은 훨씬 제한된 계산 모델이므로 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 라운드로 대화 형 증명 …
NP- 완전성의 다른 개념과 관련된 Shor의 대답에 동기를 부여하여 P 감소에서는 NP- 완료이지만 Logspace 감소에서는 NP- 완전하지 않은 문제를 찾고 있습니다 (바람직하게는 오랫동안). 또한 NP- 완전 문제 사이의 로그 공간 감소를 찾는 것이 P 감소를 찾는 것보다 어려운가요?
라즐로 바바이 (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) 추신 : 나는 누군가가 문제를 연구하고 이것을 입증 / 반증 / 추측해야했기 때문에 이것이 약간 순진하다는 것을 …
거의 모든 입력에서 L 을 올바르게 결정하는 다항식 시간 알고리즘이있는 경우 언어 엘LL 은 P- 밀도-클로즈 라고 가정하겠습니다 .엘LL ∈A∈A\in L Δ ALΔAL\Delta AALL임n → ∞| (LΔA)∩{0,1 }엔|2엔= 0limn→∞|(LΔA)∩{0,1}n|2n=0.\lim_{n\rightarrow\infty} \frac{|(L\Delta A) \cap \{0,1\}^n|}{2^n}=0.에이AA엘LL엘LL 참고 드문 드문 일 필요는 없습니다. 예를 들어, 비트 문자열이있는 경우 이므로 지수 지수로 여전히 소실됩니다. .2 …
cryptocurrency 마이닝의 겉보기 무의미 함은 유용한 대안에 대한 질문을 제기했습니다 .Bitcoin , CST , MO 에 대한 이러한 질문을 참조하십시오 . 실질적으로 모든 계산 문제 (이 솔루션을 효율적으로 확인할 수 있음)를 다른 도전 과제 (작업 증명에 사용되는 )로 변환 할 수있는 알고리즘이 있는지 궁금합니다. Ψ ( C )CC\mathcal CΨ(C)Ψ(C)\Psi(\mathcal C) …
회문은 테이프 튜링 기계에서는 선형 시간으로 인식 할 수 있지만 단일 테이프 튜링 기계 에서는 인식 할 수 없다는 것이 잘 알려져 있습니다 (이 경우 필요한 시간은 2 차적 임). 선형 시간 알고리즘은 입력 사본을 사용하므로 선형 공간도 사용합니다.222 대수 공간 만 사용하여 멀티 테이프 튜링 머신의 선형 시간에 회문을 …
이 질문은 이론적 인 컴퓨터 과학 스택 교환에서 대답 할 수 있기 때문에 컴퓨터 과학 스택 교환에서 마이그레이션 되었습니다. 6 년 전에 이주했습니다 . (이 질문은 약간의 "설문 조사"입니다.) 나는 현재 토너먼트의 가장자리를 두 세트로 나누려고하는 문제를 연구 중이며, 둘 다 일부 구조적 특성을 충족시키는 데 필요합니다. 이 문제는 "느끼고"느낀다. …
EXPTIME-complete 문제에 대한 비 결정적 알고리즘이 얼마나 빨리 내포해야 하는가? 다항식 시간 비 결정적 알고리즘은 이지만 아무도 믿지 않기 때문에 즉시이를 암시합니다 . 대수를 올바르게 수행했다면 (아래 참조) 시간 계층 정리는 여전히 모든 다항식 대해 실행 시간에 의미를 부여 하지만 느린 알고리즘으로 결과를 줄 수있는 효율적인 축소와 관련된 완전한 문제가 …