核心概念
무작위 계산 모델은 1950년대부터 주목받기 시작했으며, 계산 능력과 자원 문제에 대한 연구와 밀접하게 연관되어 왔다. 다양한 무작위 및 계수 기계 모델이 제안되었고, 이에 따른 복잡도 클래스도 정의되었다. 그러나 관련 용어가 때때로 부정확하거나 오해를 불러일으킬 수 있다.
摘要
이 논문은 무작위 및 계수 기계 모델의 역사적 발전을 개괄한다.
2장에서는 초기 무작위 및 계수 기계 모델을 소개한다. 1960년대에 Davis, Carlyle, Rabin 등이 제안한 확률적 자동기계와 확률적 순차 기계가 논의된다. 이후 1970년대에 Santos와 Gill이 제안한 확률적 튜링 기계(PTM)의 정의와 차이점이 설명된다. 또한 Simon의 임계값 기계와 Valiant의 계수 기계도 소개된다.
3장에서는 이러한 기계 모델과 관련된 복잡도 클래스를 다룬다. PP, ♯P, ⊕P 등의 클래스가 정의되고, 이들 간의 관계가 설명된다. 또한 Wagner와 Torán이 제안한 계수 계층(CH)에 대해서도 논의한다.
전반적으로 이 논문은 무작위 및 계수 계산 모델과 복잡도 이론의 역사적 발전을 체계적으로 정리하고, 관련 용어의 차이점을 명확히 하고자 한다.
统计
무작위 알고리즘은 단순성과 속도의 장점으로 인해 최근 수십 년간 급격한 성장을 보였다.
확률적 튜링 기계(PTM)는 결정론적 튜링 기계와 달리 입력에 따라 여러 개의 출력을 반환할 수 있다.
임계값 기계는 계산 경로의 수가 주어진 임계값을 넘을 때 입력을 받아들이며, 계수 기계는 계산 경로의 수를 반환한다.
引用
"최근 몇 년 동안 무작위 알고리즘 분야에서 엄청난 성장이 있었다. 이 기간 동안 무작위 알고리즘은 계산 수론에서 도구에서 많은 유형의 알고리즘에 광범위하게 적용되게 되었다. 무작위화의 두 가지 이점은 단순성과 속도이다."
"확률적 튜링 기계는 동전 던지기 상태를 가진 튜링 기계이다. 동전 던지기 상태에서 기계는 공정한 동전을 던져 두 개의 가능한 다음 상태 중 하나를 선택한다."