주어진 문제를 해결하기 위한 알고리즘이 반드시 만족해야 할 조건이 아닌 것은?