一个算法可以不满足能行性。