분포 속성 P ([n]에 대한 모든 분포의 일부에 불과 함)에 대한 분포 테스트 알고리즘은 일부 분포 D에 따라 샘플에 액세스 할 수 있으며 또는 d ( D , P ) > ϵ ( 여기서 d 는 보통 ℓ 1 거리입니다). 가장 일반적인 복잡도 측정 방법은 알고리즘에서 사용하는 샘플 수입니다.D ∈ …
결정 요인에 대해 가장 작은 알려진 공식 은 민속에 따라 크기 를 갖습니다 (또는 영구 및 결정자를위한 논문 Multi-Linear Formulas는 Super-Polynomial Size입니다 ).nO(logn)nO(logn)n^{\mathcal O(\log n)} 이것에 대한 참조가 있습니까? 특히이 공식은 무엇입니까?
랜덤 제한과 스위칭 레마 에 기반한 잘 알려진 AC0AC0\mathsf{AC^0} 회로 크기 하한 결과가 있습니다. TC0TC0\mathsf{TC^0} 회로에 대한 하한 크기 ( 대한 하한 증명과 유사)를 증명하기 위해 스위칭 Lemma 결과를 개발할 수 있습니까 AC0AC0\mathsf{AC^0}? 아니면 TC0TC0\mathsf{TC^0} 하한 을 증명하기 위해이 접근법을 사용하는 데 방해가 되는가? Natural Proofs 와 같은 장벽 결과는 …
가우스 제거는 행렬 다항식 시간을 계산할 수있게합니다. 지수 항의 합인 결정자를 계산하는 데있어서의 복잡성의 감소는 대안적인 음의 부호의 존재에 기인한다 ( 이의 부족은 계산을 영구적으로 만드는 것은 즉 N P - C 문제 보다 더 어렵다 ). . 이것은 결정에 어떤 종류의 대칭으로 이어진다. 예를 들어 한 쌍의 행 또는 …
다음 조건을 충족하는 잘 알려진 문제를 누구나 나열 할 수 있습니다. 1. has a generalization problem that is known to be NP-complete 2. has not been proved to be NP-complete nor has a known polynomial time solution.
이 두 용어의 역사에 대해 알고 싶습니다 : " 효율적인 ", " 가능한 " 누가 처음으로 계산 / 알고리즘에 대해 사용 했습니까? (이러한 용어의 의미에서, 즉 20 세기). 그들은 어떻게 주류가 되었습니까? 이 두 용어는 어떻게 동의어로 사용되기 시작 했습니까? 나는 Cobham 이 다항식 시간 계산 성과 관련된 그의 논문 …
잊어 버린 튜링 머신에서 튜링 머신의 에뮬레이션을 미만으로 수행 할 수 없다는 증거가 있습니까? 여기서 은 튜링 머신이 사용하는 단계 수입니다. ? 아니면 상한입니까?O(mlogm)O(mlogm)\mathcal{O}\left(m\log m\right)mmm Vitányi는 폴 비 타니 (Paul Vitányi)의 논문에서 관련성이없는 튜링 기계에 관한 논문에서 "그들은 [ Pippenger 및 피셔, 1979 기계 튜링 1 테이프 실시간 인식 느릅 …
Impagliazzo, Paturi 및 Zane 의 SERF-reducibility 및 subexponential algorithm에 관한 질문이 있습니다 . SERF- 환원성의 정의는 다음을 제공합니다. 경우 SERF 환원성이다 거기에 에 대한 알고리즘 각 , 후가 에 대한 알고리즘 각 . (두 문제에 대한 경도 파라미터는 으로 표시됩니다 .)P 2 O ( 2 ε n ) P 2 …
제곱 n × nn×nn\times n 실수 행렬 ㅏA{\bf A} 와 길이 n 의 두 벡터 엑스x{\bf x} 및 를 A x = b가되도록 합니다. 표준 가우시안 제거를 통해 x 를 풀면 거의 O ( n 3 ) 의 총체적인 복잡성이 발생 합니다. 그러나 해결 (또는 경우가있다 ε 에 대한 해결 …
L 이라고도하는 Parity-L 은 짝수 또는 홀수의 "수락"경로 만 구분할 수있는 비 결정적 튜링 머신에서 인식되는 언어 세트입니다. 최근 관련 질문 이 Niel de Beaudrap에 의해 요청되었습니다.⊕⊕\oplus 내 질문은 다음과 같습니다 NL L 인지 알고 있습니까? 아니면이 두 클래스는 비교할 수없는 것으로 생각됩니까?⊕⊆⊆\subseteq ⊕⊕\oplus
이 질문은 Peng Zhang 의 MathOverflow 질문에 의해 동기가 부여됩니다 . Valiant는 일반 그래프에서 최대 클릭 수를 계산하는 것이 # P- 완료 되었음에도 불구하고 비교할 수없는 그래프로 제한하면 (즉, 유한 포즈에서 최대 안티 체인 수를 계산하려는 경우) 어떻게해야합니까? 이 질문은 자연스럽게 보였지만 이전에 고려 된 것으로 생각되지만 문헌에서 찾을 수 …
(강한) 고정 매개 변수 수축성 정의에서 시간 제한은 형식의 표현입니다 . p ( | x | ) ( 여기서 입력 인스턴스는 매개 변수 k를 가진 ( x , k ) 이고 , p 는 다항식이며, f 는 계산 가능한 함수입니다.에프( k ) . p ( | x | ) ,f(k).p(|x|),f(k).p(|x|),( …