알고리즘의 구성 요소 중 유효성에 대한 설명으로 옳은 것은?