Data Structure
주어진 추상적인 문제를 어떠한 자료구조를 사용하여 컴퓨터의 구조에 최적화된 형태로 표현할 수 있을까?
Algorithm
주어진 추상적인 문제를 어떠한 알고리즘으로 컴퓨터를 사용하여 가장 효율적으로 해결할 수 있을까?
Complexity (cf. Efficiency)
과연 컴퓨터가 주어진 문제를 효율적으로 해결할 수 있을까?
An algorithm is regarded as efficient or good if there exist a polynomial P(n) such that the time required for solving any instance of size n is bounded above by P(n)
Computablity (cf. Finiteness)
과연 컴퓨터가 세상의 모든 문제를 해결할 수 있을까?