거의 모든 입력에서 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 …
Wikipedia 는 카운팅 버전이 어려운 반면에 의사 결정 버전은 쉬운 문제의 예를 제공합니다. 이들 중 일부는 완벽한 일치를 계산하여 -SAT에 대한 솔루션 수와 토폴로지 정렬 수를 계산합니다 .222 다른 중요한 클래스가 있습니까 (예 : 격자, 나무, 숫자 이론 등)? 그러한 문제에 대한 개요가 있습니까? 에는 하드 카운팅 버전 이있는 여러 …
cryptocurrency 마이닝의 겉보기 무의미 함은 유용한 대안에 대한 질문을 제기했습니다 .Bitcoin , CST , MO 에 대한 이러한 질문을 참조하십시오 . 실질적으로 모든 계산 문제 (이 솔루션을 효율적으로 확인할 수 있음)를 다른 도전 과제 (작업 증명에 사용되는 )로 변환 할 수있는 알고리즘이 있는지 궁금합니다. Ψ ( C )CC\mathcal CΨ(C)Ψ(C)\Psi(\mathcal C) …
두 가지 역사적 질문이 있습니다. 누가 비 결정적 계산을 처음 설명했습니까? Cook은 NP-complete 문제를 설명했으며 Edmonds는 P 알고리즘이 "효율적"또는 "좋은"알고리즘이라고 제안했습니다. 이 위키피디아 기사를 검색 하고 "계산의 복잡성 알고리즘"을 훑어 보았지만 비결정론 적 계산이 처음 논의 된 시점에 대한 언급을 찾을 수 없었습니다. NP 클래스에 대한 첫 번째 참조는 무엇입니까? …
회문은 테이프 튜링 기계에서는 선형 시간으로 인식 할 수 있지만 단일 테이프 튜링 기계 에서는 인식 할 수 없다는 것이 잘 알려져 있습니다 (이 경우 필요한 시간은 2 차적 임). 선형 시간 알고리즘은 입력 사본을 사용하므로 선형 공간도 사용합니다.222 대수 공간 만 사용하여 멀티 테이프 튜링 머신의 선형 시간에 회문을 …
지정된 정규 표현은 아닌 사소한 경계가 가장 작은 문맥 자유 문법의 크기에있다, R 1 ∩ ⋯ ∩ R n은 ?아르 자형1, … , R엔아르 자형1,…,아르 자형엔R_1, \dots, R_n아르 자형1∩ ⋯ ∩ R엔아르 자형1∩⋯∩아르 자형엔R_1 \cap \cdots \cap R_n
발톱은 입니다. 사소한 알고리즘은 시간 안에 발톱을 감지합니다 . 에서 수행 할 수 있습니다 . 여기서 는 다음과 같이 빠른 행렬 곱셈의 지수입니다. 각 꼭지점 v 에 대해 로 유도 된 하위 그래프를 가져 와서 삼각형을 찾으십시오. 그것의 보완. O ( n 4 ) O ( n ω + 1 …
이 질문은 이론적 인 컴퓨터 과학 스택 교환에서 대답 할 수 있기 때문에 컴퓨터 과학 스택 교환에서 마이그레이션 되었습니다. 6 년 전에 이주했습니다 . (이 질문은 약간의 "설문 조사"입니다.) 나는 현재 토너먼트의 가장자리를 두 세트로 나누려고하는 문제를 연구 중이며, 둘 다 일부 구조적 특성을 충족시키는 데 필요합니다. 이 문제는 "느끼고"느낀다. …
EXPTIME-complete 문제에 대한 비 결정적 알고리즘이 얼마나 빨리 내포해야 하는가? 다항식 시간 비 결정적 알고리즘은 이지만 아무도 믿지 않기 때문에 즉시이를 암시합니다 . 대수를 올바르게 수행했다면 (아래 참조) 시간 계층 정리는 여전히 모든 다항식 대해 실행 시간에 의미를 부여 하지만 느린 알고리즘으로 결과를 줄 수있는 효율적인 축소와 관련된 완전한 문제가 …
Curry-Howard 대응 하의 해당 논리가 일관되고 모든 계산 가능한 함수에 대해 입력 가능한 람다식이있는 형식화 된 람다 미적분학이 있습니까? 이것은 "유형 람다 미적분학"에 대한 정확한 정의가 결여되어있어 부정확 한 질문입니다. 나는 기본적으로 (a) 이것의 알려진 예 또는 (b)이 영역의 어떤 것에 대한 알려진 불가능한 증거가 있는지 궁금합니다. 편집 : @cody는 …
하자 모든 일반 언어의 클래스합니다.REGREG\mathsf{REG} 그것은 알려져있다 와 . 그러나 언어에 대한 특성이 있습니까?AC0⊄REGAC0⊄REG\mathsf{AC}^0 \not\subset \mathsf{REG}REG⊄AC0REG⊄AC0\mathsf{REG} \not\subset \mathsf{AC}^0AC0∩REGAC0∩REG\mathsf{AC}^0 \cap \mathsf{REG}
SSSI(n)={w∈S:|w|=n}I(n)={w∈S:|w|=n}I(n) = \{w \in S : |w| = n\}nnnT(w)T(w)T(w)AAAwwwAAAfn=maxw∈I(n)T(w).fn=maxw∈I(n)T(w). f_n = \max_{w \in I(n)} T(w). 이제 Kolmogorov의 복잡도 n을 갖는 모든 입력 의 집합 IK(n)={w∈S:K(w)=n}IK(n)={w∈S:K(w)=n} I^K(n) = \{w \in S : K(w) = n \} 을 정의하고 시퀀스 f ^ K_n = \ frac {1을 정의하겠습니다. } {\ left | …
동안 Adleman에 정리 된 것을 쇼, , 내가의 수를 포함 조사 어떤 문학의 잘 모르는 것 같아요 B Q P ⊆ P / 폴리 . 그러한 포함이 어떤 복잡성 이론적 결과를 가져 왔을 까?BPP⊆P/polyBPP⊆P/poly\mathsf{BPP} \subseteq \mathsf{P}/\text{poly}BQP⊆P/polyBQP⊆P/poly\mathsf{BQP} \subseteq \mathsf{P}/\text{poly} 애들 맨의 정리는 때때로 "무작위 화 주장의 조상"으로 불린다. 는 무작위화할 수없는 …
우리는 목록 정렬한다고 가정 의 n 개의 실수를. 우리가 정렬 할 수있는 블랙 박스가 있다고 가정합니다 √에스SS엔nn실수 n 개 . 이 블랙 박스를 사용하면 얼마나 많은 이점을 얻을 수 있습니까?엔−−√n\sqrt n 예를 들어 숫자 만 블랙 박스에 전화합니까? 내가 찾은 최고의 알고리즘은 블랙 박스에 대한n 개의호출을사용합니다. 그러나 나는 그것을 더 …