Nick 's 클래스의 "올바른"균일 성 조건


9

DLOGTIME은 http://en.wikipedia.org/wiki/DLOGTIME 에 정의되어 있으며 http://en.wikipedia.org/wiki/L_%28complexity%29 및 정의되어 있습니다 .http://en.wikipedia.org/wiki/NC_%28complexity%29에 정의되어 있습니다 .

체크 안함체크 안함

DLOGTIME은 가장 작은 것 같습니다.
그 다양한 장소에서 읽은 , 모든 장소 비록 내가 한 발견 균일 상태에서 사용 상태 결과 - 일률. 모든 클래스 결정적이 있는가 되도록 로 알려져 -uniform , 및 1...보유하는 것으로 알려져 있습니까? 2.체크 안함2



엑스체크 안함엑스체크 안함
엑스
... 엑스 개최하는 것으로 알려져 엑스= 보유하고 있지 않은가?

(1, 또는 훨씬 적은 정도로 2는 -균일 성이 올바른 조건입니다)


왜, L이 균일하지 않은 NC에 있다는 것을 알고 있습니까? 그것이 없으면 우리는 그것이 어떤 균일 한 NC에있을 것이라고 기대할 수 없습니다.
domotorp December

글쎄, 나는 "컴퓨터 과학 및 기술 백과 사전"의 235 페이지와 www.cs.tau.ac.il/~zwick/circ-comp-new/three.ps에서 그것을 발견했다. 그러나이 책은 내가 가리키는 참조를 검색 할 때 얻는 유일한 결과이며 ps 파일은 증거를 제공하지 않습니다. 더 자세히 살펴 봐야한다고 생각합니다.

3
2
Kaveh December

이런, 죄송하지만 질문은 1.
domotorp

답변:


8

당신이 사용할 수있는 영형나는미디엄이자형 균일 성을 위해 2. 문제없고 수업 균일케이 동일하게 유지 나는미디엄이자형에스이자형(영형(lg케이),영형(lg)) (에 대한 케이1).

일반적으로 더 조심해야 할 유일한 경우는 1 결정할 수있는 것에주의해야하는 경우 영형나는미디엄이자형. 당신이 사용하는 경우 확장 된 연결 언어 회로의 설명을 한 후 모든도에서 작동1 케이스.

균일성에 대한 자세한 내용은 다음을 참조하십시오.

Walter L. Ruzzo, "일관된 회로 복잡성 ", 컴퓨터 및 시스템 과학 저널, vol. 22 (1981), 365-383 쪽.


"사용할 수 있습니까 DLogTime 균일 성을 위해 "의미"체크 안함2여전히 ""를 보유하고 있습니까?

그렇습니다. 영형나는미디엄이자형 제복 2 동일하다 나는미디엄이자형에스이자형(영형(lg2),영형(lg)) 포함하는 =에스이자형(영형(lg))에스이자형(영형(lg))=.
Kaveh
당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.