算理与算法之间的关系