[자료구조] 알고리즘의 정의

An algorithm is a finite set of instructions that, if followed, accomplishes a particular task.
알고리즘은 다음 조건을 만족하는 특정한 작업(particular task)을 수행하는 유한한 명령어의 집합(a finite set of instructions)이다.

1. Input(입력) : 외부에서 입력이 0개 이상이어야 한다.
2. Output(출력) : 출력이 1개 이상이어야 한다.
3. Definiteness(명확성) : 각각의 명령어는 명확(clear)하고 모호(unambiguous)하지 않아야한다.
4. Finiteness(유한성) : 모든 경우에 알고리즘은 한정된 스텝 후에 종료됩니다.
5. Effectivenes(유효성) : 모든 명령은 사람이 연필과 종이만을 사용하여 수행될 수 있을 만큼 충분히 기본적이어야 합니다.
   조건 3처럼 각 명령이 명확한 것으로는 충분하지 않고, 실행가능한 명령이어야 합니다. 예를 들어 모든 정수를 저장하여라 같은 명령은 실행 불가능한 명령입니다.

컴퓨터 공학에서 Algorithm과 Program은 다른 것으로 구분됩니다. Program은 4번째 조건을 만족하지 않아도 됩니다.