계산량 이론 개설(1982년도 ACM Turing상 수상 기념 강연)

계산량 이론을 역사적으로 개관하였다. 문제의 본질적 계산복잡도를 정의하는 것 및 계산량의 상계, 하계를 증명하는데 있어서의 기본적인 문제점에 중점을 두었다. 확률적 계산 및 병열계산에 관해서도 논하였다. 이 강연은 계산량(계산복잡도, computational complexity)이론에 관한 튜링상 수상 강연으로서는 두번째의 것이다. 첫번째 것은 1976년에 Michael Rabin의 것이다. Rabin의 탁월한 기념강연을 지금 다시 읽어보면 그 이래로 이 분야에 얼마나 많은 연구가 이룩되었는지를 절감하게 된다. 이 개설에서는 계산량에 관한 연구가 1960년에 시작된 이래 가장 중요하고 흥미를 끄는 결과라고 생각되는 문제에 대해서 언급하고자 한다. 이와같이 광범한 분야에 있어서는 화제의 선택이 개인적인 취향에 치우치는 것을 피할 수는 없지만 나로서는 어떠한 기준으로 보더라도 기본적이라 할 수 있는 논문은 포함시키도록 하겠다.