원전서지만 확인
A Machine-Independent Theory of the Complexity of Recursive FunctionsManuel Blum · 1967Journal of the ACM 14(2), 322–336쪽 (1967)어떤 기계·프로그램·부호화를 쓰는지에 거의 기대지 않는 일반적인 틀로 계산의 복잡도를 다룬 논문이다. 아무리 빠른 프로그램을 잡아도 그보다 훨씬 빠른 프로그램이 또 있는 함수가 있다는 결과(가속 정리)가 여기서 나온다. 복잡도 이론이 P 대 NP 로 좁혀지기 전에 「계산의 어려움」을 어떻게 정의하려 했는지 보려는 독자에게 맞다.
확인:Crossref 의 DOI 등록 기록으로 제목·저자·권호·쪽을 확인하고 같은 기록의 초록을 읽었다.