이 논문은 무작위 및 계수 기계 모델의 역사적 발전을 개괄한다.
2장에서는 초기 무작위 및 계수 기계 모델을 소개한다. 1960년대에 Davis, Carlyle, Rabin 등이 제안한 확률적 자동기계와 확률적 순차 기계가 논의된다. 이후 1970년대에 Santos와 Gill이 제안한 확률적 튜링 기계(PTM)의 정의와 차이점이 설명된다. 또한 Simon의 임계값 기계와 Valiant의 계수 기계도 소개된다.
3장에서는 이러한 기계 모델과 관련된 복잡도 클래스를 다룬다. PP, ♯P, ⊕P 등의 클래스가 정의되고, 이들 간의 관계가 설명된다. 또한 Wagner와 Torán이 제안한 계수 계층(CH)에 대해서도 논의한다.
전반적으로 이 논문은 무작위 및 계수 계산 모델과 복잡도 이론의 역사적 발전을 체계적으로 정리하고, 관련 용어의 차이점을 명확히 하고자 한다.
Para outro idioma
do conteúdo fonte
arxiv.org
Principais Insights Extraídos De
by Melissa Anto... às arxiv.org 09-19-2024
https://arxiv.org/pdf/2409.11999.pdfPerguntas Mais Profundas